391 search results - page 27 / 79 » A genetic programming approach to automated software repair |
126
click to vote
CCS
2001
ACM
15 years 6 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...
117
click to vote
JSS
2008
15 years 1 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...
129
Voted
STTT
2011
14 years 8 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...
119
click to vote
ENTCS
2008
15 years 2 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...
103
click to vote
CSMR
2003
IEEE
15 years 7 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...