Analyzing the Uses of a Software Modeling Tool
暂无分享,去创建一个
Sarfraz Khurshid | Darko Marinov | Xiaoming Li | Daryl Shannon | Jabari Walker | S. Khurshid | Xiaoming Li | D. Shannon | J. Walker | D. Marinov
[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 .