Cited By
View all- Van der Plas JStiévenart QDe Roover C(2023)Result Invalidation for Incremental Modular AnalysesVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-24950-1_14(296-319)Online publication date: 17-Jan-2023
- Aljaafari FMenezes RManino EShmarov FMustafa MCordeiro L(2022)Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent ProgramsIEEE Access10.1109/ACCESS.2022.322335910(121365-121384)Online publication date: 2022
- Nicolay JStiévenart QDe Meuter WDe Roover C(2019)Effect-Driven Flow AnalysisVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-11245-5_12(247-274)Online publication date: 11-Jan-2019
- Show More Cited By