{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:09:56Z","timestamp":1743127796616,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_12","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T07:12:58Z","timestamp":1289459578000},"page":"228-249","source":"Crossref","is-referenced-by-count":8,"title":["Model-Based Mutation Testing of Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Brandl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabeth","family":"J\u00f6bstl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willibald","family":"Krenn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-10373-5_11","volume-title":"Formal Methods and Software Engineering","author":"B.K. Aichernig","year":"2009","unstructured":"Aichernig, B.K., Brandl, H., Krenn, W.: Qualitative action systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 206\u2013225. Springer, Heidelberg (2009)"},{"key":"12_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":"12_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 Journal\u00a021(1-2), 33\u201364 (2009)","journal-title":"Formal Aspects of Computing Journal"},{"key":"12_CR5","first-page":"131","volume-title":"Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing","author":"R.-J. Back","year":"1983","unstructured":"Back, R.-J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, Montreal, Quebec, Canada, pp. 131\u2013142. ACM, New York (1983)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated conformance verification of hybrid systems. In: QSIC (2010) (in press)","DOI":"10.1109\/QSIC.2010.53"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0096-0551(85)90011-6","volume":"10","author":"T.A. Budd","year":"1985","unstructured":"Budd, T.A., Gopal, A.S.: Program testing by specification mutation. Comput. Lang.\u00a010(1), 63\u201373 (1985)","journal-title":"Comput. Lang."},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11526841_16","volume-title":"FM 2005: Formal Methods","author":"M. Butler","year":"2005","unstructured":"Butler, M., Leuschel, M.: Combining CSP and B for specification and property verification. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)"},{"issue":"4","key":"12_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. DeMillo","year":"1978","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on test data selection: Help for the practicing programmer. IEEE Computer\u00a011(4), 34\u201341 (1978)","journal-title":"IEEE Computer"},{"issue":"4","key":"12_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"R.G. Hamlet","year":"1977","unstructured":"Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering\u00a03(4), 279\u2013290 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR11","first-page":"278","volume-title":"The theory of hybrid automata","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata, pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/357980.358021","volume":"26","author":"C.A.R. Hoare","year":"1983","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a026(1), 100\u2013106 (1983)","journal-title":"Commun. ACM"},{"key":"12_CR13","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"B. Kuipers","year":"1994","unstructured":"Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge (1994)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"12_CR15","unstructured":"R\u00f6nkk\u00f6, M., Ravn, A.P.: Switches and jumps in hybrid action systems. Technical Report 152, Turku Centre for Computer Science (1997)"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1016\/S0304-3975(02)00547-9","volume":"290","author":"M. R\u00f6nkk\u00f6","year":"2003","unstructured":"R\u00f6nkk\u00f6, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer Science\u00a0290, 937\u2013973 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"12_CR17","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"issue":"2-3","key":"12_CR18","first-page":"375","volume":"3","author":"M. Weiglhofer","year":"2009","unstructured":"Weiglhofer, M., Aichernig, B., Wotawa, F.: Fault-based conformance testing in practice. International Journal of Software and Informatics\u00a03(2-3), 375\u2013411 (2009)","journal-title":"International Journal of Software and Informatics"},{"key":"12_CR19","first-page":"154","volume-title":"COMPSAC (1)","author":"M. Weiglhofer","year":"2009","unstructured":"Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In: Ahamed, S.I., Bertino, E., Chang, C.K., Getov, V., Liu, L., Ming, H., Subramanyan, R. (eds.) COMPSAC (1), pp. 154\u2013159. IEEE Computer Society, Los Alamitos (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T00:45:32Z","timestamp":1553215532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}