Leveraging program equivalence for adaptive program repair: Models and first results
From Thermodynamics of Computation
- reference groups
- Computer Science Engineering to Address Energy Costs
- author-supplied keywords
- Automated program repair
- mutation testing
- program equivalence
- search-based software engineering
- keywords
- authors
- Westley Weimer
- Zachary P. Fry
- Stephanie Forrest
- title
- Leveraging program equivalence for adaptive program repair: Models and first results
- type
- conference_proceedings
- year
- 2013
- source
- 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings
- pages
- 356-366
- link
- https://www.mendeley.com/catalogue/a6738b3c-a0df-34ae-a59e-87832c19b0b4/(0)
Counts
- Citation count
- Page views
- 0
Identifiers
- doi: 10.1109/ASE.2013.6693094 (Google search)
- sgr: 84893599245
- isbn: 9781479902156
- scopus: 2-s2.0-84893599245
- pui: 372305673
