Whispec: white-box testing of libraries using declarative specifications
暂无分享,去创建一个
[1] D. Jackson,et al. Object models as heap invariants , 2003 .
[2] Daniel Jackson,et al. Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[3] Dawson R. Engler,et al. Execution Generated Test Cases: How to Make Systems Code Crash Itself , 2005, SPIN.
[4] Sarfraz Khurshid,et al. Test input generation with java PathFinder , 2004, ISSTA '04.
[5] David Notkin,et al. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution , 2005, TACAS.
[6] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[7] Sigrid Eldh. Software Testing Techniques , 2007 .
[8] Neelam Gupta,et al. Generating test data for functions with pointer inputs , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[9] Jian Zhang. Symbolic execution of program paths involving pointer structure variables , 2004 .
[10] Jian Zhang,et al. Symbolic execution of program paths involving pointer structure variables , 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..
[11] Dawson R. Engler,et al. EXE: Automatically Generating Inputs of Death , 2008, TSEC.
[12] Yannis Smaragdakis,et al. DSD-Crasher: A hybrid analysis tool for bug finding , 2006, TSEM.
[13] James C. King,et al. Symbolic execution and program testing , 1976, CACM.
[14] Sarfraz Khurshid,et al. Generalized Symbolic Execution for Model Checking and Testing , 2003, TACAS.
[15] David Notkin,et al. Rostra: a framework for detecting redundant object-oriented unit tests , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[16] Yannis Smaragdakis,et al. JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..
[17] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.
[18] Marat Boshernitsan,et al. From daikon to agitator: lessons and challenges in building a commercial tool for developer testing , 2006, ISSTA '06.
[19] Patrice Godefroid,et al. Compositional dynamic test generation , 2007, POPL '07.
[20] Emina Torlak,et al. Kodkod: A Relational Model Finder , 2007, TACAS.
[21] Frank Tip,et al. Finding bugs efficiently with a SAT solver , 2007, ESEC-FSE '07.
[22] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[23] Greg Nelson,et al. Extended static checking for Java , 2002, PLDI '02.
[24] Patrice Godefroid,et al. Model checking for programming languages using VeriSoft , 1997, POPL '97.
[25] William G. Griswold,et al. Dynamically discovering likely program invariants to support program evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[26] Sharad Malik,et al. Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver , 2002, DAC '02.
[27] C. Csallner,et al. Check 'n' crash: combining static checking and testing , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[28] Arnaud Gotlieb,et al. Automatic test data generation using constraint solving techniques , 1998, ISSTA '98.
[29] Jian Zhang,et al. A Test Data Generation Tool for Unit Testing of C Programs , 2006, 2006 Sixth International Conference on Quality Software (QSIC'06).
[30] Sharad Malik,et al. The Quest for Efficient Boolean Satisfiability Solvers , 2002, CAV.
[31] Rupak Majumdar,et al. Hybrid Concolic Testing , 2007, 29th International Conference on Software Engineering (ICSE'07).
[32] Koen Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.
[33] Sarfraz Khurshid,et al. TestEra: a novel framework for automated testing of Java programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[34] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[35] Daniel Jackson,et al. Software Abstractions - Logic, Language, and Analysis , 2006 .
[36] Mary Lou Soffa,et al. Generating test data for branch coverage , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.