{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:47Z","timestamp":1725663227972},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540516354"},{"type":"electronic","value":"9783540467236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51635-2_55","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:09:29Z","timestamp":1330186169000},"page":"469-486","source":"Crossref","is-referenced-by-count":4,"title":["Validation of concurrent Ada\u2122 programs using symbolic execution"],"prefix":"10.1007","author":[{"given":"Sandro","family":"Morasca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Billington J., Wheeler G. R., Wilbur-Ham M. C., PROTEAN: a High-level Petri Net Tool for the Specification and Verification of Communication Protocol. IEEE Transactions on Software Engineering, vol. SE-14, March 1988.","DOI":"10.1109\/32.4651"},{"key":"27_CR2","unstructured":"Bristow G., Drey C., Edwards B., Riddle W., Anomaly Detection in Concurrent Programs, Proceedings of the 4 th International Conference on Software Engineering, Munich 1979."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Bruno G., Marchetto G., Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems. IEEE Transactions on Software Engineering, vol. SE12, February 1986.","DOI":"10.1109\/TSE.1986.6312948"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Clarke L. A., A System to Generate Test Data and Symbolically Execute Programs. IEEE Transactions on Software Engineering, vol. SE2, n. 3, September 76.","DOI":"10.1109\/TSE.1976.233817"},{"key":"27_CR5","unstructured":"Clarke L. A., Richardson D. J., Symbolic Evaluation Method-Implementations and Applications. Proceedings of the Summer School on Computer Program Testing, June, 29th\u2013July, 3rd, 1981, Chandrasekaran and Radicchi eds., North Holland Publishing Company 1981."},{"key":"27_CR6","unstructured":"Clarke L. A., Richardson D. J., Symbolic Evaluation-an Aid to Testing and Verification. Software Validation, H. Hauser ed., North Holland Publishing Company 1984."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Dillon L. K., Kemmerer R. A., Harrison L. J., An Experience with two Symbolic Execution Based Approaches to Formal Verification of Ada Tasking Programs. Proceedings of the 2nd Workshop on Software Testing, Verification and Analysis. 19\u201321 July 1988 Banff \u2014 Canada. IEEE Press.","DOI":"10.1109\/WST.1988.5363"},{"key":"27_CR8","unstructured":"Reference Manual for the Ada Programming Language. United States-Department of Defence, ANSI\/MIL-STD 1815, January 1983."},{"key":"27_CR9","unstructured":"Genrich H. J., Net Theory and Application. Information Processing 86., H. J. Kugler ed., Elsevier Science Publisher B. V. (North Holland)."},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"German S. M., Monitoring for Deadlock and Blocking in Ada Tasking, IEEE Transactions on Software Engineering, vol. SE10, n. 6, November 1984.","DOI":"10.1109\/TSE.1984.5010305"},{"key":"27_CR11","unstructured":"Ghezzi C., Mandrioli D., Morasca S., Pezz\u00e8 M., On Introducing Time in Petri Nets. 5th International Workshop on Software Specification and Design, Pittsburgh, 19\u201320 May 1989."},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Ghezzi C., Mandrioli D., Morasca S., Pezz\u00e8 M., Symbolic Execution of Concurrent Programs Using Petri Nets. to appear in Computer Languages, 1989.","DOI":"10.1016\/0096-0551(89)90023-4"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Hantler, King J. C., An Introduction to Proving the Correctness of Programs. Computing Surveys, vol. 8, n.3, September 1976.","DOI":"10.1145\/356674.356677"},{"key":"27_CR14","unstructured":"Howden W. E., A Survey of Static Analysis Methods. In: Tutorial: Software Testing and Validation Techniques, Miller and Howden (eds), IEEE Computer Society Press, 1988."},{"key":"27_CR15","unstructured":"Howden W. E., A Survey of Dynamic Analysis Methods. In: Tutorial: Software Testing and Validation Techniques, Miller and Howden (eds), IEEE Computer Society Press, 1988."},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, part I","author":"K. Jensen","year":"1987","unstructured":"Jensen K., Coloured Petri Nets. In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, part I, W. Brauer, W. Reisig, G. Rozenberg (eds.), Lecture Notes in Computer Science 254, Berlin, Heidelberg, New York; Springer Verlag 1987."},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Kemmerer R. A., Testing Formal Specifications to Detect Design Errors. IEEE Transactions on Software Engineering, vol. SE11, n. 1, January 1985.","DOI":"10.1109\/TSE.1985.231535"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Kemmerer R. A., Eckmann S. T., UNISEX: a Unix-based Symbolic Executor for Pascal. Software Practice and Experience, vol. 15, May 1985.","DOI":"10.1002\/spe.4380150504"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"King J. C., Symbolic Execution and Program Testing. Communications of the ACM, vol. 19, n. 7, July 1976.","DOI":"10.1145\/360248.360252"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Mandrioli D., Zicari R., Ghezzi C., Tisato F., Modeling the Ada Task System by Petri Nets. Computer Languages, vol. 10, No. 1, 1985.","DOI":"10.1016\/0096-0551(85)90010-4"},{"key":"27_CR21","unstructured":"Morasca S., Pezz\u00e8 M., The Rationale of an Environment for Real Time Specifications. Proceedings of Euromicro 89 Workshop on Real-time, June 14th\u201316th, Como (Italy) IEEE Computer Society Press 1989."},{"key":"27_CR22","unstructured":"Pezz\u00e8 M., Un Modello per la Specifica e la Valutazione Simbolica di Sistemi Concorrenti ed in Tempo Reale. Politecnico di Milano \u2014 Dipartimento di Elettronica, Ph. D. Thesis (in Italian)."},{"key":"27_CR23","unstructured":"Tai K. C., Obaid E. E., Reproducible Testing of AdaTask Programs. Proceedings of IEEE Second International Conference on Ada Applications and Environments, April 8\u201310, 1986."},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"Taylor R. N., A General-Purpose Algorithm for Analyzing Concurrent Programs. Communications of ACM, vol. 26, n. 5, May 1983.","DOI":"10.1145\/69586.69587"}],"container-title":["Lecture Notes in Computer Science","ESEC '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51635-2_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:22:12Z","timestamp":1605630132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51635-2_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540516354","9783540467236"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-51635-2_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}