Jan Strejcek, Marek TrtÃk. Abstracting path conditions. In Mats Per Erik Heimdahl, Zhendong Su, editors, International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. pages 155-165, ACM, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.