R
Rasool Maghareh
Researcher at Huawei
Publications - 8
Citations - 67
Rasool Maghareh is an academic researcher from Huawei. The author has contributed to research in topics: Symbolic execution & Abstraction (linguistics). The author has an hindex of 3, co-authored 8 publications receiving 43 citations. Previous affiliations of Rasool Maghareh include National University of Singapore.
Papers
More filters
Proceedings ArticleDOI
Precise Cache Timing Analysis via Symbolic Execution
TL;DR: This work presents a framework for WCET analysis of programs with emphasis on cache micro-architecture, and presents an experimental evaluation on well known benchmarks to show that systematic path-sensitivity in fact brings significant accuracy gains, and that the algorithm still scales well.
Book ChapterDOI
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)
TL;DR: TracerX, the tool, is built on top of KLEE and it implements and utilizes abstraction learning, the core feature in abstraction learning is subsumption of paths whose traversals are deemed to no longer be necessary due to similarity with already-traversed paths.
Proceedings ArticleDOI
Extending DPC++ with Support for Huawei Ascend AI Chipset
TL;DR: In this paper, the authors present the implementation steps taken to add the support for the Huawei Ascend AI Chipset to DPC++, which is built on top of the SYCL standards.
Proceedings ArticleDOI
Toward optimal mc/dc test case generation
TL;DR: In this article, symbolic execution with interpolation is used to generate an optimal MC/DC coverage for bounded programs, where the goal is to generate a test input realizing the sequence; otherwise, to prove that the sequence is infeasible.
Proceedings ArticleDOI
Optimal MC/DC test case generation
TL;DR: A new method for automated test case generation based on symbolic execution and a custom process of interpolation is presented, which results in the set of Modified Condition/Decision Coverage (MC/DC) test cases produced is optimal.