2015-10-08 14:05:59 +03:00
|
|
|
This repository contains dejafu, a concurrency testing library based
|
2016-04-01 18:54:45 +03:00
|
|
|
on a typeclass abstraction of concurrency, and related libraries.
|
2014-12-20 20:32:35 +03:00
|
|
|
|
2016-04-01 18:54:45 +03:00
|
|
|
- dejafu ([hackage 0.2.0.0][dejafu]): Overloadable primitives for
|
|
|
|
|
testable, potentially non-deterministic, concurrency.
|
2015-08-27 15:33:48 +03:00
|
|
|
|
2016-04-01 18:54:45 +03:00
|
|
|
- async-dejafu ([hackage 0.1.0.0][async]): Run MonadConc operations
|
|
|
|
|
asynchronously and wait for their results.
|
2014-12-20 20:32:35 +03:00
|
|
|
|
2016-04-01 18:54:45 +03:00
|
|
|
- hunit-dejafu ([hackage 0.2.0.0][hunit]): Deja Fu support for the
|
|
|
|
|
HUnit test framework.
|
2015-10-25 19:14:00 +03:00
|
|
|
|
2016-04-01 18:54:45 +03:00
|
|
|
- tasty-dejafu ([hackage 0.2.0.0][tasty]): Deja Fu support for the
|
|
|
|
|
Tasty test framework.
|
2015-10-08 23:50:52 +03:00
|
|
|
|
2016-04-01 18:54:45 +03:00
|
|
|
There is also dejafu-tests, the test suite for dejafu. This is in a
|
|
|
|
|
separate package due to Cabal being bad with test suite transitive
|
|
|
|
|
dependencies.
|
|
|
|
|
|
|
|
|
|
[dejafu]: http://hackage.haskell.org/package/dejafu
|
|
|
|
|
[async]: http://hackage.haskell.org/package/async-dejafu
|
|
|
|
|
[hunit]: http://hackage.haskell.org/package/hunit-dejafu
|
|
|
|
|
[tasty]: http://hackage.haskell.org/package/tasty-dejafu
|
|
|
|
|
|
|
|
|
|
Bibliography
|
|
|
|
|
------------
|
|
|
|
|
|
|
|
|
|
Each paper has a short name in parentheses, which I use in non-haddock
|
|
|
|
|
comments. Haddock comments get the full citation. PDF links are
|
|
|
|
|
provided where non-paywalled ones are available.
|
|
|
|
|
|
|
|
|
|
- [BPOR] *Bounded partial-order reduction*, K. Coons, M. Musuvathi, K. McKinley (2013)
|
|
|
|
|
http://research.microsoft.com/pubs/202164/bpor-oopsla-2013.pdf
|
|
|
|
|
|
|
|
|
|
- [Empirical] *Concurrency Testing Using Schedule Bounding: an
|
|
|
|
|
Empirical Study*, P. Thompson, A. Donaldson, and A. Betts (2014)
|
|
|
|
|
http://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2014/PPoPP.pdf
|
