Cited By
View all- Williams NHong JLanperne MPark JCerny TShahriar H(2023)Exhaustive Branch Coverage with TreeFrogProceedings of the 38th ACM/SIGAPP Symposium on Applied Computing10.1145/3555776.3577738(1716-1723)Online publication date: 27-Mar-2023
- Cha SHong SBak JKim JLee JOh H(2022)Enhancing Dynamic Symbolic Execution by Automatically Learning Search HeuristicsIEEE Transactions on Software Engineering10.1109/TSE.2021.310187048:9(3640-3663)Online publication date: 1-Sep-2022
- Zlatkin IFedyukovich G(2022)Maximizing Branch Coverage with Constrained Horn ClausesTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-99527-0_14(254-272)Online publication date: 30-Mar-2022
- Show More Cited By