Automatic Test Generation for Coverage Analysis Using CBMC-Reference-Cited by-同舟云学术

Automatic Test Generation for Coverage Analysis Using CBMC

Published:2009 Issue: Volume: Page:287-294
ISSN:0302-9743
Container-title:Computer Aided Systems Theory - EUROCAST 2009
language:
Short-container-title:

Author:

Angeletti Damiano,Giunchiglia Enrico,Narizzano Massimo,Puddu Alessandra,Sabina Salvatore

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04772-5_38

Reference16 articles.

1. Clarke, E., Kroening, D., Lerda, F.: A Tool for Checking ANSI-C Program. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 168–176

2. ERTMS: The official Website, http://www.ertms.com/

3. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded Model Checking. Advances inComputers 58

4. Moskewicz, W.M., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff:Engineering an Efficient SAT Solver. In: Proceedings of the 38th Design Automation Conference, pp. 530–535

5. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: EfficientlyComputing Static Single Assignment Form and the Control DependenceGraph. ACM Transactions on Programming Languages and Systems 13(4), 451–490

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

1. Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites;Testing Software and Systems;2023

2. Diversifying Focused Testing for Unit Testing;ACM Transactions on Software Engineering and Methodology;2021-10-31

3. Software Testing or The Bugs’ Nightmare;Open Journal of Software Engineering;2021-04-04

4. Generating Tests by Example;Lecture Notes in Computer Science;2017-12-29

5. Software Model Checking;Computing Handbook, Third Edition;2014-05-08