A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit <a rel="external noopener" href="http://cs.gmu.edu:80/~offutt/rsrch/papers/josi.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
<i title="Springer US">
The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method, constraint-based testing, that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement c o verage, branch c o verage, domain perturbation and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-3644-4_7">doi:10.1007/978-1-4615-3644-4_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tkqmc4jc5jew5burraojxxncsa">fatcat:tkqmc4jc5jew5burraojxxncsa</a> </span>
more »... ting techniques to be integrated into the current system. This paper describes the system that has been built to implement constraint-based testing. Godzilla's design emphasizes orthogonality and modularity, allowing relatively easy extensions. Godzilla's internal structure and algorithms are described with emphasis on internal structures of the system, and the engineering problems that were solved during the implementation.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090218225442/http://cs.gmu.edu:80/~offutt/rsrch/papers/josi.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/0d/a40d0c1f88efdd7eb40bff3318e19c8cffded4db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-3644-4_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>