Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.
Quinn ThibeaultTanmay KhandaitGiulia PedrielliGeorgios FainekosPublished in: CASE (2023)
Keyphrases
- search based testing
- cyber physical systems
- code coverage
- test data generation
- software testing
- test cases
- test generation
- cyber physical
- test data
- software systems
- physical world
- embedded systems
- cyber security
- software development
- test suite
- quality assurance
- regression testing
- critical infrastructure
- object oriented
- software engineering
- formal specification
- static analysis
- test set
- decision making
- artificial intelligence
- real time
- cooperative
- decision trees
- information systems