Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications.
Monika Rani GollaSangharatna GodboleyPublished in: Expert Syst. Appl. (2024)
Keyphrases
- safety critical
- bounded model checking
- test case generation
- model checking
- formal methods
- safety analysis
- test cases
- fault tolerant
- formal verification
- temporal logic
- embedded systems
- agent architecture
- software testing
- object oriented systems
- test data generation
- linear temporal logic
- support systems
- multi agent systems
- test suite
- real time
- domain specific
- java programs
- static analysis
- adaptive systems
- software engineering
- query language
- search space
- information systems