Automatic Test Cases Generation for C Written Programs Using Model Checking.
Daniset González LimaRaul Ernesto Gonzalez-TorresPedro Mejía-AlvarezPublished in: CSCI (2021)
Keyphrases
- test cases
- model checking
- model checker
- test suite
- temporal logic
- set of test cases
- software testing
- formal verification
- test data
- formal specification
- automated verification
- finite state machines
- regression testing
- temporal properties
- verification method
- test data generation
- test case generation
- symbolic model checking
- test suite reduction
- test set
- formal methods
- timed automata
- epistemic logic
- test generation
- transition systems
- number of test cases
- test case selection
- testing process
- bounded model checking
- java programs
- object oriented
- linear temporal logic
- model based testing
- computation tree logic
- case study
- modal logic
- np complete
- decision trees