Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.

Lucas Serpa Silva Yi Wei Bertrand Meyer Manuel Oriol

Published in: APSEC (2011)

Keyphrases

symbolic execution
supply chain
computer programs
artificial intelligence
evolutionary algorithm
multi agent
test cases
selection strategy
optimal strategy