391 search results - page 14 / 79 » A genetic programming approach to automated software repair |
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
108
click to vote
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
105
click to vote
ICNC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Parallel genetic algorithms are usually implemented on parallel machines or distributed systems. This paper describes how finegrained parallel genetic algorithms can be ...
IWPC
2000
IEEE
15 years 4 months ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
IWPC
2003
IEEE
2003
IEEE
Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation
15 years 5 months ago
Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...