Export Citations
1 Results for: Keyword: Search-based Software Testin
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,842,307 records)|Limit your search to The ACM Full-Text Collection (774,409 records)
Select All
- research-articleAugust 2019
Evaluating model testing and model checking for finding requirements violations in Simulink models
ESEC/FSE 2019: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringPages 1015–1025https://doi.org/10.1145/3338906.3340444Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to ...