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

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

Raxextended appears to be a group calendar scheduling application.
It expresses a race condition in the concurrency making it useful
for experiments in thread safety and concurrency studies.

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