Tracing the executions of concurrent programs

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 4, 2002, Pages 128-141

  Gunter, Elsa ^a   Peled, Doron ^b  

^a University Heights   (United States)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY CODES; COMPUTER AIDED SOFTWARE ENGINEERING; CONCURRENCY CONTROL; HEURISTIC METHODS; PROGRAM DEBUGGING; RELIABILITY;

CONCURRENT PROGRAMS; PATH CONDITIONS; SEQUENTIAL PROGRAMS; SOFTWARE DEBUGGING;

COMPUTER SOFTWARE;

EID: 1442316717     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80581-4     Document Type: Conference Paper

References (19)

1. Alur R., Holzmann G., Peled D. An analyzer for message sequence charts. Software: Concepts and Tools. 1:1996;70-77
2. Apt K.R., Olderog E.R. Verification of Sequential and Concurrent Programs. 1991;Springer-Verlag. second edition, 1997
3. Bultan T., Gerber R., Pugh W. Model-checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations. approximations, and experimental results, TOPLAS. 21:(4):1999;747-789
4. Clarke E.M., Emerson E.A. Design and synthesis of synchronization skeletons using branching time temporal logic. Workshop on Logic of Programs, Yorktown Heights, NY, Lecture Notes in Computer Science 131. 1981;52-71 Springer-Verlag
5. Emerson E.A., Clarke E.M. Characterizing correctness properties of parallel programs using fixpoints, International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 85. July 1980;169-181 Springer-Verlag
6. Fowler M., Scott K. UML Distilled: Applying the Standard Object Modeling Language. 1997;Addison-Wesley
7. Francez N. Program Verfication. 1992;Addison Wesley
8. Gansner E.R., North S.C. An open graph visualization system and its applications to software engineering, Software - Practice and Experience. 30:2000;1203-1233
9. Gerth R., Peled D., Vardi M.Y., Wolper P. Simple On-the-fly Automatic Verification of Linear Temporal Logic, PSTV95, Protocol Specification Testing and Verification. 1995;3-18 Chapman & Hall, Warsaw, Poland
10. P. Godefroid, Model checking for programming languages using Verisoft, POPL 1997, 174-186
11. G. Holzmann, Design and Validation of Computer Protocol, Prentice Hall
12. E. Gunter, D. Peled, Path Exploration Tool, TACAS 1999, LNCS 1579, Springer, 405-419
13. E. Gunter, D. Peled, Temporal debuging for concurrent systems, TACAS 2002, LNCS 2280, Springer, 431-444
14. King J.C. Symbolic execution and program testing, Communiucation of the ACM. 1976;385-394
15. ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993
16. Myers G.J. The Art of Software Testing. 1979;John Wiley and Sons
17. Selic B., Gullekson G., Ward P.T. Real-Time Object-Oriented Modeling. 1993;Wiley
18. N. Sharygina, D. Peled, A combined testing and verification approach for software reliability, FME 2001, LNCS 2021, 611-628
19. A. Pnueli, The temporal logic of programs, 18th IEEE symposium on Foundation of Computer Science, 1977, 46-57