{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:34Z","timestamp":1725636394749},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642248054"},{"type":"electronic","value":"9783642248061"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24806-1_27","type":"book-chapter","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T07:31:30Z","timestamp":1321860690000},"page":"353-362","source":"Crossref","is-referenced-by-count":2,"title":["Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents"],"prefix":"10.1007","author":[{"given":"Francesca","family":"Saglietti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"S\u00f6hnlein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimar","family":"Lill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Alexander, R.T., Offutt, A.J.: Coupling-based Testing of O-O Programs. Journal of Universal Computer Science\u00a010(4) (2004)","key":"27_CR1"},{"key":"27_CR2","series-title":"Analysis and Practical Use","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Contents","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Contents. Analysis and Practical Use. Springer, Heidelberg (1997)"},{"key":"27_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets - Modelling and Validation of Concurrent Systems","author":"K. Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Jin, Z., Offutt, A.J.: Coupling-based Criteria for Integration Testing; Software Testing. Verification & Reliability\u00a08(3) (1998)","key":"27_CR4","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<133::AID-STVR162>3.0.CO;2-M"},{"doi-asserted-by":"crossref","unstructured":"Jung, M., Saglietti, F.: Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults. In: 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005). IEEE Computer Society Press (2005)","key":"27_CR5","DOI":"10.1109\/HASE.2005.21"},{"unstructured":"Kreowski, H.-J.: Modeling Iteracting Logistic Processes by Communities of Autonomous Systems, talk on activities of DFG-SFB 637 (Selbststeuerung logistischer Prozesse). In: Chinese-German Symposion, Braunschweig (2010)","key":"27_CR6"},{"unstructured":"Meitner, M., Saglietti, F.: Software Reliability Assessment based on Operational Representativeness and Interaction Coverage. In: 24th International Conference on Architecture of Computing Systems, ARCS 2011. VDE Verlag (2011)","key":"27_CR7"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11875567_32","volume-title":"Computer Safety, Reliability, and Security","author":"N. Oster","year":"2006","unstructured":"Oster, N., Saglietti, F.: Automatic test data generation by multi-objective optimisation. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 426\u2013438. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Saglietti, F., Pinte, F.: Automated Unit and Integration Testing for Component-based Software Systems; Dependability and Security for Ressource Constrained Embedded Systems (D&S4RCES). ACM Digital Library (2010)","key":"27_CR9","DOI":"10.1145\/1868433.1868440"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-12104-3_5","volume-title":"Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance","author":"S. S\u00f6hnlein","year":"2010","unstructured":"S\u00f6hnlein, S., Saglietti, F., Bitzer, F., Meitner, M., Baryschew, S.: Software Reliability Assessment Based on the Evaluation of Operational Experience. In: M\u00fcller-Clostermann, B., Echtle, K., Rathgeb, E.P. (eds.) MMB&DFT 2010. LNCS, vol.\u00a05987, pp. 24\u201338. Springer, Heidelberg (2010)"},{"unstructured":"Zhu, H., He, X.: A Theory of Testing High-Level Petri Nets. In: 16th IFIP World Computer Congress (2000)","key":"27_CR11"},{"doi-asserted-by":"crossref","unstructured":"Zhu, H., He, X.: A methodology of testing high-Level Petri nets. Information and Software Technology\u00a044 (2002)","key":"27_CR12","DOI":"10.1016\/S0950-5849(02)00048-4"}],"container-title":["Studies in Computational Intelligence","Autonomous Systems: Developments and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24806-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T17:57:21Z","timestamp":1560967041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24806-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642248054","9783642248061"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24806-1_27","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2012]]}}}