Map
Index
Random
Help
th

QuoteRef: dillI6_2007




Topic:
consistency testing
Topic:
logic

Reference

Dillig, I., Dillig, T., Aiken, A., "Static error detection using semantic inconsistency inference", PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, San Diego, California, USA, June 2007, ACM SIGPLAN, ACM SIGSOFT, pp. 435-445. Google

Quotations
abstract ;;Quote: a formal framework for discovering inconsistency errors with a boolean SAT solver; e.g., 600 null dereferences in Linux

Related Topics up

Topic: consistency testing (60 items)
Topic: logic (84 items)

Collected barberCB 11/07
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.