317 search results - page 3 / 64 » Deductive Program Repair |
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
LOPSTR
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
111
click to vote
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
AMW
2010
14 years 11 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...