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

First Page		Document 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 Source URL: se.inf.ethz.ch Download Document from Source Website File Size: 285,53 KB Share Document on Facebook

	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering DocID: 1xVks - View Document
	Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller DocID: 1xUJM - View Document
	Empir Software Eng DOIs10664Toward an understanding of bug fix patterns Kai Pan & Sunghun Kim & E. James Whitehead Jr. DocID: 1vo53 - View Document
	An Extensive Comparison of Bug Prediction Approaches Marco D’Ambros, Michele Lanza REVEAL @ Faculty of Informatics University of Lugano, Switzerland Abstract—Reliably predicting software defects is one of software e DocID: 1uAgg - View Document
	Revisiting Common Bug Prediction Findings Using Effort-Aware Models Yasutaka Kamei† , Shinsuke Matsumoto†† , Akito Monden‡ , Ken-ichi Matsumoto‡ , Bram Adams† and Ahmed E. Hassan† † Software Analysis and DocID: 1u6CA - View Document