Date: 2013-08-30 12:25:15Software engineering Software testing Computing Theoretical computer science Formal methods Logic in computer science Object-oriented programming Postcondition Random testing Eiffel General-purpose computing on graphics processing units Test data generation | | Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, SwitzerlandAdd to Reading ListSource URL: se.inf.ethz.chDownload Document from Source Website File Size: 234,27 KBShare Document on Facebook
|