{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:53:52Z","timestamp":1725666832190},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642285394"},{"type":"electronic","value":"9783642285400"}],"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-28540-0_4","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T14:48:22Z","timestamp":1331218102000},"page":"46-60","source":"Crossref","is-referenced-by-count":2,"title":["Software Reliability Testing Covering Subsystem Interactions"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Meitner","sequence":"first","affiliation":[]},{"given":"Francesca","family":"Saglietti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Alexander, R.T., Offutt, A.J.: Coupling-based Testing of O-O Programs. Journal of Universal Computer Science\u00a010(4) (2004)"},{"key":"4_CR2","unstructured":"Hartung, J.: Statistik. Oldenbourg (1995)"},{"key":"4_CR3","unstructured":"Ehrenberger, W.: Software-Verifikation. Hanser Verlag (2002)"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<133::AID-STVR162>3.0.CO;2-M","volume":"8","author":"Z. Jin","year":"1998","unstructured":"Jin, Z., Offutt, A.J.: Coupling-based Criteria for Integration Testing. Software Testing, Verification & Reliability\u00a08(3), 133\u2013154 (1998)","journal-title":"Software Testing, Verification & Reliability"},{"key":"4_CR5","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 (2005)"},{"key":"4_CR6","unstructured":"Law, A.M., Kelton, W.D.: Simulation, Modeling and Analysis. McGraw-Hill (2000)"},{"key":"4_CR7","unstructured":"Littlewood, B., Wright, D.: Stopping Rules for Operational Testing of Safety Critical Software. In: 25th International Symposium Fault Tolerant Computing, FCTS 25 (1995)"},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"M.W. Maier","year":"1998","unstructured":"Maier, M.W.: Architecting Principles for Systems-of-Systems. Systems Engineering\u00a01(4), 267\u2013284 (1998)","journal-title":"Systems Engineering"},{"key":"4_CR9","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)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Parnas, D., van Schouwen, J., Kwan, S.: Evaluation of Safety-critical Software. Communications of the ACM\u00a033(6) (1990)","DOI":"10.1145\/78973.78974"},{"volume-title":"Verification and Validation of Real-time Software","year":"1985","key":"4_CR11","unstructured":"Quirk, W.J. (ed.): Verification and Validation of Real-time Software. Springer, Heidelberg (1985)"},{"key":"4_CR12","unstructured":"Rapps, S., Weyuker, E.J.: Data Flow Analysis Techniques for Test Data Selection. In: 6th International Conference on Software Engineering, ICSE 1982 (1982)"},{"key":"4_CR13","unstructured":"Rehman, M., Jabeen, F., Bertolino, A., Polini, A.: Software Component Integration Testing: A Survey. Journal of Software Testing, Verification, and Reliability, STVR (2006)"},{"key":"4_CR14","unstructured":"Saglietti, F., Oster, N., Pinte, F.: Interface Coverage Criteria Supporting Model-Based Integration Testing. In: Workshop Proceedings of the 20th International Conference on Architecture of Computing Systems (ARCS 2007), VDE (2007)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"S\u00f6hnlein, S., Saglietti, F., Meitner, M., Bitzer, F.: Bewertung der Zuverl\u00e4ssigkeit von Software, Automatisierungstechnische Praxis, 52. Jahrgang, 6\/2010, 32-39, Oldenbourg Industrieverlag (2010)","DOI":"10.17560\/atp.v52i06.401"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00402648","volume":"4","author":"A. Spillner","year":"1995","unstructured":"Spillner, A.: Test Criteria and Coverage Measures for Software Integration Testing. Software Quality Journal\u00a04, 275\u2013286 (1995)","journal-title":"Software Quality Journal"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"St\u00f6rmer, H.: Mathematische Theorie der Zuverl\u00e4ssigkeit. R. Oldenbourg (1970)","DOI":"10.1515\/9783112645420"},{"key":"4_CR19","unstructured":"Storm, R.: Wahrscheinlichkeitsrechnung, mathematische Statistik und Qualit\u00e4tskontrolle. Hanser Verlag (2007)"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28540-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T23:52:13Z","timestamp":1687305133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28540-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642285394","9783642285400"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28540-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}