Extended program invariants: applications in testing and fault localization

Mohammad Amin Alipour, Alex Groce. Extended program invariants: applications in testing and fault localization. In Eric Bodden, Madanlal Musuvathi, editors, Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012. pages 7-11, ACM, 2012. [doi]

Authors

Mohammad Amin Alipour

This author has not been identified. Look up 'Mohammad Amin Alipour' in Google

Alex Groce

This author has not been identified. Look up 'Alex Groce' in Google