Author:
Filieri Antonio,Pasareanu Corina S.,Yang Guowei
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probabilistic program performance analysis with confidence intervals;Information and Software Technology;2023-04
2. PopArt: Ranked Testing Efficiency;IEEE Transactions on Software Engineering;2023-04-01
3. Intelligent Constraint Classification for Symbolic Execution;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
4. Symbolic execution for randomized programs;Proceedings of the ACM on Programming Languages;2022-10-31
5. Probabilistic Program Performance Analysis;2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA);2021-09