Author:
Bardin Sebastien,Herrmann Philippe
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process;Lecture Notes in Computer Science;2018
2. Toward Rigorous Object-Code Coverage Criteria;2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE);2017-10
3. Discovering instructions for robust binary-level coverage criteria;Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems;2017-07-13
4. Specification of concretization and symbolization policies in symbolic execution;Proceedings of the 25th International Symposium on Software Testing and Analysis;2016-07-18
5. Recovering High-Level Conditions from Binary Programs;FM 2016: Formal Methods;2016