Cited By
View all- Shafiuzzaman MDesai ASarker LBultan TFilkov VRay BZhou M(2024)STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature GenerationProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695543(1783-1794)Online publication date: 27-Oct-2024
- Galindo CPérez SSilva J(2020)Slicing Unconditional Jumps with Unnecessary Control DependenciesLogic-Based Program Synthesis and Transformation10.1007/978-3-030-68446-4_15(293-308)Online publication date: 7-Sep-2020
- Alkaf HHassine JBinalialhag TAmyot D(2019)An automated change impact analysis approach for User Requirements Notation modelsJournal of Systems and Software10.1016/j.jss.2019.110397157(110397)Online publication date: Nov-2019
- Show More Cited By