IC-Cut: A Compositional Search Strategy for Dynamic Test Generation-Reference-Cited by-同舟云学术

IC-Cut: A Compositional Search Strategy for Dynamic Test Generation

Published:2015 Issue: Volume: Page:300-318
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Christakis Maria,Godefroid Patrice

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-23404-5_19

Reference23 articles.

1. Lecture Notes in Computer Science;S Anand,2008

2. Artzi, S., Kiezun, A., Dolby, J., Tip, F., Dig, D., Paradkar, A.M., Ernst, M.D.: Finding bugs in web applications using dynamic test generation and explicit-state model checking. TSE 36, 474–494 (2010)

3. Avgerinos, T., Rebert, A., Cha, S.K., Brumley, D.: Enhancing symbolic execution with veritesting. In: Proceedings of ICSE, pp. 1083–1094. ACM (2014)

4. Lecture Notes in Computer Science;P Boonstoppel,2008

5. Bounimova, E., Godefroid, P., Molnar, D.A.: Billions and billions of constraints: whitebox fuzz testing in production. In: Proceedings of ICSE, pp. 122–131. ACM (2013)

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

1. Exploratory Review of Hybrid Fuzzing for Automated Vulnerability Detection;IEEE Access;2021

2. Could I Have a Stack Trace to Examine the Dependency Conflict Issue?;2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE);2019-05

3. On narrowing the gap between verification and systematic testing;it - Information Technology;2017-02-03

4. MACKE: compositional analysis of low-level vulnerabilities with symbolic execution;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25