Specification-guided Golden Run for Analysis of Robustness Testing Results.

Gizelle Sandrini Lemos Eliane Martins

Published in: SERE (2012)

Keyphrases

database
genetic algorithm
statistical analysis
computer vision
database systems
formal verification