Subject Name: daisy
Souce Code Language: Java
Number of Versions: 1
Number of Variants: 1
   - orig
Error expected:
   orig: assert
Non-determinisitc: yes

***orig***
LOC: 883 (noncomment Java source code)
Classes: 22
Methods: 106
Fields: 193
Statements: 590
wait() call: 1
notifyAll() call: 0
Sync blocks: 3
Thread start() calls: 2
New expressions: 68

The daisy subject is a prototype implementation of a NFS UNIX-like
filesystem[2].

Daisy expresses an Assert bug as described in the bug patterns reported
in [1].  This version of daisy was used in the experiments of [3].

References:

[1] Y. Eytani, and S. Ur. "Compiling a Benchmark of Documented Multi-threaded Bugs"
in Proceedings of the 18th International Symposium on Parallel and Distributed 
Processing: 266. April 2004.

[2] Flanagan, Cormac, and Freund, Stephen N., and Qadeer, Shaz.
Checking Concise Specifications for Multi-threaded Software.  Journal of Object
Technology, vol. 3, No, 6 - special issue: ECOOP 203 workshop on FTfJP, 2004.

[3] Dwyer, Matthew B. and Person, Suzette and Elbaum, Sebastian.
Controlling factors in evaluating path-sensitive error detection techniques,
SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium
on Foundations of software engineering, 2006, isbn 1-59593-468-5, pp. 92--104,
Portland, Oregon, USA, ACM, New York, NY, USA.
