Cited By
View all- Amorim TVogelsang A(2023)A Conceptual Model for the Selection of Methods for Software Engineering Process ImprovementBusiness Modeling and Software Design10.1007/978-3-031-36757-1_23(319-329)Online publication date: 2-Jul-2023
- Wilhelm R(2022)Principles of Abstract InterpretationFormal Aspects of Computing10.1145/354695334:2(1-3)Online publication date: 19-Sep-2022
- Lipp SBanescu SPretschner ARyu SSmaragdakis Y(2022)An empirical study on the effectiveness of static C code analyzers for vulnerability detectionProceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534380(544-555)Online publication date: 18-Jul-2022