10 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.SE2017★ 10 cited
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang
We consider the problem of generating relevant execution traces to test rich interactive applications. Rich interactive applications, such as apps on mobile platforms, are complex…
cs.PL2014★ 2 cited
Constraint Handling Rules with Multiset Comprehension Patterns
Edmund S. L. Lam, Iliano Cervesato
CHR is a declarative, concurrent and committed choice rule-based constraint programming language. We extend CHR with multiset comprehension patterns, providing the programmer with…