Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
复制标题
模糊测试、符号执行和专家指导以实现更好的测试
DOI：
10.1109/ms.2023.3237981
复制
发表时间：
2023
期刊：
影响因子：
3.3
通讯作者：
Sen, Koushik
中科院分区：
文献类型：
--
作者：
Kadron, Ismet Burak;Noller, Yannic;Padhye, Rohan;Bultan, Tevfik;Pasareanu, Corina S.;Sen, Koushik
TSA：检测和量化网络旁路的工具
DOI：
10.1145/3540250.3558938
发表时间：
2022
期刊：
ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子：
--
作者：
Kadron, İsmet Burak;Bultan, Tevfik
通讯作者：
Bultan, Tevfik