Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.
Holger GieseStefan HenklerMartin HirschPublished in: WADS (2007)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- formal methods
- program slicing
- testing process
- software systems
- temporal logic
- sequence diagrams
- software components
- artificial intelligence
- object oriented
- software development
- reverse engineering
- modeling language
- model based testing
- regression testing
- knowledge base
- software architecture
- database systems
- expert systems
- software engineering
- rough sets
- test set
- conceptual modeling
- data integration
- test cases
- database design