Hsin-Yu Chiena, Chin-Yu Huanga,b, and Chih-Chiang Fangb
| 1. Jones C.C.
2. Beizer, B.
3. Offutt, J. and Ammann, P.Introduction to software testing. Cambridge: Cambridge University Press, pp. 27, 2008.
4. Myers, G.J. Sandler, C. and Badgett, T.
5. B. Beizer,
6. Hailpern, B. and Santhanam, P.Software debugging, testing, and verification.
7. Bertolino, A. May.Software testing research: Achievements, challenges, dreams. In
8. Qiu W., Lian G., Zhou P. and Huang K.Test sample allocation method for testability verification test.
9. Leung, H.K. and White, L.Insights into regression testing (software testing). In
11. Yoo, S. and Harman, M.Regression testing minimization, selection and prioritization: a survey.
12. Campos, J., Arcuri, A. Fraser, G. and Abreu, R. Continuous test generation: Enhancing continuous integration with automated test generation. In
13. Kalaee, A. and Rafe, V.An optimal solution for test case generation using ROBDD graph and PSO algorithm.
17. Pacheco, C. and Ernst, M.D.Randoop: feedback-directed random testing for Java. In
18. Angerer F., Grimmer A., Prähofer H. and Grünbacher P.Change impact analysis for maintenance and evolution of variable software systems.
19. Intana, A. and Sriraksa, T.Impact Analysis Framework of Test Cases Based on Changes of Use Case Based Requirements. In
20. Parashar, P., Bhatia, R. and Kalia, A.Change impact analysis: A tool for effective regression testing. In
21. Duran, J.W. and Ntafos, S.C.An evaluation of random testing.
22. Hamlet, R. and Maciniak, J.Random testing, Encyclopedia of software engineering.
23. Bueno, P.M., Jino, M. and Wong, W.E.Diversity oriented test data generation using metaheuristic search techniques.
24. Clarke L.A.A system to generate test data and symbolically execute programs.
25. King J.C.Symbolic execution and program testing.
26. Cadar, C. and Sen, K.Symbolic execution for software testing: three decades later.
27. Zaddach J., Bruno L., Francillon A. and Balzarotti D.AVATAR: A Framework to Support Dynamic Security Analysis of Embedded Systems' Firmwares. In
28. Gao R., Hu L., Wong W.E., Lu H.L. and Huang S.K.Effective test generation for combinatorial decision coverage. In
29. Cadar, C., Dunbar, D. and Engler, D.R.Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In
30. Bucur, S., Kinder, J. and Candea, G.Prototyping symbolic execution engines for interpreted languages. In
31. Burnim, J. and Sen, K.Heuristics for scalable dynamic test generation. In
32. angr, http://angr.io. Accessed 5 July 2020.
33. Cadar C., Godefroid P., Khurshid S., Pasareanu C.S., Sen K., Tillmann N. and Visser W.Symbolic execution for software testing in practice: preliminary assessment. In
34. Harman M., Hu L., Hierons R., Wegener J., Sthamer H., Baresel A. and Roper M.Testability transformation.
35. Cadar C.Targeted program transformations for symbolic execution. In
36. Dong S., Olivo O., Zhang L. and Khurshid S.Studying the influence of standard compiler optimizations on symbolic execution. In
37. Converse, H., Olivo, O. and Khurshid, S.Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution. In
38. Weiser M.Program slicing.
39. Godefroid, P. and Luchaup, D.Automatic partial loop summarization in dynamic test generation. In
40. Li Y., Su Z., Wang L. and Li X.Steering symbolic execution to less traveled paths.
41. Person S., Yang G., Rungta N. and Khurshid S.Directed incremental symbolic execution.
42. Siddiqui, J.H. and Khurshid, S.Scaling symbolic execution using ranged analysis.
44. LLVM, http://llvm.org. Accessed 5 July 2020.
46. Kapus, T. and Cadar, C.Automatic testing of symbolic execution engines via program generation and differential testing. In
47. Rullán M., Oliver J., Ferrer C. and Blom F.C.Testability enhancement of a basic set of CMOS cells.
48. Kansomkeat, S. and Rivepiboon, W.An analysis technique to increase testability of object‐oriented components.
50. Gallagher K.B.,J., R. Lyle. Using Program Slicing in Software Maintenance
51. Lanubile, F. and Visaggio, G.Extracting reusable functions by flow graph based program slicing.
52. De Lucia, A., Fasolino, A.R. and Munro, M. Understanding function behaviors through program slicing. In
53. Cheney J.Program slicing and data provenance.
54. Li X., Cao Y., Feng Z. and Liu R.Web service security analysis model based on program slicing. In
55. Zhang, Z. and Lin, M.Program slicing research based on MSV in software security field. In
56. Wang, Y., Li, Z. and Guo, T.Program slicing stored XSS bugs in web application. In
57. Talukder, M., Islam, S. and Falcarin, P.Analysis of obfuscated code with program slicing. In
58. Sahoo, S. and Ray, A.A framework for optimization of regression testing of web services using slicing. In
59. Tip F.Survey of program slicing techniques
60. Y. T.Song and D. T. Huynh, “Forward Dynamic Object-Oriented Program Slicing,” in
61. Samuel, P. and Surendran, A.Forward slicing algorithm based test data generation. In
62. Alomari, H.W., Collard, M.L. and Maletic, J.I.A very efficient and scalable forward static slicing approach. In
63. Lei, Y., Mao, X. and Chen, T.Y.Backward-slice-based statistical fault localization without test oracles. In
64. Giffhorn, D. and Hammer, C.Precise slicing of concurrent programs.
65. Nanda, M.G. and Ramesh, S.Interprocedural slicing of multithreaded programs with applications to Java.
66. Krinke J.Context-sensitive slicing of concurrent programs. In
67. Arora, V., Bhatia, R.K. and Singh, M. Evaluation of flow graph and dependence graphs for program representation.
70. M. Chalupa, Slicing of LLVM Bitcode, Masaryk University, 2016.
|No related articles found!|