Symbolic execution for memory consumption analysis. - Duc-Hiep Chu; Joxan Jaffar; Rasool Maghareh (LCTES, 2016)

Precise Cache Timing Analysis via Symbolic Execution. - Duc-Hiep Chu; Joxan Jaffar; Rasool Maghareh (RTAS, 2016)

Optimal MC/DC test case generation. - Joxan Jaffar; Sangharatna Godboley; Rasool Maghareh (ICSE (Companion Volume), 2019)

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (FASE, 2020)

TracerX: Dynamic Symbolic Execution with Interpolation. - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (CoRR, 2020)

Toward optimal mc/dc test case generation. - Sangharatna Godboley; Joxan Jaffar; Rasool Maghareh; Arpita Dutta (ISSTA, 2021)

Extending DPC++ with Support for Huawei Ascend AI Chipset. - Wilson Feng; Rasool Maghareh; Kai-Ting Amy Wang (IWOCL, 2021)

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). - Arpita Dutta; Rasool Maghareh; Joxan Jaffar; Sangharatna Godboley; Xiao Liang Yu (FASE, 2024)