Piparazzi: a test program generator for micro-architecture flow verification.
Allon AdirEyal BinOfer PeledAvi ZivPublished in: HLDVT (2003)
Keyphrases
- test generation
- test cases
- symbolic execution
- management system
- real time
- hardware designs
- flow field
- data generator
- test data
- network architecture
- test suite
- set of test cases
- mixed mode
- multiple choice
- static analysis
- website
- face verification
- database
- architectural design
- statistical significance
- test data generation
- data flow
- model checking
- cellular automata
- java bytecode
- business processes
- pseudorandom number