Open Access
Volume 36, Number 1, February 2018
Page(s) 156 - 161
Published online 18 May 2018
  1. Shamsoddin-Motlagh E. A Review of Automatic Test Cases Generation[J]. International Journal of Computer Applications, 2012, 57(13) : 25-29[Article] [Google Scholar]
  2. Zheng W, Hierons R M, Li M, et al. Multi-Objective Optimisation for Regression Testing[J]. Information Sciences, 2016, 334/335: 1-16 10.1016/j.ins.2015.11.027 [CrossRef] [Google Scholar]
  3. Anand S, Burke E K, Chen T Y, et al. An Orchestrated Survey of Methodologies for Automated Software Test Case Generation[J]. Journal of Systems & Software, 2013, 86(8):1978-2001[Article] [CrossRef] [Google Scholar]
  4. Cadar C, Sen K. Symbolic Execution for Software Testing:Three Decades Later[J]. Communications of the ACM, 2013, 56(2) : 82-90 10.1145/2408776 [CrossRef] [Google Scholar]
  5. Stephens N, Grosen J, Salls C, et al. Driller: Augmenting Fuzzing through Selective Symbolic Execution[C]//NDSS, 2016, 16: 1-16 [Google Scholar]
  6. Yi Q, Yang Z, Guo S, et al. Postconditioned Symbolic Execution[C]//2015 IEEE 8th International Conference on Software Testing, Verification and Validation, 2015: 1-10 [Google Scholar]
  7. Sobeih A, Marinov D. Optimized Execution of Deterministic Blocks in Java Pathfinder[C]//International Conference on Formal Methods and Software Engineering, 2006: 549-567 [Google Scholar]
  8. Cadar C, Dunbar D, Engler D R. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs[C]//OSDI, 2008: 209-224 [Google Scholar]
  9. Dimjašević M, Rakamarić Z. JPF-Doop: Combining Concolic and Random Testing for Java[C]//Java Pathfinder Workshop, 2013 [Google Scholar]
  10. Luckow K, Dimjašević M, Giannakopoulou D, et al. JDart: A Dynamic Symbolic Analysis Framework[C]//International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2016: 442-459 [Google Scholar]
  11. Zhou Haijiang, Wu Junhua. On Test Case Generation Based on Symbolic Execution and Hybrid Constraint Solving. Computer Applications and Software,2016, 33(6):23-26 (in Chinese)[Article] [Google Scholar]
  12. Bai Xiaoying, Huang Jun. Case Generation by Constraints Combinatorial Testing[J]. Journal of Tsinghua University:Science and Technology, 2017(3):225-233 (in Chinese)[Article] [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.