![Software 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 Software 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](https://www.pdfsearch.io/img/a005b8f40c8e71e2068e78fb87d47df3.jpg) 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
|