Author:
Cuoq Pascal,Signoles Julien,Baudin Patrick,Bonichon Richard,Canet Géraud,Correnson Loïc,Monate Benjamin,Prevosto Virgile,Puccetti Armand
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Art of Developing Frama-C Plug-ins;Computer Science Foundations and Applied Logic;2024
2. The Heart of Frama-C: The Frama-C Kernel;Computer Science Foundations and Applied Logic;2024
3. Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation;Programming and Computer Software;2018-09
4. QuickChecking static analysis properties;Software Testing, Verification and Reliability;2017-08-30
5. Rigorous examination of reactive systems;International Journal on Software Tools for Technology Transfer;2014-08-03