16 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 16 cited
When is a container a comonad?
Danel Ahman, James Chapman, Tarmo Uustalu
Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of sha…
cs.SE2012★ 1 cited
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs
Danel Ahman, Marko Kääramees
We are investigating on-line model-based test generation from non-deterministic output-observable Input/Output Extended Finite State Machine (I/O EFSM) models of Systems Under Test…