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

***orig***
LOC: 838 (noncomment Java source code)
Classes: 24
Methods: 133
Fields: 14
Statements: 576
wait() call: 1
notifyAll() call: 0
Sync blocks: 0
Thread start() calls: 1
New expressions: 24

Deos is a Java version of the scheduler from a real-time executive for
avionics systems.  Several researchers have used deos for concurrency studies
including those found in the refrences below.

Deos has one command line option, abstraction which is not used in the
runJPF.sh script.

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] Y. Eytani, K. Havelund, S.D. Stoller, and S. Ur.  "Toward a Framework and 
Benchmark for Testing Tools for Multi-Threaded Programs" in Concurrency and 
Computation: Practice and Experience, 19(3): 267-279. 2006.

[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.
