Cited By
View all- Lorch RMeng BSiu KMoitra ADurling MPaul SVaranasi SMcmillan CFuria CLopes APlat NGnesi S(2024)Formal Methods in Requirements Engineering: Survey and Future DirectionsProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644373(88-99)Online publication date: 14-Apr-2024
- Carvalho LDegiovanni RCordy MAguirre NLe Traon YPapadakis MRoychoudhury APaiva AAbreu RStorey M(2024)SpecBCFuzz: Fuzzing LTL Solvers with Boundary ConditionsProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639087(1-13)Online publication date: 20-May-2024
- Brizzio MCordy MPapadakis MSánchez CAguirre NDegiovanni RSilva SPaquete L(2023)Automated Repair of Unrealisable LTL Specifications Guided by Model CountingProceedings of the Genetic and Evolutionary Computation Conference10.1145/3583131.3590454(1499-1507)Online publication date: 15-Jul-2023
- Show More Cited By