Cited By
View all- Fazelnia MMirakhorli MBagheri HFilkov VRay BZhou M(2024)Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting RequirementsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695302(2294-2298)Online publication date: 27-Oct-2024
- Luo WLiang PQiu JChen PWan HDu JFang WChristakis MPradel M(2024)Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace CheckingProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3680337(996-1008)Online publication date: 11-Sep-2024
- Brizzio MRoychoudhury APaiva AAbreu RStorey M(2024)Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based DecompositionProceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings10.1145/3639478.3639801(207-211)Online publication date: 14-Apr-2024
- Show More Cited By