{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:36:30Z","timestamp":1742967390439,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_20","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:51:44Z","timestamp":1315407104000},"page":"270-283","source":"Crossref","is-referenced-by-count":14,"title":["Fault-Based Generation of Test Cases from UML-Models \u2013 Approach and Some Experiences"],"prefix":"10.1007","author":[{"given":"Rupert","family":"Schlick","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Herzner","sequence":"additional","affiliation":[]},{"given":"Elisabeth","family":"J\u00f6bstl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W.: Efficient Mutation Killers in Action. In: Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation, ICST (March 2011) (in press)","DOI":"10.1109\/ICST.2011.57"},{"key":"20_CR2","unstructured":"Aichernig, B.K., Krenn, W.: Model-Based Generation of Test-Cases (for Embedded Systems) \u2013 State of the Art Survey. Deliverable 1.2 of EU FP7 project MOGENTES, http:\/\/www.mogentes.eu\/public\/deliverables\/MOGENTES_1-19a_1.1r_D1.2_Survey_Part-a.pdf"},{"issue":"1-2","key":"20_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s00165-008-0083-6","volume":"21","author":"Bernhard K. Aichernig","year":"2008","unstructured":"Aichernig, B.K., He, J.: Mutation testing in UTP. Journal of Formal Aspects of Computing\u00a021(1-2) (February 2009)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR4","first-page":"215","volume-title":"Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods","author":"B.K. Aichernig","year":"2007","unstructured":"Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Protocol conformance testing a SIP registrar: An industrial application of formal methods. In: Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods, pp. 215\u2013224. IEEE, London (2007)"},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R.J.R. Back","year":"1988","unstructured":"Back, R.J.R., Kurki-Suonio, F.: Distributed cooperation with action systems. ACM Trans. Program. Lang. Syst.\u00a010(4), 513\u2013554 (1988) ISSN 0164-0925","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054286","volume-title":"Mathematics of Program Construction","author":"M.M. Bonsangue","year":"1998","unstructured":"Bonsangue, M.M., Kok, J.N., Sere, K.: An approach to object-orientation in action systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol.\u00a01422, pp. 68\u201395. Springer, Heidelberg (1998)"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/QSIC.2010.53","volume-title":"Proceedings of the 2010 10th International Conference on Quality Software (QSIC 2010)","author":"H. Brandl","year":"2010","unstructured":"Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated Conformance Verification of Hybrid Systems. In: Proceedings of the 2010 10th International Conference on Quality Software (QSIC 2010), pp. 3\u201312. IEEE Computer Society, Los Alamitos (2010) ISBN 978-0-7695-4131-0"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1109\/TSE.2004.79","volume":"30","author":"L.C. Briand","year":"2004","unstructured":"Briand, L.C., Di Penta, M., Labiche, Y.: Assessing and improving state-based class testing: a series of experiments. IIEEE Trans. Software Eng.\u00a030, 770\u2013783 (2004)","journal-title":"IIEEE Trans. Software Eng."},{"issue":"6","key":"20_CR9","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1109\/TSE.2004.22","volume":"30","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, S., Groce, A., Jha, S., Veith, H.: Formal Verification of Software Components in C. Trans. of SW Engineering\u00a030(6), 388\u2013402 (2004)","journal-title":"Trans. of SW Engineering"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., Masiero, P.C.: Mutation testing applied to validate specifications based on statecharts. In: Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), Boca Raton, FL, USA, pp. S.210\u2013219","DOI":"10.1109\/ISSRE.1999.809326"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-45102-1_23","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"P. Fr\u00f6hlich","year":"2000","unstructured":"Fr\u00f6hlich, P., Link, J.: Automated test case generation from dynamic models. In: Hwang, J. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 472\u2013492. Springer, Heidelberg (2000)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Gnesi, S., Latella, D., Massink, M., Moruzzi, V., Pisa, I.: Formal test-case generation for uml statecharts. In: Proc. 9th IEEE Int. Conf. on Engineering of Complex Computer Systems 2004, pp. 75\u201384 (2004)","DOI":"10.1109\/ICECCS.2004.1310906"},{"key":"20_CR13","unstructured":"Jia, Y., Harman, M.: An Analysis and Survey of the Development of Mutation Testing. IEEE Transactions on Software Engineering\u00a0PP(99), 1"},{"key":"20_CR14","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J., Sandler, C.: The Art of Software Testing. John Wiley & Sons, Chichester (2004) ISBN 0471469122"},{"key":"20_CR15","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) ISBN 3-540-45762-3"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-540-39866-0_46","volume-title":"Perspectives of System Informatics","author":"D. Seifert","year":"2004","unstructured":"Seifert, D., Helke, S., Santen, T.: Test Case Generation for UML Statecharts. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 462\u2013468. Springer, Heidelberg (2004)"},{"issue":"12","key":"20_CR17","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1859204.1859226","volume":"53","author":"Z. Shao","year":"2010","unstructured":"Shao, Z.: Certified Software. Comm. ACM\u00a053(12), 56\u201366 (2010)","journal-title":"Comm. ACM"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-61042-1_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs, and quiescence. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 127\u2013146. Springer, Heidelberg (1996)"},{"key":"20_CR19","unstructured":"VIATRA, http:\/\/dev.eclipse.org\/viewcvs\/indextech.cgi\/gmt-home\/subprojects\/VIATRA2"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-642-15651-9_26","volume-title":"Computer Safety, Reliability, and Security","author":"D. Walter","year":"2010","unstructured":"Walter, D., T\u00e4ubig, H., L\u00fcth, C.: Experiences in applying formal verification in robotics. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 347\u2013360. Springer, Heidelberg (2010)"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-69073-3_17","volume-title":"Models in Software Engineering","author":"S. Wei\u00dfleder","year":"2008","unstructured":"Wei\u00dfleder, S., Schlingloff, B.H.: Deriving input partitions from UML models for automatic test generation. In: Giese, H. (ed.) MODELS 2008. LNCS, vol.\u00a05002, pp. 151\u2013163. Springer, Heidelberg (2008)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Yang, Q., Ma, D., Zhao, Y., Li, Z.: Towards a Formal Verification Approach for Implementation of Web Services Specifications. In: Proc. of 2010 IEEE Asia-Pacific Services Computing Conf., pp. 269\u2013276 (December 2010)","DOI":"10.1109\/APSCC.2010.14"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T23:27:15Z","timestamp":1741562835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}