Results 201 to 204 of about 13,787 (204)

Correcting Corrections

2017
openaire   +1 more source

Patch Correctness Assessment: A Survey

ACM Transactions on Software Engineering and Methodology
Liguo Huang, Chuanyi Li, Jidong Ge
exaly  

Whence Correctness?

Topoi
Jaroslav Peregrin
exaly  

Correctness formulae

2005
exaly