Cited By
View all- Mishra AJagannathan S(2022)Specification-guided component-based synthesis from effectful librariesProceedings of the ACM on Programming Languages10.1145/35633106:OOPSLA2(616-645)Online publication date: 31-Oct-2022
- Meng YGay G(2020)Understanding The Impact of Solver Choice in Model-Based Test GenerationProceedings of the 14th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)10.1145/3382494.3410674(1-11)Online publication date: 5-Oct-2020
- Poeplau SFrancillon ABalenson D(2019)Systematic comparison of symbolic execution systemsProceedings of the 35th Annual Computer Security Applications Conference10.1145/3359789.3359796(163-176)Online publication date: 9-Dec-2019
- Show More Cited By