{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:54:36Z","timestamp":1725594876131},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604068"},{"type":"electronic","value":"9783540455523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60406-5_24","type":"book-chapter","created":{"date-parts":[[2011,7,5]],"date-time":"2011-07-05T15:52:06Z","timestamp":1309881126000},"page":"343-361","source":"Crossref","is-referenced-by-count":0,"title":["An exploratory study of program metrics as predictors of reachability analysis performance"],"prefix":"10.1007","author":[{"given":"A. T.","family":"Chamillard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,18]]},"reference":[{"key":"24_CR1","volume-title":"Empirical Methods for Artificial Intelligence","author":"P. R. Cohen","year":"1995","unstructured":"Paul R. Cohen, Empirical Methods for Artificial Intelligence, The MIT Press, Massachusetts, 1995."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Matthew B. Dwyer, Lori A. Clarke, and Kari A. Nies. A compact petri net representation for concurrent programs. In Proceedings of the 17th International Conference on Software Engineering, pages 147\u2013157, Seattle WA, April 1995.","DOI":"10.1145\/225014.225028"},{"issue":"2","key":"24_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0164-1212(92)90090-7","volume":"17","author":"S. Damerla","year":"1992","unstructured":"Srinivasarao Damerla and Sol M. Shatz. Software complexity and Ada rendezvous: Metrics based on nondeterminism. Journal of Systems and Software, 17(2):119\u2013127, February 1992.","journal-title":"Journal of Systems and Software"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"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\u201352, Pittsburgh PA, May 1989.","DOI":"10.1109\/ICSE.1989.714392"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"David L. Levine and Richard N. Taylor. Metric-driven reengineering for static concurrency analysis. In Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA), pages 40\u201350, Cambridge MA, June 1993.","DOI":"10.1145\/154183.154196"},{"issue":"3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. L. Peterson","year":"1977","unstructured":"James L. Peterson. Petri nets. Computing Surveys, 9(3):223\u2013252, September 1977.","journal-title":"Computing Surveys"},{"issue":"5","key":"24_CR7","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0164-1212(88)90027-1","volume":"8","author":"S.M. Shatz","year":"1988","unstructured":"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\u2013359, December 1988.","journal-title":"The Journal of Systems and Software"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF00263928","volume":"19","author":"R. N. Taylor","year":"1983","unstructured":"Richard N. Taylor. Complexity of analyzing the synchronization structure of concurrent programs. Acta Informatica, 19:57\u201384, 1983.","journal-title":"Acta Informatica"},{"key":"24_CR9","volume-title":"Master's thesis","author":"G. K. Wampler","year":"1985","unstructured":"Gordon Kent Wampler. Static concurrency analysis of Ada programs. Master's thesis, University of California, Irvine, 1985."}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60406-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:53Z","timestamp":1549191233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60406-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604068","9783540455523"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-60406-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}