A state exploration-based approach to testing Java monitors

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2006, Pages 256-265

  Lei, Yu ^a   Carver, Richard ^b   Kung, David ^a   Gupta, Vidur ^a   Hernandez, Monica ^a  

^a The University of Texas at Arlington   (United States)

^b George Mason University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA MONITOR; MONITOREXPLORER; PROTOTYPE TOOL;

COMPUTER AIDED SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING; SOFTWARE TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 34547676155     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2006.9     Document Type: Conference Paper

References (13)

1. T. Ball, R. Majumdar, T. Millstein, and S. K. Rajamani, "Automatic predicate abstraction of C programs," In Proc. the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 203-213, 2001.
2. P. Brinch Hansen, "Reproducible testing of monitors," Software Practice and Experience, vol. 8, pp. 721-729, 1978.
3. Richard H. Carver and Kuo-Chung Tai, "Replay and Testing for Concurrent Programs," IEEE Software, March 1991, pp. 66-74.
4. R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol., 3(2):101-130, 1994.
5. Richard H. Carver and Kuo-Chung Tai, Modern Multithreading, Wiley, 2005.
6. J. Corbett, M. Dwyer, J. Hatcliff, C P. Robby, S, Laubach, and H. Zheng. "Bandera: Extracting Finite-state Models from Java Source Code," Proc. of the 22nd International Conference on Software Engineering, June, 2000.
7. P. Godefroid, "Model Checking for Programming Languages using VeriSoft," Proc. of the 24th ACM Symposium on Principles of Programming Languages, pp. 174-186, Paris, January 1997.
8. K. Havelund and Tom Pressburger. "Model Checking Java Programs Using Java PathFinder," International Journal on Software Tools for Technology Transfer (STTT), 2(4): 366-381, April 2000.
9. D. Kung, Y. Lu, N. Venugopalan, P. Hsia, Y. Toyoshima, C Chen, J. Gao, "Object state testing and fault analysis for reliable software systems," Proc. of 7th International Symposium on Software Reliability Engineering, White Plains, New York, Oct. 30 - Nov. 2, 1996.
10. B. Long, D. Hoffman, and P. Strooper, "Tool support for testing concurrent Java components", IEEE Trans. On Software Engineering, 29(6):555-566, 2003.
11. J. Magee and J. Kramer, "Concurrency: State Models & Java Programs", John Wiley & Sons, 1999.
12. Yu-Seung Ma, Jeff Offutt and Yong-Rae Kwon, "MuJava : An Automated Class Mutation System," Journal of Software Testing, Verification and Reliability, 15(2):97-133, June 2005.
13. μJava Home Page, http://ise.gmu.edu/~ofut/mujava/.