The 1st Verified Software Competition: Experience Report-Reference-Cited by-同舟云学术

The 1st Verified Software Competition: Experience Report

Published:2011 Issue: Volume: Page:154-168
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Klebanov Vladimir,Müller Peter,Shankar Natarajan,Leavens Gary T.,Wüstholz Valentin,Alkassar Eyad,Arthan Rob,Bronish Derek,Chapman Rod,Cohen Ernie,Hillebrand Mark,Jacobs Bart,Leino K. Rustan M.,Monahan Rosemary,Piessens Frank,Polikarpova Nadia,Ridge Tom,Smans Jan,Tobies Stephan,Tuerk Thomas,Ulbrich Mattias,Weiß Benjamin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21437-0_14

Reference14 articles.

1. Arthan, R., Jones, R.: Z in HOL in ProofPower. BCS FACS FACTS, 2005-1

2. Lecture Notes in Computer Science;M. Barnett,2006

3. LNCS,2007

4. Lecture Notes in Computer Science;J. Berdine,2006

5. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: POPL (2005)

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

1. Is MCDC Really Better? Lessons from Combining Tests and Proofs;Lecture Notes in Computer Science;2024-09-10

2. Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods;iFM 2023;2023-11-06

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

4. Verifying OpenJDK’s LinkedList using KeY (extended paper);International Journal on Software Tools for Technology Transfer;2022-10

5. Improving Counterexample Quality from Failed Program Verification;2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2022-10