@INPROCEEDINGS{west-nanz-meyer:2012:demonic, author = {Scott West and Sebastian Nanz and Bertrand Meyer}, title = {Demonic Testing of Concurrent Programs}, booktitle = {14th International Conference on Formal Engineering Methods (ICFEM'12)}, year = {2012}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, urltopdf = {/people/nanz/publications/west-nanz-meyer_icfem12.pdf}, }