A stateful approach to testing monitors in multithreaded programs

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2010, Pages 54-63

  Carver, Richard H ^a   Lei, Jeff ^b  

^a George Mason University   (United States)

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

Author keywords

Concurrent programming; Monitor; Reachability testing

Indexed keywords

CONCURRENT PROGRAMMING; CRITICAL STEPS; EMPIRICAL STUDIES; EXECUTION TIME; MONITOR; MULTI-THREADED PROGRAMS; REACHABILITY TESTING; STATE PRUNING; STATE SPACE; STORAGE COSTS; TESTING TECHNIQUE;

COMPUTER PROGRAMMING; SYSTEMS ENGINEERING; TESTING;

MULTITASKING;

EID: 79951874073     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2010.14     Document Type: Conference Paper

References (16)

1. R.-K. Doong and P. G. Frankl, "The ASTOOT approach to testing object-oriented programs," ACM Trans. Software Engineering Methodology, 3(2):101-130, 1994.
2. 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. 7th Int. Symposium on Software Reliability Engineering, New York, 1996.
3. T. Xie, D. Marinov, and D. Notkin, "Rostra: A framework for detecting redundant object-oriented unit tests," Proc. of the 19th IEEE Int. Conference on Automated Software Engineering (ASE), 2004.
4. R. H. Carver and Kuo-Chung Tai, "Replay and testing for concurrent programs," IEEE Software, March 1991, 66-74.
5. Y. Lei and R. H. Carver, "Reachability testing of concurrent programs," IEEE Transactions on Software Engineering, 32(6):382-403, 2006. (Pubitemid 44194206)
6. Richard H. Carver and Kuo-Chung Tai, Modern Multithreading, Wiley, 2005.
7. P. Brinch Hansen, "Reproducible testing of monitors," Software Practice and Experience, 8, 6 (November-December), 721-729, 1978.
8. Brad Long, Daniel Hoffman, and Paul Strooper, "Tool support for testing concurrent Java components," IEEE Transactions on Software Engineering, 29(6):555-566, 2003.
9. Yu Lei, Richard H. Carver, David Kung, Vidur Gupta, and Monica Hernandez, "A state exploration-based approach to testing Java monitors," Proc. Int. Symposium on Software Reliability Engineering (ISSRE), 256-265, 2006 (Pubitemid 47213963)
10. P. Godefroid, "Model checking for programming languages using VeriSoft," Proc. of the 24th ACM Symposium on Principles of Programming Languages, 174-186, 1997.
11. Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby, "Runtime model checking of multithreaded C/C++ programs," Technical Report UUCS-07-008, School of Computing, University of Utah, 2007.
12. C. Flanagan and P. Godefroid, "Dynamic partial order reduction for model checking software," Proc. 32nd Symp.on Principles of Programming Languages (POPL), 2005.
13. Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby, "Efficient stateful dynamic partial order reduction," 15th International SPIN Workshop on Model Checking of Software (SPIN), August 2008.
14. Xiaodong Yi, Ji Wang, and Xuejun Yang, "Stateful dynamic partial-order reduction," LNCS 4260, 2006, 149-167. (Pubitemid 44860751)
15. S. Christensen, L. M. Kristensen, and T. Mailund, "A sweepline method for state space exploration," Proc. Tools and Algorithms for the conctruction and Analysis of Systems, LNCS 2031, 2001, pp. 450 - 464, 2001 (Pubitemid 33254676)
16. L. M. Kristensen, and T. Mailund, "A generalized sweep-line method for safety properties," FME 2002, LNCS 2391, 2002, pp. 449 - 467.