Julian Dolby, Mandana Vaziri, Frank Tip. Finding bugs efficiently with a SAT solver. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 195-204, ACM, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.