Rasool Maghareh

According to our database, Rasool Maghareh authored at least 8 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).

Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2021

Extending DPC++ with Support for Huawei Ascend AI Chipset.

Wilson Feng, Rasool Maghareh, Kai-Ting Amy Wang

Proceedings of the IWOCL'21: International Workshop on OpenCL, Munich Germany, April, 2021, 2021

Toward optimal mc/dc test case generation.

Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

TracerX: Dynamic Symbolic Execution with Interpolation.

Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha

CoRR, 2020

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).

Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Optimal MC/DC test case generation.

Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2016

Precise Cache Timing Analysis via Symbolic Execution.

Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Symbolic execution for memory consumption analysis.

Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh

Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016