Automatic testing of sequential and concurrent substitutability.

Michael Pradel Thomas R. Gross

Published in: ICSE (2013)

Keyphrases

information systems
search algorithm
data sets
fully automatic
sequential search
decision making
multimedia
wide range
special case
test cases