Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Automatic_bug_fixing> ?p ?o }
Showing triples 1 to 38 of
38
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.".
- Automatic_bug_fixing wikiPageID "48892446".
- Automatic_bug_fixing wikiPageLength "4788".
- Automatic_bug_fixing wikiPageOutDegree "20".
- Automatic_bug_fixing wikiPageRevisionID "704479363".
- Automatic_bug_fixing wikiPageWikiLink Abstract_syntax_tree.
- Automatic_bug_fixing wikiPageWikiLink Assertion_(software_development).
- Automatic_bug_fixing wikiPageWikiLink Block_(programming).
- Automatic_bug_fixing wikiPageWikiLink Category:Debugging.
- Automatic_bug_fixing wikiPageWikiLink Category:Software_development.
- Automatic_bug_fixing wikiPageWikiLink Correctness_(computer_science).
- Automatic_bug_fixing wikiPageWikiLink Formal_methods.
- Automatic_bug_fixing wikiPageWikiLink Formal_verification.
- Automatic_bug_fixing wikiPageWikiLink Genetic_improvement_(computer_science).
- Automatic_bug_fixing wikiPageWikiLink Genetic_programming.
- Automatic_bug_fixing wikiPageWikiLink Line_(text_file).
- Automatic_bug_fixing wikiPageWikiLink Oracle_(software_testing).
- Automatic_bug_fixing wikiPageWikiLink Patch_(computing).
- Automatic_bug_fixing wikiPageWikiLink Program_synthesis.
- Automatic_bug_fixing wikiPageWikiLink Satisfiability_modulo_theories.
- Automatic_bug_fixing wikiPageWikiLink Semantics_(computer_science).
- Automatic_bug_fixing wikiPageWikiLink Software_bug.
- Automatic_bug_fixing wikiPageWikiLink Test_suite.
- Automatic_bug_fixing wikiPageWikiLinkText "Automatic bug fixing".
- Automatic_bug_fixing wikiPageWikiLinkText "automatic bug fixing".
- Automatic_bug_fixing wikiPageUsesTemplate Template:Context.
- Automatic_bug_fixing wikiPageUsesTemplate Template:More_footnotes.
- Automatic_bug_fixing wikiPageUsesTemplate Template:Multiple_issues.
- Automatic_bug_fixing wikiPageUsesTemplate Template:POV.
- Automatic_bug_fixing wikiPageUsesTemplate Template:Reflist.
- Automatic_bug_fixing subject Category:Debugging.
- Automatic_bug_fixing subject Category:Software_development.
- Automatic_bug_fixing hypernym Repair.
- Automatic_bug_fixing type Company.
- Automatic_bug_fixing comment "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.".
- Automatic_bug_fixing label "Automatic bug fixing".
- Automatic_bug_fixing wasDerivedFrom Automatic_bug_fixing?oldid=704479363.
- Automatic_bug_fixing isPrimaryTopicOf Automatic_bug_fixing.