About this scholarly article

2012 34th International Conference on Software Engineering (ICSE) - Using dynamic analysis to discover polynomial and array invariants by Nguyen, ThanhVu; Kapur, Deepak; Weimer, Westley; Forrest, Stephanie is a scholarly article available to read on EtoBox.

Author

Nguyen, ThanhVu; Kapur, Deepak; Weimer, Westley; Forrest, Stephanie

Publisher

IEEE

Published

2012

Language

EN