Rasool Maghareh

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Symbolic Execution

Top Venues

ICSE (Companion Volume)

Publications

Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). FASE (2024)
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta
Toward optimal mc/dc test case generation. ISSTA (2021)
Wilson Feng, Rasool Maghareh, Kai-Ting Amy Wang
Extending DPC++ with Support for Huawei Ascend AI Chipset. IWOCL (2021)
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). FASE (2020)
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
TracerX: Dynamic Symbolic Execution with Interpolation. CoRR (2020)
Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh
Optimal MC/DC test case generation. ICSE (Companion Volume) (2019)
Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh
Symbolic execution for memory consumption analysis. LCTES (2016)
Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh
Precise Cache Timing Analysis via Symbolic Execution. RTAS (2016)