Finding bugs efficiently with a SAT solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Julian Dolby' in GoogleThis author has not been identified. Look up 'Mandana Vaziri' in GoogleIdentified as Frank Tip

runs on WebDSL