Merge pull request #157 from papers-we-love/race-condition-testing

Add QuickCheck race conditions paper
pull/161/head
Jeremy Heiler 10 years ago
commit 2c143e8d2d

@ -5,3 +5,5 @@
* [Heap Architectures For Concurrent Languages Using Message Passing](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.108.1302&rep=rep1&type=pdf)
* [Message Analysis for Concurrent Languages](http://user.it.uu.se/~kostis/Papers/escape.pdf)
* [Finding Race Conditions in Erlang with QuickCheck and PULSE](http://publications.lib.chalmers.se/records/fulltext/125252/local_125252.pdf)

Loading…
Cancel
Save