Fast black-box testing of system recovery code.

Radu Banabic George Candea

Published in: EuroSys (2012)

Keyphrases

black box
white box
unit testing
test cases
integration testing
white box testing
source code
black boxes
software testing
rule extraction
database
concurrent programs
state transition
error detection
code generation
test data
databases
error rate
open source
artificial intelligence