Precise cache timing analysis via symbolic execution DH Chu, J Jaffar, R Maghareh 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016 | 30 | 2016 |
TracerX: Dynamic symbolic execution with interpolation (competition contribution) J Jaffar, R Maghareh, S Godboley, XL Ha Fundamental Approaches to Software Engineering 12076, 530, 2020 | 18 | 2020 |
Toward optimal mc/dc test case generation S Godboley, J Jaffar, R Maghareh, A Dutta Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 13 | 2021 |
Extending dpc++ with support for huawei ascend ai chipset W Feng, R Maghareh, KTA Wang Proceedings of the 9th International Workshop on OpenCL, 1-4, 2021 | 12 | 2021 |
Symbolic execution for memory consumption analysis DH Chu, J Jaffar, R Maghareh Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016 | 9 | 2016 |
Optimal MC/DC test case generation J Jaffar, S Godboley, R Maghareh 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 8 | 2019 |
Evaluation of management indicators in projects MR Maghareh, S Mohammadzadeh, FM Alinejad, R Maghareh IPEDR-International Proceedings of Economics Development and Research 15, 49-54, 2011 | 4 | 2011 |
Toward Optimal Mc/Dc Test Case Generation (ISSTA 2021). Association for Computing Machinery, New York, NY, USA, 505–516 S Godboley, J Jaffar, R Maghareh, A Dutta | 3 | 2021 |
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution) A Dutta, R Maghareh, J Jaffar, S Godboley, XL Yu International Conference on Fundamental Approaches to Software Engineering …, 2024 | | 2024 |
PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION R MAGHAREH | | 2016 |
Enhancement of Template-Based Face Detection by Belief Propagation in Ordered Component Search H Nejati, E Bayat, AJ Torabi, R Maghareh Recent Advances in Computer Science and Information Engineering: Volume 1 …, 2012 | | 2012 |
Precise Cache Timing Analysis via Symbolic Simulation DH Chu, J Jaffar, R Maghareh | | |