Integrated Environment for Diagnosing Verification Errors-Reference-Cited by-同舟云学术

Integrated Environment for Diagnosing Verification Errors

Published:2016 Issue: Volume: Page:424-441
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Christakis Maria,Leino K. Rustan M.,Müller Peter,Wüstholz Valentin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-49674-9_25

Reference42 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. Barnett, M., Fähndrich, M., Leino, K.R.M., Müller, P., Schulte, W., Venter, H.: Specification and verification: the Spec# experience. CACM 54, 81–91 (2011)

4. Beyer, D., Chlipala, A.J., Majumdar, R.: Generating tests from counterexamples. In: ICSE, pp. 326–335. IEEE Computer Society (2004)

5. Lecture Notes in Computer Science;JC Blanchette,2010

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

1. Combining Analyses Within Frama-C;Computer Science Foundations and Applied Logic;2024

2. A Framework for Debugging Automated Program Verification Proofs via Proof Actions;Lecture Notes in Computer Science;2024

3. A Toolkit for Automated Testing of Dafny;Lecture Notes in Computer Science;2023

4. More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme;Lecture Notes in Computer Science;2022

5. How the Analyzer can Help the User Help the Analyzer;Electronic Proceedings in Theoretical Computer Science;2021-08-06