This artifact is prepared to regenerate the results for the paper titled "Automated SC-MCC Test Case Generation using Bounded Model Checking". Also, this contains all the raw experimental results
Created in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fa...
International audienceCreated in 2011, the Model Checking Contest (MCC) is an annual competition ded...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
This artifact is prepared to regenerate the results for the paper titled "Automated SC-MCC Test Case...
This artefact is prepared to make the data available for the paper titled "Automated SC-MCC Test Cas...
The automated test generation has received a lot of attention in the last decades as it is one of po...
This artifact contains the benchmarks and scripts needed to reproduce the experiments in the paper "...
This is the source code for the experiments in our paper "Model-Bounded Monitoring of Hybrid Systems...
Software testing is a hot topic in the software development industry as it demands a large investme...
The use of computer-based systems in several domains such as automotive, industrial automation, and ...
AbstractThis volume contains the Proceedings of the First International Workshop on Bounded Model Ch...
Xu L. Improved SMT-based bounded model checking for real-time systems. Journal of Software, 2010,21(...
The artifact of the ASE 2021 paper entitled "Automated Verification of Go Programs via Bounded Model...
Associated research group: Critical Systems Research GroupThis paper presents a method for automatic...
Associated research group: Critical Systems Research GroupThe successful analysis technique model ch...
Created in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fa...
International audienceCreated in 2011, the Model Checking Contest (MCC) is an annual competition ded...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
This artifact is prepared to regenerate the results for the paper titled "Automated SC-MCC Test Case...
This artefact is prepared to make the data available for the paper titled "Automated SC-MCC Test Cas...
The automated test generation has received a lot of attention in the last decades as it is one of po...
This artifact contains the benchmarks and scripts needed to reproduce the experiments in the paper "...
This is the source code for the experiments in our paper "Model-Bounded Monitoring of Hybrid Systems...
Software testing is a hot topic in the software development industry as it demands a large investme...
The use of computer-based systems in several domains such as automotive, industrial automation, and ...
AbstractThis volume contains the Proceedings of the First International Workshop on Bounded Model Ch...
Xu L. Improved SMT-based bounded model checking for real-time systems. Journal of Software, 2010,21(...
The artifact of the ASE 2021 paper entitled "Automated Verification of Go Programs via Bounded Model...
Associated research group: Critical Systems Research GroupThis paper presents a method for automatic...
Associated research group: Critical Systems Research GroupThe successful analysis technique model ch...
Created in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fa...
International audienceCreated in 2011, the Model Checking Contest (MCC) is an annual competition ded...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
DOI
Add to ORKG