An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol.
Hakim KahloucheCésar VihoMassimo ZendriPublished in: IWTCS (1998)
Keyphrases
- test suite
- model checker
- formal specification
- test suite reduction
- test cases
- model checking
- regression testing
- industrial applications
- formal methods
- automatically generate
- test case generation
- software testing
- testing process
- description language
- lightweight
- static analysis
- formal verification
- mutation testing
- main memory
- java programs
- control flow
- prefetching
- tool support
- communication protocols
- number of test cases
- set of test cases
- temporal logic
- databases
- machine learning
- learning algorithm
- tcp ip
- test sequences
- test generation
- set theory
- database
- data access