Improving the accuracy of Petri net-based analysis of concurrent programs

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 24-38

  Chamillard, A T ^a   Clarke, Lori A ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SOFTWARE TESTING;

ADA PROGRAMS; CONCURRENT PROGRAM; INFEASIBLE PATHS; PROGRAM STATE; SEARCH SPACES; STATIC ANALYSIS METHOD;

STATIC ANALYSIS;

EID: 84977921639     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226299     Document Type: Conference Paper

References (25)

1. George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, and Jack C. Wileden. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Transactions on Software Engineering, 17(11):1204-1222, November 1991.
2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking . 1020 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 428-439, 1990.
3. Gianfranco Baibo, Susanna Donatelli, and Giuliana Franceschinis. Understanding parallel program behavior through petri net models. Journal of Parallel and Distributed Computing, 15(3):171-187, July 1992.
4. A.T. Chamillard. Improving static analysis accuracy on concurrent Ada programs: Complexity results and empirical findings. Technical Report TR 95-49, University of Massachusetts, Amherst, 1995.
5. S.C. Cheung and J. Kramer. Tractable flow analysis for anomaly detection in distributed programs. In Proceedings of the Software Engineering Conference, 1993.
6. Lori A. Clarke and Debra J. Richardson. Symbolic evaluation methods-implementations and applications. In Computer Program Testing, pages 65-102.
7. Chandrasekaran and Radicchi, editors, North-Holland Publishing Company, 1981.
8. James C. Corbett. Identical tasks and counter variables in an integer programming based approach to verification. In Proceedings of the Seventh International Workshop on Software Specification and Design, pages 100-109, Los Alamitos, California, December 1993.
9. S. Duri, U. Buy, R. Devarapalli, and S.M. Shatz. Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada. ACM Transactions on Software Engineering and Methodology, 3(4):340-380, October 1994.
10. Matthew B. Dwyer and Lori A. Clarke. Data flow analysis for verifying properties of concurrent programs. In Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 62-75, New Orleans, Louisiana, December 1994.
11. Matthew B. Dwyer, Lori A. Clarke, and Kari A. Nies. A compact petri net representation for concurrent programs. In Proceedings of the Seventeenth International Conference on Software Engineering, Seattle, Washington, April 1995.
12. Harold N. Gabow, Shachindra N. Maheshwari, and Leon J. Osterweil. On two problems in the generation of program test paths. IEEE Transactions on Software Engineering, SE-2(3):227-231, September 1976.
13. D. Helmbold and D.C. Luckham. Debugging Ada tasking programs. IEEE Software, pages 47-57, March 1985.
14. Douglas L. Long and Lori A. Clarke. Task interaction graphs for concurrency analysis. In Proceedings of the 11th International Conference on Software Engineering, pages 44-52, Pittsburgh PA, May 1989.
15. Stephen P. Masticola and Barbara G. Ryder. A model of Ada programs for static deadlock detection in polynomial time. In Proceedings of the Workshop on Parallel and Distributed Debugging, pages 97-107, May 1991.
16. Stephen P. Masticola and Barbara G. Ryder. Non-concurrency analysis. In Proceedings of the ACM Symposium on Principles and Practices of Parallel Programming (PPOPP), 1993.
17. James L. Peterson. Petri nets. Computing Surveys, 9(3):223-252, September 1977.
18. James L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
19. John H. Reif and Scott A. Smolka. Data flow analysis of distributed communicating processes. International Journal of Parallel Programming, 19(1):1-30, 1990.
20. S.M. Shatz and W.K. Cheng. A petri net framework for automated static analysis of Ada tasking behavior. The Journal of Systems and Software, 8(5):343-359, December 1988.
21. Richard N. Taylor. A general-purpose algorithm for analyzing concurrent programs. Communications of the ACM, 26(5):362-376, May 1983.
22. Richard Taylor. Complexity of analyzing the synchronization structure of concurrent programs. Acta lnformatica, 19:57-84, 1983.
23. Richard N. Taylor and Leon J. Osterweil. Anomaly detection in concurrent software by static data flow analysis. IEEE Transaction on Software Engineering, SE-6(3):265-277, May 1980.
24. Michal Young and Richard N. Taylor. Combining static concurrency analysis with symbolic execution. IEEE Transactions on Software Engineering, 14(10): 1499-1511, October 1988.
25. Michal Young, Richard N. Taylor, Kari Forester, and Debra Brodbeck. Integrated concurrency analysis in a software development environment. In Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis and Verification (TAV3), pages 200-209, 1989.