[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Daniel Jackson & Mandana Vaziri
- Finding Bugs with a Constraint Solver
- Proc ISSTA 00 & ACM SIGSOFT Software Engineering Notes V25n5(Sep 2000)pp14-25
- =DEMO LOGIC Alloy disproving
- find scope limited models of (Pre and Code and nou Post )
- Programs with pointers often have errors exposed in seconds. Worst 6 minutes.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]