Generating test sequences using symbolic execution for event-driven real-time systems.
Nam Hee LeeSung Deok ChaPublished in: Microprocess. Microsystems (2003)
Keyphrases
- event driven
- real time systems
- test sequences
- symbolic execution
- test generation
- test cases
- real time
- test data generation
- static analysis
- distributed systems
- quality assurance
- software testing
- embedded systems
- source code
- test suite
- video sequences
- markup language
- specification language
- data model
- relational databases
- databases