Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems.
Ed BrinksmaPublished in: ACSD (2004)
Keyphrases
- test generation
- real time systems
- model driven
- test cases
- symbolic execution
- data driven
- service oriented
- metamodel
- test sequences
- real time
- quality assurance
- software testing
- black box
- distributed systems
- embedded systems
- model driven development
- static analysis
- code coverage
- data integration
- code generation
- regression testing
- software development
- test data generation
- software systems
- real time embedded
- service oriented architecture
- test suite
- source code
- low cost
- software engineering
- decision making