391 search results - page 27 / 79 » A genetic programming approach to automated software repair |
106
click to vote
CCS
2001
ACM
15 years 4 months ago
2001
ACM
Abstract. Protection of software code against illegitimate modifications by its users is a pressing issue to many software developers. Many software-based mechanisms for protectin...
JSS
2008
14 years 11 months ago
2008
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
106
click to vote
STTT
2011
14 years 6 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...
ENTCS
2008
14 years 12 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
CSMR
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...