1
Publications
173
Citations
1
H-Index
2017
Active since
Affiliations
Peter Amidon is an author at Massachusetts Institute of Technology specializing in computer engineering, software maintenance, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2017–2017
1
1
Automatic inference of code transforms for patch generation
Fan Long, Peter Amidon, Martin Rinard · 2017 · 173 citations · Full text
Rows per page
1–1 of 1