Integrating model checking and model based testing for industrial software development.
Emília VillaniRodrigo Pastl PontesGuilherme Kisseloff CoraciniAna Maria AmbrosioPublished in: Comput. Ind. (2019)
Keyphrases
- model checking
- model based testing
- software development
- temporal logic
- software engineering
- formal verification
- model checker
- software testing
- software design
- temporal properties
- automated verification
- formal specification
- verification method
- formal methods
- timed automata
- symbolic model checking
- software systems
- bounded model checking
- epistemic logic
- computation tree logic
- case study
- development process
- test cases
- software components
- software projects
- linear temporal logic
- software architecture
- testing process
- software quality
- reactive systems
- modal logic
- concurrent systems
- database systems
- real world