317 search results - page 7 / 64 » Deductive Program Repair |
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
ALPUK
1990
14 years 10 months ago
1990
KI
2010
Springer
14 years 4 months ago
2010
Springer
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
103
click to vote
SCCC
2005
IEEE
15 years 3 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...