Scaling Client-Specific Equivalence Checking via Impact Boundary Search

Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik. Scaling Client-Specific Equivalence Checking via Impact Boundary Search. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 734-745, IEEE, 2020. [doi]

Authors

Nick Feng

This author has not been identified. Look up 'Nick Feng' in Google

Federico Mora

This author has not been identified. Look up 'Federico Mora' in Google

Vincent Hui

This author has not been identified. Look up 'Vincent Hui' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google