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

***orig***
LOC: 128 (noncomment Java source code)
Classes: 11
Methods: 23
Fields: 19
Statements: 78
wait() call: 1
notifyAll() call: 1
Sync blocks: 8
Thread start() calls: 5
New expressions: 11

Raxextendedenvfirst is the same application as raxextended with
System.out statements retained and the instantiation of the Environment class
being performed earlier in the main.

Raxextendedenvfirst has two command line options, group count and wrap count.

References:

[1] M. B. Dwyer, and J. Hatcliff, and M. Hoosier, and V. Ranganath,
and Robby, and T. Wallentine. Evaluating the effectiveness of program
slicing for model reduction of concurrent object-oriented
programs. In Proc. of the Twelfth Int’l. Conf. Tools and
Algorithms for the Construction and Analysis of Systems,
2006. LNCS 3920.

[2] A. Groce and W. Visser. Heuristics for model checking java
programs. Int’l. Journal on Software Tools for Tech.
Transfer, 6(4):260–276, 2004.

[3] C. Pasareanu, M. B. Dwyer, and W. Visser. Finding feasible
abstract counter-examples. Int’l. Journal on Software Tools
for Tech. Transfer, 5(1):34–48, 2003.

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