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

***orig***
LOC: 121 (noncomment Java source code)
Classes: 5
Methods: 22
Fields: 26
Statements: 31
wait() call: 0
notifyAll() call: 0
Sync blocks: 2
Thread start() calls: 1
New expressions: 13

The linkedlist program is based on the concurrent bug patterns described
in [1] and is a research object used in reference [2].

References:

[1] E. Farchi, and Y. Nir, and S. Ur. Concurrent bug patterns and how
to test them. In Proc. of the 17th Int’l. Symp. on Parallel and
Distributed Processing, 2003.

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