An empirical study on constraint optimization techniques for test generation-Reference-Cited by-同舟云学术

An empirical study on constraint optimization techniques for test generation

Published:2016-10-13 Issue:1 Volume:60 Page:
ISSN:1674-733X
Container-title:Science China Information Sciences
language:en
Short-container-title:Sci. China Inf. Sci.

Author:

Zhang Zhiyi,Chen Zhenyu,Gao Ruizhi,Wong Eric,Xu Baowen

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11432-015-0450-5.pdf

Reference38 articles.

1. Beizer B. Software Testing Techniques. 2nd ed. New York: International Thomson Computer Press, 1990

2. Fang C R, Chen Z Y, Xu B W. Comparing logic coverage criteria on test case prioritization. Sci China Inf Sci, 2012, 55: 2826–2840

3. Yang R, Chen Z Y, Zhang Z Y, et al. Efsm-based test case generation: sequence, data, and oracle. Int J Softw Eng Knowl Eng, 2015, 25: 633–667

4. Orso A, Rothermel G. Software testing: a research travelogue (2000–2014). In: Proceedings of the IEEE International Conference on Future of Software Engineering (ICSE). New York: ACM, 2014. 117–132

5. King J C. Symbolic execution and program testing. Commun ACM, 1976, 19: 385–394

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. When debugging encounters artificial intelligence: state of the art and open challenges;Science China Information Sciences;2024-02-21

2. Random or heuristic? An empirical study on path search strategies for test generation in KLEE;Journal of Systems and Software;2022-06

3. Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search;Information and Software Technology;2021-07

4. Interpretable Test Case Recommendation based on Knowledge Graph;2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS);2020-12

5. Predictive analysis for race detection in software-defined networks;Science China Information Sciences;2019-05-08