Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Noguchi, Reiya"'
We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to reach some given state, so as to satisfy a coverage criterion, while moni
Externí odkaz:
http://arxiv.org/abs/2407.18994
Requirements engineering is a key phase in the development process. Ensuring that requirements are consistent is essential so that they do not conflict and admit implementations. We consider the formal verification of rt-consistency, which imposes th
Externí odkaz:
http://arxiv.org/abs/2007.01014
Publikováno v:
Lecture Notes in Computer Science
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis, Oct 2022, Beijing, China. pp.1-16
Automated Technology for Verification and Analysis ISBN: 9783031199912
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis, Oct 2022, Beijing, China. pp.1-16
Automated Technology for Verification and Analysis ISBN: 9783031199912
International audience; We consider the problem of repairing inconsistent real-time requirements with respect to two consistency notions: non-vacuity, which means that each requirement can be realized without violating other ones, and rt-consistency,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30795b7532f69ac1f38b55c8f59f214f
https://hal.science/hal-03777464/document
https://hal.science/hal-03777464/document