LALBLC A Program Testing the Equivalence of dpda's.

Patrick Henry Géraud Sénizergues

Published in: CIAA (2013)

Keyphrases

test cases
symbolic execution
concurrent programs
test suite
set of test cases
search based software testing
test data
databases
neural network
multi agent
test set
computer programs
dynamic analysis
program execution