Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Formal methods / Logic in computer science / Computer programming / Software testing / Extreme programming / Postcondition / Software bug / Precondition / Assertion / Random testing


Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin
Add to Reading List

Open Document

File Size: 285,53 KB

Share Result on Facebook