Cited By
View all- Alshmrany KAldughaim MBhayat ACordeiro L(2024)FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static AnalysisFormal Aspects of Computing10.1145/366533736:2(1-25)Online publication date: 20-May-2024
- Wu YDeng QZhang W(2023)A Strategy to Unwind Loops in Incremental Bounded Model Checking for SoftwareProceedings of the 2023 3rd Guangdong-Hong Kong-Macao Greater Bay Area Artificial Intelligence and Big Data Forum10.1145/3660395.3660460(382-387)Online publication date: 22-Sep-2023
- Tihanyi NBisztray TJain RFerrag MCordeiro LMavroeidis VMcIntosh SChoi EHerbold S(2023)The FormAI Dataset: Generative AI in Software Security through the Lens of Formal VerificationProceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering10.1145/3617555.3617874(33-43)Online publication date: 8-Dec-2023
- Show More Cited By