Sofya: Supporting rapid development of dynamic program analyses for Java

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 51-52

  Kinneer, Alex ^a   Dwyer, Matthew B ^a   Rothermel, Gregg ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENCY CONTROL; DYNAMIC ANALYSIS; JAVA PROGRAMMING LANGUAGE; REQUIREMENTS ENGINEERING; SOFTWARE ARCHITECTURE; SOFTWARE TESTING;

CONCURRENCY AWARE SUPPORT; DYNAMIC PROGRAM ANALYSES; SOFTWARE VALIDATION;

COMPUTER SOFTWARE MAINTENANCE;

EID: 34548757896     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSECOMPANION.2007.68     Document Type: Conference Paper

References (7)

1. M. B. Dwyer, A. Kinneer, and S. Elbaum. Adaptive online program analysis. In Int'l. Conf. Softw. Eng., 2007 (to appear).
2. K. Havelund and G. Roşu. An overview of the runtime verification tool Java PathExplorer. Formal Meth. Sys. Design, 24(2): 189-215, 2004.
3. H. Nishiyama. Detecting data races using dynamic escape analysis based on read barrier. In Proc. Virt. Machine Research and Tech. Symp., pages 127-138, 2004.
4. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In Symp. Princ. Prac. Par. Prog., 2003.
5. http://sofya.unl.edu.
6. L. Wang and S. D. Stoller. Runtime analysis of atomicity for multi-threaded programs. IEEE Trans. Softw. Eng., 32:93-110, Feb 2006.
7. W. Weimer and G. Necula. Mining temporal specifications for error detection. In Conf. Tools Alg. Constr. Anal. Sys., pages 461-476, April 2005.