Rasool Maghareh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FASE | TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). | Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu |
| 2021 | ISSTA | Toward optimal mc/dc test case generation. | Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta |
| 2020 | FASE | TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). | Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha |
| 2019 | ICSE | Optimal MC/DC test case generation. | Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh |
| 2016 | RTAS | Precise Cache Timing Analysis via Symbolic Execution. | Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh |