Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.
Sandrine-Dominique GouraudArnaud GotliebPublished in: PADL (2006)
Keyphrases
- virtual machine
- test cases
- java card
- testing process
- operating system
- fault injection
- byte code
- test data
- software testing
- data center
- black box
- test set
- regression testing
- test suite
- test case generation
- smart card
- model based testing
- object oriented
- test case selection
- static analysis
- number of test cases
- database
- countermeasures
- java virtual machine
- anomaly detection
- low cost
- decision trees