Cited By
View all- Guo ZCao DTjong DYang JSchlesinger CPolikarpova NJhala RDillig I(2022)Type-directed program synthesis for RESTful APIsProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523450(122-136)Online publication date: 9-Jun-2022
- Huang KQiu X(2022)Bootstrapping Library-Based SynthesisStatic Analysis10.1007/978-3-031-22308-2_13(272-298)Online publication date: 2-Dec-2022
- Ye QLu M(2021)SPOT: Testing Stream Processing Programs with Symbolic Execution and Stream SynthesizingApplied Sciences10.3390/app1117805711:17(8057)Online publication date: 30-Aug-2021
- Show More Cited By