Dsc+Mock: a test case + mock class generator in support of coding against interfaces
暂无分享,去创建一个
[1] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[2] Yannis Smaragdakis,et al. Check 'n' crash: combining static checking and testing , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[3] Koushik Sen. DART: Directed Automated Random Testing , 2009, Haifa Verification Conference.
[4] Yannis Smaragdakis,et al. JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..
[5] Dawson R. Engler,et al. EXE: automatically generating inputs of death , 2006, CCS '06.
[6] James C. King,et al. Symbolic execution and program testing , 1976, CACM.
[7] Guy L. Steele,et al. The Java Language Specification , 1996 .
[8] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.
[9] Nikolai Tillmann,et al. Pex-White Box Test Generation for .NET , 2008, TAP.
[10] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[11] Guy L. Steele,et al. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) , 2005 .