Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM-Reference-Cited by-同舟云学术

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM

Published:2004 Issue: Volume: Page:39-56
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Leven Peter,Mehler Tilman,Edelkamp Stefan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24732-6_4

Reference25 articles.

1. Ball, T., Rajamani, S.K.: The Slam Project: Debugging System Software via Static Analysis. In: ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1–3 (2002)

2. Bosnacki, D., Dams, D., Holenderski, L.: A Heuristic for Symmetry Reductions with Scalarsets. In: International Symposium on FME: Formal Methods for Increasing Software Productivity, pp. 518–533 (2001)

3. Lecture Notes in Computer Science;T. Cattel,1998

4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)

5. Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Robby, Laubachand, S., Zheng, H.: Extracting Finite-state Models from Java Source Code. In: International Conference on Software Engineering (ICSE), pp. 439–448 (2000)

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

1. Symbolic object code analysis;International Journal on Software Tools for Technology Transfer;2012-08-04

2. Program Model Checking via Action Planning;Model Checking and Artificial Intelligence;2011

3. Symbolic Object Code Analysis;Model Checking Software;2010

4. Model checking C source code for embedded systems;International Journal on Software Tools for Technology Transfer;2009-03-19

5. Dynamic Incremental Hashing in Program Model Checking;Electronic Notes in Theoretical Computer Science;2006-02