110 search results - page 1 / 22 » Program Repair as Sound Optimization of Broken Programs |
TASE
2009
IEEE
14 years 23 days ago
2009
IEEE
KBSE
2009
IEEE
14 years 22 days ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
Super solutions are a mechanism to provide robustness to constraint programs [10]. They are solutions in which, if a small number of variables lose their values, we are guaranteed ...
GECCO
2009
Springer
13 years 10 months ago
2009
Springer
SCCC
2005
IEEE
13 years 11 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...