Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems.
Vangalur S. AlagarM. ChenOlga OrmandjievaMao ZhengPublished in: APSEC (2003)
Keyphrases
- reactive systems
- test generation
- real time
- object oriented
- real time systems
- test cases
- temporal logic
- control flow
- model checking
- state machines
- formal methods
- petri net
- information flow
- software testing
- low cost
- programming language
- data model
- design automation
- software engineering
- relational databases
- decision making
- data flow
- query language
- regression testing
- artificial intelligence