Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.
Antonio BucchiaroneHenry MucciniPatrizio PelliccionePierluigi PieriniPublished in: FORTE Workshops (2004)
Keyphrases
- model checking
- software architecture
- dynamic analysis
- formal verification
- embedded software
- object oriented software
- static analysis
- temporal logic
- finite state
- abstract interpretation
- formal specification
- temporal properties
- test cases
- formal methods
- model checker
- process algebra
- artificial intelligence
- test set
- timed automata
- software systems
- reverse engineering
- software development
- distributed systems
- cooperative
- reachability analysis
- high level