logo

SCIENCE CHINA Information Sciences, Volume 59, Issue 9: 098101(2016) https://doi.org/10.1007/s11432-016-5589-6

Automated coverage-driven testing: combining symbolic execution and model checking

More info
  • ReceivedMay 9, 2016
  • AcceptedJun 4, 2016
  • PublishedAug 23, 2016

Abstract


Funded by

National Natural Science Foundation of China(61402178)

East China Normal University Program for Outstanding Doctoral Dissertation Cultivation(PY2015032)

. This work was also supported by Science and Technology Commission of Shanghai Municipality Project(14511100400)

Science and Technology Commission of Shanghai Municipality Project(14YF1404300)

National Major Scientific and Technological Special Project(2014ZX01038-101-001)


Acknowledgment

Acknowledgments

Ting SU was supported by East China Normal University Program for Outstanding Doctoral Dissertation Cultivation (Grant No. PY2015032). This work was also supported by Science and Technology Commission of Shanghai Municipality Project (Grant No. 14511100400), National Natural Science Foundation of China (Grant No. 61402178), Science and Technology Commission of Shanghai Municipality Project (Grant No. 14YF1404300), and National Major Scientific and Technological Special Project (Grant No. 2014ZX01038-101-001).


References

[1] Myers G J, Sandler C. The Art of Software Testing. Hoboken: John Wiley & Sons, 2004. Google Scholar

[2] National Institute of Standards and Technology. The Economic Impacts of Inadequate Infrastructure for Software Testing. Planning Report 02-3. 2004. Google Scholar

[3] Ammann P, Offutt A J, Huang H. Coverage criteria for logical expressions. In: Proceedings of the 14th International Symposium on Software Reliability Engineering, Denver, 2003. 99--107. Google Scholar

[4] Su T, Wu K, Miao W, et al. A Survey on Data Flow Testing. Technical Report SU01. 2015. Google Scholar

[5] Godefroid P, Klarlund N, Sen K. DART: directed automated random testing. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2005. 213--223. Google Scholar

[6] Beyer D, Chlipala A J, Henzinger T A, et al. Generating tests from counterexamples. In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, 2004. 326--335. Google Scholar

[7] Su T, Fu Z, Pu G, et al. Combining symbolic execution and model checking for data flow testing. In: Proceedings of IEEE/ACM 37th International Conference on Software Engineering, Florence, 2015. 654--665. Google Scholar

[8] Su T, Pu G, Fang B, et al. Automated coverage-driven test data generation using dynamic symbolic execution. In: Proceedings of the 8th International Conference on Software Security and Reliability (SERE), San Francisco, 2014. 98--107. Google Scholar

Copyright 2019 Science China Press Co., Ltd. 《中国科学》杂志社有限责任公司 版权所有

京ICP备18024590号-1