{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T18:40:08Z","timestamp":1744051208418,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331817"},{"type":"electronic","value":"9783642331824"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","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-33182-4_2","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T21:30:53Z","timestamp":1346535053000},"page":"6-11","source":"Crossref","is-referenced-by-count":0,"title":["The Science of Killing Bugs in a Black Box"],"prefix":"10.1007","author":[{"given":"Bernhard Klaus","family":"Aichernig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/s00165-003-0011-8","volume":"15","author":"B.K. Aichernig","year":"2003","unstructured":"Aichernig, B.K.: Mutation Testing in the Refinement Calculus. Formal Aspects of Computing\u00a015(2-3), 280\u2013295 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W.: Efficient mutation killers in action. In: IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, March 21-25, pp. 120\u2013129. IEEE Computer Society (2011)","DOI":"10.1109\/ICST.2011.57"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/11693017_24","volume-title":"Fundamental Approaches to Software Engineering","author":"B.K. Aichernig","year":"2006","unstructured":"Aichernig, B.K., Delgado, C.C.: From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 324\u2013338. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s00165-008-0083-6","volume":"21","author":"B.K. Aichernig","year":"2009","unstructured":"Aichernig, B.K., He, J.: Mutation testing in UTP. Formal Aspects of Computing\u00a021(1-2), 33\u201364 (2009)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., J\u00f6bstl, E.: Efficient refinement checking for model-based mutation testing. In: Proceedings of the 12th International Conference on Quality Software (QSIC 2012). IEEE Computer Society (in press, 2012)","DOI":"10.1109\/QSIC.2012.58"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., J\u00f6bstl, E.: Towards symbolic model-based mutation testing: Combining reachability and refinement checking. In: 7th Workshop on Model-Based Testing (MBT 2012). EPTCS, vol.\u00a080, pp. 88\u2013102 (2012)","DOI":"10.4204\/EPTCS.80.7"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., J\u00f6bstl, E.: Towards symbolic model-based mutation testing: Pitfalls in expressing semantics as constraints. In: Workshops Proc. of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012), pp. 752\u2013757. IEEE Computer Society (2012)","DOI":"10.1109\/ICST.2012.169"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Salas, P.A.P.: Test case generation by OCL mutation and constraint solving. In: Cai, K.-Y., Ohnishi, A. (eds.) Fifth International Conference on Quality Software, QSIC 2005, Melbourne, Australia, September 19-21, pp. 64\u201371. IEEE Computer Society (2005)","DOI":"10.1109\/QSIC.2005.63"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Back, R.-J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 1983, pp. 131\u2013142. ACM (1983)","DOI":"10.1145\/800221.806716"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated conformance verification of hybrid systems. In: Wang, J., Chan, W.K., Kuo, F.-C. (eds.) Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, July 14-15, pp. 3\u201312. IEEE Computer Society (2010)","DOI":"10.1109\/QSIC.2010.53"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Gries, D.: The Science of Programming. Texts and Monographs in Computer Science. Springer (1981)","DOI":"10.1007\/978-1-4612-5983-1"},{"issue":"4","key":"2_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer (STTT)\u00a07(4), 297\u2013315 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y. Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering\u00a037(5), 649\u2013678 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Krenn, W., Aichernig, B.K.: Test case generation by contract mutation in Spec#. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), York, England, March 22. Electronic Notes in Theoretical Computer Science, vol.\u00a0253(2), pp. 71\u201386. Elsevier (October 2009)","DOI":"10.1016\/j.entcs.2009.09.052"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-17071-3_10","volume-title":"Formal Methods for Components and Objects","author":"W. Krenn","year":"2010","unstructured":"Krenn, W., Schlick, R., Aichernig, B.K.: Mapping UML to Labeled Transition Systems for Test-Case Generation \u2013 A Translation via Object-Oriented Action Systems. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 186\u2013207. Springer, Heidelberg (2010)"},{"issue":"7-8","key":"2_CR17","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1016\/j.scico.2011.04.002","volume":"77","author":"S. Meng","year":"2012","unstructured":"Meng, S., Arbab, F., Aichernig, B.K., Astefanoaei, L., de Boer, F.S., Rutten, J.: Connectors as designs: Modeling, refinement and test case generation. Science of Computer Programming\u00a077(7-8), 799\u2013822 (2012)","journal-title":"Science of Computer Programming"},{"key":"2_CR18","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers (2007)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability (2011)","DOI":"10.1002\/stvr.456"},{"issue":"2-3","key":"2_CR20","first-page":"375","volume":"3","author":"M. Weiglhofer","year":"2009","unstructured":"Weiglhofer, M., Aichernig, B.K., Wotawa, F.: Fault-based conformance testing in practice. International Journal of Software and Informatics\u00a03(2-3), 375\u2013411 (2009); Special double issue on Formal Methods of Program Development edited by Dines Bjoerner","journal-title":"International Journal of Software and Informatics"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33182-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T18:15:02Z","timestamp":1744049702000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-33182-4_2"}},"subtitle":["(Keynote Talk)"],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331817","9783642331824"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33182-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}