Author:
Bardin Sebastien,Kosmatov Nikolai,Cheynier Francois
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Efficient Black-Box Support of Advanced Coverage Criteria for Klee;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
2. Fine-Grained Coverage-Based Fuzzing;ACM Transactions on Software Engineering and Methodology;2023-03-14
3. Adversarial Reachability for Program-level Security Analysis;Programming Languages and Systems;2023
4. Mutation testing with hyperproperties;Software and Systems Modeling;2021-04
5. Detection of Polluting Test Objectives for Dataflow Criteria;Lecture Notes in Computer Science;2020