{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:05:59Z","timestamp":1740096359045,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_6","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"87-103","source":"Crossref","is-referenced-by-count":19,"title":["A Generic Fault Model for Quality Assurance"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Pretschner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Holling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Eschbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Gemmar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1088","DOI":"10.1109\/TSE.2011.85","volume":"38","author":"A. Arcuri","year":"2012","unstructured":"Arcuri, A., Briand, L.: Formal analysis of the probability of interaction fault detection using random testing. IEEE Transactions on Software Engineering\u00a038(5), 1088\u20131099 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/TSE.2011.121","volume":"38","author":"A. Arcuri","year":"2012","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Random testing: Theoretical results and practical implications. IEEE Transactions on Software Engineering\u00a038(2), 258\u2013277 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR3","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. Addison-Wesley (1999)"},{"key":"6_CR4","first-page":"17","volume-title":"Proceedings of the IFIP TC6\/WG6.1 Fourth International Workshop on Protocol Test Systems IV","author":"G.v. Bochmann","year":"1992","unstructured":"Bochmann, G.v., Das, A., Dssouli, R., Dubuc, M., Ghedamsi, A., Luo, G.: Fault models in testing. In: Proceedings of the IFIP TC6\/WG6.1 Fourth International Workshop on Protocol Test Systems IV, pp. 17\u201330. North-Holland Publishing Co., Amsterdam (1992), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=648126.747577"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"B\u00fcchler, M., Oudinet, J., Pretschner, A.: Semi-automatic security testing of web applications from a secure model. In: 2012 IEEE Sixth International Conference on Software Security and Reliability (SERE), pp. 253\u2013262 (2012)","DOI":"10.1109\/SERE.2012.38"},{"key":"6_CR6","unstructured":"Ceccato, M., Tonella, P., Ricca, F.: Is aop code easier or harder to test than oop code? In: On-line Proceedings of the First Workshop on Testing Aspect-Oriented Programs (WTAOP 2005) (March 2005)"},{"issue":"11","key":"6_CR7","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1109\/32.177364","volume":"18","author":"R. Chillarege","year":"1992","unstructured":"Chillarege, R., Bhandari, I.S., Chaar, J.K., Halliday, M.J., Moebus, D.S., Ray, B.K., Wong, M.Y.: Orthogonal Defect Classification-A Concept for In-Process Measurements. IEEE Trans. Softw. Eng.\u00a018(11), 943\u2013956 (1992), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/32.177364","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.415","volume":"21","author":"I. Ciupa","year":"2011","unstructured":"Ciupa, I., Pretschner, A., Oriol, M., Leitner, A., Meyer, B.: On the number and nature of faults found by random testing. Softw. Test. Verif. Reliab.\u00a021(1), 3\u201328 (2011)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"6_CR9","unstructured":"Dupuy, A., Leveson, N.: An empirical evaluation of the mc\/dc coverage criterion on the hete-2 satellite software. In: Proceedings of the 19th Digital Avionics Systems Conference, DASC 2000, vol.\u00a01, pp. 1B6\/1\u20131B6\/7 (2000)"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"M.E. Fagan","year":"1976","unstructured":"Fagan, M.E.: Design and code inspections to reduce errors in program development. IBM Syst. J.\u00a015(3), 182\u2013211 (1976), \n                    \n                      http:\/\/dx.doi.org\/10.1147\/sj.153.0182","journal-title":"IBM Syst. J."},{"issue":"5","key":"6_CR11","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/32.815325","volume":"25","author":"W.J. Gutjahr","year":"1999","unstructured":"Gutjahr, W.J.: Partition testing vs. random testing: The influence of uncertainty. IEEE Trans. Softw. Eng.\u00a025(5), 661\u2013674 (1999), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/32.815325","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"04","key":"6_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MDT.2003.1214351","volume":"20","author":"I.G. Harris","year":"2003","unstructured":"Harris, I.G.: Fault models and test generation for hardware-software covalidation. IEEE Des. Test\u00a020(04), 40\u201347 (2003), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/MDT.2003.1214351\n                    \n                    \n                  , doi:10.1109\/MDT.2003.1214351","journal-title":"IEEE Des. Test"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Heimdahl, M., Whalen, M., Rajan, A., Staats, M.: On mc\/dc and implementation structure: An empirical study. In: IEEE\/AIAA 27th Digital Avionics Systems Conference, DASC 2008, pp. 5.B.3\u20131\u20135.B.3\u201313 (2008)","DOI":"10.1109\/DASC.2008.4702848"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"D.R. Kuhn","year":"2004","unstructured":"Kuhn, D.R., Wallace, D.R., Gallo Jr., A.M.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng.\u00a030(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/1346281.1346323","volume-title":"Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XIII","author":"S. Lu","year":"2008","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XIII, pp. 329\u2013339. ACM, New York (2008), \n                    \n                      http:\/\/dx.doi.org\/10.1145\/1346281.1346323"},{"key":"6_CR16","unstructured":"Ma, Y.-S., Kwon, Y.-R., Offutt, J.: Inter-class mutation operators for java. In: ISSRE, pp. 352\u2013366 (2002)"},{"issue":"4","key":"6_CR17","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1109\/TR.2002.804489","volume":"51","author":"Y. Malaiya","year":"2002","unstructured":"Malaiya, Y., Li, M., Bieman, J., Karcich, R.: Software reliability growth with test coverage. IEEE Transactions on Reliability\u00a051(4), 420\u2013426 (2002)","journal-title":"IEEE Transactions on Reliability"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1145\/1242572.1242663","volume-title":"Proceedings of the 16th International Conference on World Wide Web, WWW 2007","author":"E. Martin","year":"2007","unstructured":"Martin, E., Xie, T.: A fault model and mutation testing of access control policies. In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, pp. 667\u2013676. ACM, New York (2007), \n                    \n                      http:\/\/dx.doi.org\/10.1145\/1242572.1242663"},{"issue":"11","key":"6_CR19","doi-asserted-by":"publisher","first-page":"1286","DOI":"10.1109\/T-C.1971.223129","volume":"C-20","author":"E. McCluskey","year":"1971","unstructured":"McCluskey, E., Clegg, F.W.: Fault equivalence in combinational logic networks. IEEE Transactions on Computers\u00a0C-20(11), 1286\u20131293 (1971)","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Mockus, A., Nagappan, N., Dinh-Trong, T.T.: Test coverage and post-verification defects: A multiple case study. In: Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, pp. 291\u2013301 (2009)","DOI":"10.1109\/ESEM.2009.5315981"},{"key":"6_CR21","first-page":"2","volume-title":"Proceedings of the 4th Conference on USENIX Symposium on Internet Technologies and Systems, USITS 2003","author":"K. Nagaraja","year":"2003","unstructured":"Nagaraja, K., Li, X., Bianchini, R., Martin, R.P., Nguyen, T.D.: Using fault injection and modeling to evaluate the performability of cluster-based services. In: Proceedings of the 4th Conference on USENIX Symposium on Internet Technologies and Systems, USITS 2003, vol.\u00a04, p. 2. USENIX Association, Berkeley (2003), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=1251460.1251462"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/ISSRE.2001.989461","volume-title":"Proceedings of the 12th International Symposium on Software Reliability Engineering, ISSRE 2001","author":"J. Offutt","year":"2001","unstructured":"Offutt, J., Alexander, R., Wu, Y., Xiao, Q., Hutchinson, C.: A fault model for subtype inheritance and polymorphism. In: Proceedings of the 12th International Symposium on Software Reliability Engineering, ISSRE 2001, pp. 84\u201395. IEEE Computer Society, Washington, DC (2001), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=851028.856258"},{"issue":"6","key":"6_CR23","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM\u00a031(6), 676\u2013686 (1988), \n                    \n                      http:\/\/dx.doi.org\/10.1145\/62959.62964","journal-title":"Commun. ACM"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Prenninger, W., Wagner, S., K\u00fchnel, C., Baumgartner, M., Sostawa, B., Z\u00f6lch, R., Stauner, T.: One evaluation of model-based testing and its automation. In: Proceedings of the 27th International Conference on Software Engineering, pp. 392\u2013401 (2005)","DOI":"10.1145\/1062455.1062529"},{"issue":"7","key":"6_CR25","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. Weyuker","year":"1991","unstructured":"Weyuker, E., Jeng, B.: Analyzing partition testing strategies. IEEE Transaction on Software Engineering\u00a017(7), 703\u2013711 (1991)","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"4","key":"6_CR26","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv.\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:30:00Z","timestamp":1558078200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}