Discovering thread interactions in a concurrent system

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn 2002-January, Issue , 2002, Pages 255-264

  Cook, Jonathan E ^a   Du, Zhidian ^a  

^a New Mexico State University   (United States)

Author keywords

Chromium; Reverse engineering; Yarn

Indexed keywords

CHROMIUM; YARN;

BEHAVIOR DISCOVERY; CONCURRENT SYSTEMS; CORRECT MODELS; MUTUAL EXCLUSIONS; SYSTEM BEHAVIORS;

REVERSE ENGINEERING;

EID: 0142149606     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2002.1173083     Document Type: Conference Paper

References (13)

1. R. Agraw al, D. Gunopulos, and F. Leymann. Mining Process Models from Workflo w Logs. Technical Report (draft technical report), IBM, September 1997.
2. G.S. Avrunin, U.A. Buy, J.C. Corbett, L.K. Dillon, and J.C. Wileden. Automated Analysis of Con-curren t Systems with the Constrained Expression T oolset. IEEE Transactions on Software Engineering, 17(11):1204-1222, November 1991.
3. P. Bates. Debugging Heterogenous Systems Using Event-Based Models of Behavior. In Pr ocedings of a Workshop on Parallel and Distributed Debugging, pages 11-22. ACM Press, 1989.
4. J.E. Cook, C. He, and C. Ma. Measuring Behavioral Correspondence to a Timed Concurrent Model. In Proc. 2001 International Conference on Software Maintenance, pages 332-341, November 2001.
5. J.E. Cook and A.L. Wolf. Disco veringModels of Softw are Processes from Event-Based Data. A CM T rans actions on Software Engineering and Methodology, 7(3):215-249, July 1998.
6. J.E. Cook and A.L. Wolf. Ev ent-Based Detection of Concurrency. In Proceedingsof the Sixth A CM SIG-SOFT Symposium on the Foundations of Soßware Engineering pages 35-45. Association for Computer Machinery, November 1998.
7. J.E. Cook and A.L. Wolf. Softmre Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. A CM Tnnsactions on Software Engineering and Methodology, 8(2):147-176, April 1999.
8. J. Cuny, G. Forman, A. Hough, J. Kundu, C. Lin, L. Snyder, and D. Stemple. The Adriane Debugger: Scalable Application of Event-Based Abstraction. In Proceedings of the A CM/ONR Workshop on Parallel and Distributed Debugging, pages 85-95. A CM Press, 1993.
9. J.L. Dévore. Probability and Statistics for Engineering and the Sciences. Brooks/Cole, Pacific Grove, California, 3rd edition, 1991.
10. G. Eisenhauer, W. Gu, E. Kraemer, K. Schw an, and J. Stask o. Online Displys of Parallel Programs: Problems and Solutions. In Proc. 1997 International Conference on Par olieland Distributed Pr ocessing Tech-niques and Applications, pages 11-20, July 1997.
11. L.J. Holtzblatt, R.L. Piazza, H.B. Reubenstein, S.N. Roberts, and D.R. Harris. Design Reco-ery for Distributed Systems. IEEE Transactions on Software Engineering 23(7):461-472, 1997.
12. R.J. LeBlanc and A.D. Robbins. Event-Driven Monitoring of Distributed Programs. In Pr oceedings of the Fifth International Conferenc e on Distributed Computing Systems, pages 515-522. IEEE Computer Society, May 1985.
13. S. Venkatesan and B. Dathan. Testing and Debugging Distributed Programs Using Global Predicates. IEEE T rans actions on Softwar Engineering, 21(2):163-177, 1995.