A
Ali Darvish
Researcher at Iowa State University
Publications - 2
Citations - 24
Ali Darvish is an academic researcher from Iowa State University. The author has contributed to research in topics: Test case & Implicit invocation. The author has an hindex of 2, co-authored 2 publications receiving 24 citations.
Papers
More filters
Proceedings ArticleDOI
On exceptions, events and observer chains
TL;DR: The utility of Ptolemy-X's exception flow reasoning is evaluated by applying it to understand a set of aspect-oriented (AO) bug patterns and its semantics including its sound static semantics are presented.
Proceedings ArticleDOI
GUIDiVa: Automated Discovery and Validation of State-Based GUI Invariants
Ali Darvish,Carl K. Chang +1 more
TL;DR: This paper presents an automated black box framework that reveals an important set of GUI invariants as state-based event constraints, and an iterative algorithm that enumerates all possible constraint violations as potential reasons of a test case failure, on the failed event of the infeasible test case.