A software test program generator for verifying system-on-chips.
Adriel ChengCheng-Chew LimAtanas N. ParashkevovPublished in: HLDVT (2005)
Keyphrases
- integration testing
- test cases
- software testing
- fault localization
- test suite
- software development
- control flow
- program understanding
- test data generation
- test data
- testing process
- set of test cases
- integrated circuit
- software systems
- computer systems
- static analysis
- program slicing
- java programs
- programming environment
- high speed
- high end
- software package
- software tools
- programming environments
- embedded systems
- software architecture
- source code