Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution.
Elson KurianDaniela BriolaPietro BraioneGiovanni DenaroPublished in: CoRR (2022)
Keyphrases
- test cases
- symbolic execution
- automatically generating
- test data generation
- safety critical
- test generation
- software testing
- test case generation
- formal methods
- fault tolerant
- automatically generated
- regression testing
- test suite
- black box
- test set
- embedded systems
- agent architecture
- testing process
- set of test cases
- number of test cases
- knowledge based systems
- object oriented
- quality assurance
- data sets
- support systems
- case study