Author:
Cuoq Pascal,Kirchner Florent,Kosmatov Nikolai,Prevosto Virgile,Signoles Julien,Yakobowski Boris
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. Bardin, S., Herrmann, P.: OSMOSE: automatic structural testing of executables. Software Testing, Verification and Reliability 21(1), 29–54 (2011)
2. Lecture Notes in Computer Science;S. Bardin,2011
3. Baudin, P., et al.: ACSL: ANSI/ISO C Specification Language Preliminary design, version 1.5 (2010), http://frama-c.com/downloads/acsl_1.5.pdf
4. Beckman, N., et al.: Proofs from tests. IEEE Trans. Software Eng. 36(4), 495–508 (2010)
5. Berthomé, P., et al.: Attack model for verification of interval security properties for smart card c codes. In: PLAS, pp. 2:1–2:12. ACM (2010)
Cited by
199 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献