19 citations · 32 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
Safe Stream-Based Programming with Refinement Types
Benno Stein, Lazaro Clapp, Manu Sridharan +1
In stream-based programming, data sources are abstracted as a stream of values that can be manipulated via callback functions. Stream-based programming is exploding in popularity,…
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…