Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution-Reference-Cited by-同舟云学术

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution

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

Author:

Belt Jason,Hatcliff John,Robby ,Chalin Patrice,Hardin David,Deng Xianghua

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20398-5_6

Reference25 articles.

1. Barnes, J.: High Integrity Software – the SPARK Approach to Safety and Security. Addison-Wesley, Reading (2003)

2. Lecture Notes in Computer Science;C. Barrett,2007

3. Belt, J., Hatcliff, J., Robby, Chalin, P., Hardin, D., Deng, X.: Bakar Kiasan: Flexible contract checking for critical systems using symbolic execution. Technical Report SAnToS-TR2011-01-03, Kansas State University (2011), http://people.cis.ksu.edu/~belt/SAnToS-TR2011-01-03.pdf

4. Belt, J., Robby, Deng, X.: Sireum/Topi LDP: A lightweight semi-decision procedure for optimizing symbolic execution-based analyses. In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 355–364 (2009)

5. Cadar, C., Dunbar, D., Engler, D.R.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp. 209–224. USENIX Association (2008)

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

1. Collective Contracts for Message-Passing Parallel Programs;Lecture Notes in Computer Science;2024

2. Teaching with Logika: Conceiving and Constructing Correct Software;Lecture Notes in Computer Science;2024

3. Automated Property-Based Testing from AADL Component Contracts;Formal Methods for Industrial Critical Systems;2023

4. Hardware/Software Co-Assurance using the Rust Programming Language and ACL2;Electronic Proceedings in Theoretical Computer Science;2022-05-24

5. Slang: The Sireum Programming Language;Lecture Notes in Computer Science;2021