Matches in DBpedia 2016-04 for { ?s ?p "Automatic bug-fixing is the automatic repair of software bugs without the intervention of a human programmer.It is also commonly referred to as automatic bug repair or automatic patch generation.Techniques for automatic bug-fixing are still in their infancy, but are broadly divided into two camps depending on the way the proposed repair is evaluated: those based on formal analysis, and those that use a generate-and-validate approach. The former uses formal methods to prove properties of a repair, whilst the latter relies on the availability of a high-quality test suite or similar artifact to validate the outcome of the repair process."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Automatic_bug_fixing abstract "Automatic bug-fixing is the automatic repair of software bugs without the intervention of a human programmer.It is also commonly referred to as automatic bug repair or automatic patch generation.Techniques for automatic bug-fixing are still in their infancy, but are broadly divided into two camps depending on the way the proposed repair is evaluated: those based on formal analysis, and those that use a generate-and-validate approach. The former uses formal methods to prove properties of a repair, whilst the latter relies on the availability of a high-quality test suite or similar artifact to validate the outcome of the repair process.".