Combined Symbolic and Concrete Execution of TTCN-3 for Automated Testing
暂无分享,去创建一个
[1] Sarfraz Khurshid,et al. Test input generation with java PathFinder , 2004, ISSTA '04.
[2] 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).
[3] Dawson R. Engler,et al. EXE: automatically generating inputs of death , 2006, CCS '06.
[4] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[5] Zhang Wei-Xing,et al. Design and Implementation of Test Executor for Concurrent TTCN , 2003 .
[6] Zeng Fan-ping. Design and Implementation of TTCN-3 Test System , 2005 .
[7] Dawson R. Engler,et al. EXE: Automatically Generating Inputs of Death , 2008, TSEC.
[8] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.