Merkliste 
 1 Ergebnisse 
 
1

Contract-based program repair without the contracts:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,
Chen, Liushan ; Pei, Yu ; Furia, Carlo A. - p. 637-647 , 2017