Cited By
View all- Barth MJakobs M(2024)Refining CEGAR-Based Test-Case Generation with Feasibility AnnotationsTests and Proofs10.1007/978-3-031-72044-4_3(45-64)Online publication date: 9-Sep-2024
- Barth MJakobs M(2024)Test-Case Generation with Automata-Based Software Model CheckingModel Checking Software10.1007/978-3-031-66149-5_14(248-267)Online publication date: 10-Apr-2024
- Zhang GMariano BShen XDillig I(2023)Automated Translation of Functional Big Data Queries to SQLProceedings of the ACM on Programming Languages10.1145/35860477:OOPSLA1(580-608)Online publication date: 6-Apr-2023
- Show More Cited By