317 search results - page 9 / 64 » Deductive Program Repair |
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
72
Voted
ACTAC
2007
14 years 9 months ago
2007
An o-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. Th...
86
Voted
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
KBSE
2009
IEEE
15 years 4 months 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...