System Testing and Program Verification.

Stephan Arlt Sergio Feo Arenis Andreas Podelski Martin Wehrle

Published in: Software Engineering & Management (2015)

Keyphrases

case study
information retrieval
data sets
artificial intelligence
web services
pairwise
trade off
test cases