Behind the scenes in SANTE: a combination of static and dynamic analyses-Reference-Cited by-同舟云学术

Behind the scenes in SANTE: a combination of static and dynamic analyses

Published:2013-05-08 Issue:1 Volume:21 Page:107-143
ISSN:0928-8910
Container-title:Automated Software Engineering
language:en
Short-container-title:Autom Softw Eng

Author:

Chebaro Omar,Cuoq Pascal,Kosmatov Nikolai,Marre Bruno,Pacalet Anne,Williams Nicky,Yakobowski Boris

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s10515-013-0127-x.pdf

Reference75 articles.

1. LNCS;T. Ball,2004

2. Bardin, S., Herrmann, P.: Structural testing of executables. In: The First International Conference on Software Testing, Verification, and Validation (ICST 2008), pp. 22–31. IEEE Computer Society, Los Alamitos (2008)

3. LNCS;S. Bardin,2010

4. Baudin, P., Filliâtre, J.C., Hubert, T., Marché, C., Monate, B., Moy, Y., Prevosto, V.: In: ACSL: ANSI/ISO C Specification Language, v1.6 (2012). URL: http://frama-c.com/acsl.html

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

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

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

2. Test Generation with PathCrawler;Computer Science Foundations and Applied Logic;2024

3. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization;ACM Transactions on Programming Languages and Systems;2022-03-31

4. Parallel and distributed bounded model checking of multi-threaded programs;Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2020-02-19

5. Joint forces for memory safety checking revisited;International Journal on Software Tools for Technology Transfer;2019-08-06