The Yogi Project: Software Property Checking via Static Analysis and Testing-Reference-Cited by-同舟云学术

The Yogi Project: Software Property Checking via Static Analysis and Testing

Published:2009 Issue: Volume: Page:178-181
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Nori Aditya V.,Rajamani Sriram K.,Tetali SaiDeep,Thakur Aditya V.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00768-2_17

Reference6 articles.

1. Lecture Notes in Computer Science;T. Ball,2001

2. Ball, T., Rajamani, S.K.: Slic: A specification language for interface checking of C. Technical Report MSR-TR-2001-21, Microsoft Research (2001)

3. Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: ISSTA 2008: International Symposium on Software Testing and Analysis, pp. 103–122. ACM Press, New York (2008)

4. Lecture Notes in Computer Science;L. Moura de,2008

5. Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed automated random testing. In: PLDI 2005: Programming Language Design and Implementation, pp. 213–223. ACM Press, New York (2005)

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

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

2. Program analysis using empirical abstraction;International Journal on Software Tools for Technology Transfer;2023-07-06

3. Information Exchange Between Over- and Underapproximating Software Analyses;Software Engineering and Formal Methods;2022

4. Toward optimal mc/dc test case generation;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11

5. Automated Safety Verification of Programs Invoking Neural Networks;Computer Aided Verification;2021