Back to Results
First PageMeta Content
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


Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland
Add to Reading List

Document Date: 2013-08-30 12:25:15


Open Document

File Size: 234,27 KB

Share Result on Facebook