Litmus: Running Tests against Hardware.
Jade AlglaveLuc MarangetSusmit SarkarPeter SewellPublished in: TACAS (2011)
Keyphrases
- low cost
- hardware and software
- real time
- windows xp
- high end
- hardware implementation
- test data
- computer systems
- website
- image processing
- test suite
- computing power
- hardware design
- learning algorithm
- digital circuits
- parallel hardware
- test cases
- embedded systems
- information systems
- massively parallel
- hardware architecture
- post hoc
- data mining