Author:
Bardin Sebastien,Delahaye Mickael,David Robin,Kosmatov Nikolai,Papadakis Mike,Le Traon Yves,Marion Jean-Yves
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Combining Analyses Within Frama-C;Computer Science Foundations and Applied Logic;2024
2. Ten Years of Industrial Experiments with Frama-C at Mitsubishi Electric R&D Centre Europe;Computer Science Foundations and Applied Logic;2024
3. Symbolic Observation Graph-Based Generation of Test Paths;Tests and Proofs;2023
4. Towards Efficient Data-Flow Test Data Generation;Theories of Programming and Formal Methods;2023
5. Augmenting Equivalent Mutant Dataset Using Symbolic Execution;2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2022-04