Automatic bug fixing: Difference between revisions

Revision as of 01:56, 6 October 2016

Revision as of 02:43, 6 October 2016

Line 291:

|ref=harv}}

</ref>, etc.. Such techniques often use empirical fix templates to fix bugs

in the targeted scope. For example, insert a [[conditional statement]] to check

whether the value of a variable is null<ref name=par/>

or insert missing memory deallocation

Line 332:

Using fix templates is an alternative way to generate candidate patches. Fix

templates are typically predefined program mutation rules for fixing specific classes of

bugs<ref name=par/>. Examples of fix templates include inserting a [[conditional statement]] to

check whether the value of a variable is null to fix null pointer exception<ref name=par/>,

inserting memory deallocation statement to fix memory leaks<ref name=leakfix/>, and changing a