| 
|
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
abstract ;;Quote: a formal framework for discovering inconsistency errors with a boolean SAT solver; e.g., 600 null dereferences in Linux
Topic: consistency testing (60 items)
Topic: logic (84 items)