Compositional CLP-Based Test Data Generation for Imperative Languages-Reference-Cited by-同舟云学术

Compositional CLP-Based Test Data Generation for Imperative Languages

Published:2011 Issue: Volume: Page:99-116
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Albert Elvira,Gómez-Zamalloa Miguel,Rojas José Miguel,Puebla Germán

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20551-4_7

Reference22 articles.

1. Lecture Notes in Computer Science;E. Albert,2009

2. Albert, E., Gómez-Zamalloa, M., Puebla, G.: PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM), Madrid, Spain, January 2010, pp. 25–28. ACM Press, New York (2010)

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

4. Arons, T., Elster, E., Ozer, S., Shalev, J., Singerman, E.: Efficient symbolic simulation of low level software. In: DATE, pp. 825–830. IEEE, Los Alamitos (2008)

5. Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng. 2(3), 215–222 (1976)

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

1. Intelligent Constraint Classification for Symbolic Execution;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03

2. A synergistic approach to improving symbolic execution using test ranges;Innovations in Systems and Software Engineering;2019-04-09

3. Using Test Ranges to Improve Symbolic Execution;Lecture Notes in Computer Science;2018

4. Certified Symbolic Execution;Automated Technology for Verification and Analysis;2016

5. Testing abstract behavioral specifications;International Journal on Software Tools for Technology Transfer;2014-02-21