Cited By
View all- Soueidi CFalcone Y(2023)Residual Runtime Verification via Reachability AnalysisVerified Software. Theories, Tools and Experiments.10.1007/978-3-031-25803-9_9(148-166)Online publication date: 1-Feb-2023
- Ghaleb TAljasser KAlturki M(2021)An Extensible Compiler for Implementing Software Design Patterns as Concise Language ConstructsInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402150032731:07(1043-1067)Online publication date: 23-Jul-2021
- Katic M(2021)Finding and Use of Source Code Changes for Aspect-Oriented SoftwareEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-70006-5_19(469-493)Online publication date: 27-Feb-2021
- Show More Cited By