%PDF-1.4 % 1 0 obj << /S /GoTo /D (section.1) >> endobj 4 0 obj (Introduction) endobj 5 0 obj << /S /GoTo /D (section.2) >> endobj 8 0 obj (Motivating Example) endobj 9 0 obj << /S /GoTo /D (section.3) >> endobj 12 0 obj (Technique) endobj 13 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 16 0 obj (Test Input Generation) endobj 17 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 20 0 obj (Refactoring Application) endobj 21 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 24 0 obj (SafeRefactor as a Test Oracle) endobj 25 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 28 0 obj (Bug Categorizer) endobj 29 0 obj << /S /GoTo /D (subsubsection.3.4.1) >> endobj 32 0 obj (Compilation Errors) endobj 33 0 obj << /S /GoTo /D (subsubsection.3.4.2) >> endobj 36 0 obj (Behavioral Changes) endobj 37 0 obj << /S /GoTo /D (section.4) >> endobj 40 0 obj (JDolly) endobj 41 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 44 0 obj (Alloy Overview) endobj 45 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 48 0 obj (Java Metamodel) endobj 49 0 obj << /S /GoTo /D (subsubsection.4.2.1) >> endobj 52 0 obj (Abstract Syntax) endobj 53 0 obj << /S /GoTo /D (subsubsection.4.2.2) >> endobj 56 0 obj (Well-Formedness Rules) endobj 57 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 60 0 obj (Program Generation) endobj 61 0 obj << /S /GoTo /D (subsection.4.4) >> endobj 64 0 obj (Generating More Specific Programs) endobj 65 0 obj << /S /GoTo /D (section.5) >> endobj 68 0 obj (Evaluation) endobj 69 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 72 0 obj (Subject Characterization) endobj 73 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 76 0 obj (Experimental Setup) endobj 77 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 80 0 obj (Experimental Results) endobj 81 0 obj << /S /GoTo /D (subsubsection.5.3.1) >> endobj 84 0 obj (Compilation Errors) endobj 85 0 obj << /S /GoTo /D (subsubsection.5.3.2) >> endobj 88 0 obj (Behavioral Changes) endobj 89 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 92 0 obj (Discussion) endobj 93 0 obj << /S /GoTo /D (subsubsection.5.4.1) >> endobj 96 0 obj (Compilation Errors) endobj 97 0 obj << /S /GoTo /D (subsubsection.5.4.2) >> endobj 100 0 obj (Behavioral Changes) endobj 101 0 obj << /S /GoTo /D (subsubsection.5.4.3) >> endobj 104 0 obj (JDolly) endobj 105 0 obj << /S /GoTo /D (subsection.5.5) >> endobj 108 0 obj (Threats to Validity) endobj 109 0 obj << /S /GoTo /D (subsubsection.5.5.1) >> endobj 112 0 obj (Construct Validity) endobj 113 0 obj << /S /GoTo /D (subsubsection.5.5.2) >> endobj 116 0 obj (Internal Validity) endobj 117 0 obj << /S /GoTo /D (subsubsection.5.5.3) >> endobj 120 0 obj (External Validity) endobj 121 0 obj << /S /GoTo /D (section.6) >> endobj 124 0 obj (Related Work) endobj 125 0 obj << /S /GoTo /D (subsection.6.1) >> endobj 128 0 obj (Program Generation) endobj 129 0 obj << /S /GoTo /D (subsection.6.2) >> endobj 132 0 obj (Refactorings) endobj 133 0 obj << /S /GoTo /D (subsection.6.3) >> endobj 136 0 obj (Automated Testing) endobj 137 0 obj << /S /GoTo /D (section.7) >> endobj 140 0 obj (Conclusion) endobj 141 0 obj << /S /GoTo /D (section*.16) >> endobj 144 0 obj (References) endobj 145 0 obj << /S /GoTo /D [146 0 R /Fit ] >> endobj 180 0 obj << /Length 4691 /Filter /FlateDecode >> stream xڵ;ے6 =j40 ;{JR