Just Test What You Cannot Verify!-Reference-Cited by-同舟云学术

Just Test What You Cannot Verify!

Published:2015 Issue: Volume: Page:100-114
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Czech Mike,Jakobs Marie-Christine,Wehrheim Heike

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46675-9_7

Reference33 articles.

1. Gnu compiler collection, https://gcc.gnu.org (accessed: October 13, 2014)

2. Barraclough, R.W., Binkley, D., Danicic, S., Harman, M., Hierons, R.M., Kiss, Á., Laurence, M., Ouarbya, L.: A trajectory-based strict semantics for program slicing. Theoretical Computer Science 411(11-13), 1372–1386 (2010)

3. Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: ISSTA 2008, pp. 3–14. ACM (2008)

4. Bertolino, A.: Software testing research: Achievements, challenges, dreams. In: Briand, L.C., Wolf, A.L. (eds.) International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, Minneapolis, MN, USA, May 23-25, pp. 85–103 (2007)

5. Lecture Notes in Computer Science;D. Beyer,2014

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

1. Parallel program analysis on path ranges;Science of Computer Programming;2024-12

2. Exchanging information in cooperative software validation;Software and Systems Modeling;2024-03-19

3. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023

4. Ranged Program Analysis via Instrumentation;Software Engineering and Formal Methods;2023

5. Decomposing software verification into off-the-shelf components;Proceedings of the 44th International Conference on Software Engineering;2022-05-21