2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2015)
Lincoln, NE, USA
Nov. 9, 2015 to Nov. 13, 2015
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2015.40
Arrays, Model checking, Software, Sorting, Computer bugs, Software engineering
A. Groce, I. Ahmed, C. Jensen and P. E. McKenney, "How Verified is My Code? Falsification-Driven Verification (T)," 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, NE, USA, 2015, pp. 737-748.