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

***orig***
LOC: 934 (noncomment Java source code)
Classes: 12
Methods: 97
Fields: 114
Statements: 552
wait() call: 0
notifyAll() call: 0
Sync blocks: 15
Thread start() calls: 4
New expressions: 29

The elevator program was created by WebWare Consulting and implements the
classic elevator algorithm as a concurrency example.
The version presented here was used as a test subject in reference [1]:

References:

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