Analyzing the Uses of a Software Modeling Tool

[1]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[2]  Sarfraz Khurshid,et al.  Software assurance by bounded exhaustive testing , 2004, IEEE Transactions on Software Engineering.

[3]  Michael D. Ernst,et al.  An experimental evaluation of continuous testing during development , 2004, ISSTA '04.

[4]  Emina Torlak,et al.  Faster constraint solving with subtypes , 2004, ISSTA '04.

[5]  Mary Lou Soffa,et al.  Continuous compilation: a new approach to aggressive and adaptive code transformation , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[6]  E. Goldberg,et al.  BerkMin: A fast and robust SAT-solver , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[7]  Joonyoung Kim,et al.  SATIRE: A new incremental satisfiability engine , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[8]  M. Moskewicz,et al.  Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[9]  Matthew W. Moskewicz,et al.  Cha : Engineering an e cient SAT solver , 2001, DAC 2001.

[10]  Sarfraz Khurshid,et al.  Exploring the design of an intentional naming scheme with an automatic constraint analyzer , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[11]  Daniel Jackson,et al.  Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[12]  Kathrin Klamroth,et al.  Introduction and Applications , 2000 .

[13]  Roberto J. Bayardo,et al.  Using CSP Look-Back Techniques to Solve Real-World SAT Instances , 1997, AAAI/IAAI.

[14]  Larry Wos,et al.  Automated reasoning (2nd ed.): introduction and applications , 1992 .

[15]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[16]  Esko Ukkonen,et al.  Algorithms for Approximate String Matching , 1985, Inf. Control..

[17]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .