A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Maximising axiomatization coverage and minimizing regression testing time
2014
2014 IEEE Congress on Evolutionary Computation (CEC)
The correctness of program verification systems is of great importance, as they are used to formally prove that safety-and security-critical programs follow their specification. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiomatization, which captures the semantics of the target program language. We present a framework for the maximization of the proportion of the axiomatization that is used ("covered") during testing
doi:10.1109/cec.2014.6900324
dblp:conf/cec/Wagner14
fatcat:ll55o7tczvgudn3kjkg4zp2hli