Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques.
Adriel ChengAtanas N. ParashkevovCheng-Chew LimPublished in: DELTA (2004)
Keyphrases
- application level
- network services
- operating system
- network management
- quality of service
- software systems
- information processing
- bottle neck
- test suite
- software development
- computer systems
- distributed systems
- virtual machine
- source code
- data analysis
- overlay network
- formal methods
- reinforcement learning
- information retrieval
- databases