Special issue on Software Verification and Testing (SAC-SVT'15).

Gwen Salaün Mariëlle Stoelinga

Published in: Sci. Comput. Program. (2016)

Keyphrases

special issue
ai edam
ecml pkdd
international journal
applied intelligence
special section
test cases
global optimization
arc consistency
software testing