{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T09:05:13Z","timestamp":1726045513729},"publisher-location":"Cham","reference-count":78,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030310370"},{"type":"electronic","value":"9783030310387"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31038-7_2","type":"book-chapter","created":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T23:03:06Z","timestamp":1569193386000},"page":"22-38","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Testing Perspective on Algebraic, Denotational, and Operational Semantics"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"issue":"2\u20133","key":"2_CR1","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/s00165-003-0011-8","volume":"15","author":"BK Aichernig","year":"2003","unstructured":"Aichernig, B.K.: Mutation testing in the renement calculus. Formal Aspects Comput. 15(2\u20133), 280\u2013295 (2003)","journal-title":"Formal Aspects Comput."},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-39698-4_2","volume-title":"Theories of Programming and Formal Methods","author":"BK Aichernig","year":"2013","unstructured":"Aichernig, B.K.: Model-based mutation testing of reactive systems. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 23\u201336. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-39698-4_2"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Arbab, F., Astefanoaei, L., de Boer, F.S., Sun, M., Rutten, J.: Fault-based test case generation for component connectors. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29\u201331 July , pp. 147\u2013154. IEEE Computer Society, July 2009","DOI":"10.1109\/TASE.2009.14"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Bloem, R., Ebrahimi, M., Tappler, M., Winter, J.: Automata learning for symbolic execution. In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2 2018, pp. 1\u20139. IEEE (2018)","DOI":"10.23919\/FMCAD.2018.8602991"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-17071-3_12","volume-title":"Formal Methods for Components and Objects","author":"BK Aichernig","year":"2010","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W.: Model-based mutation testing of hybrid systems. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 228\u2013249. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-17071-3_12"},{"key":"2_CR6","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, 21\u201325 March 2011, pp. 120\u2013129. IEEE Computer Society (2011)","DOI":"10.1109\/ICST.2011.57"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921559","volume":"36","author":"BK Aichernig","year":"2011","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W.: UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36(1), 1\u20138 (2011)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"2_CR8","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":"BK Aichernig","year":"2009","unstructured":"Aichernig, B.K., Brandl, H., Krenn, W.: Qualitative action systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 206\u2013225. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-10373-5_11"},{"key":"#cr-split#-2_CR9.1","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Brandl, H., Wotawa, F.: Conformance testing of hybrid systems with qualitative reasoning models. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), York, England, 22 March 2009, volume 253","DOI":"10.1016\/j.entcs.2009.09.051"},{"key":"#cr-split#-2_CR9.2","unstructured":"(2) of Electronic Notes in Theoretical Computer Science, pp. 53-69. Elsevier, October 2009"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-20652-9_1","volume-title":"NASA Formal Methods","author":"BK Aichernig","year":"2019","unstructured":"Aichernig, B.K., Burghard, C., Koro\u0161ec, R.: Learning-based testing of an industrial measurement device. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2019. LNCS, vol. 11460, pp. 1\u201318. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-20652-9_1"},{"key":"2_CR11","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":"BK 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. 3922, pp. 324\u2013338. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11693017_24"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., George, C.: When model-based testing fails. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Second Workshop on Model Based Testing 2006, volume 164 (4), Electronic Notes in Theoretical Computer Science, pp. 115\u2013128. Elsevier (2006)","DOI":"10.1016\/j.entcs.2006.09.009"},{"key":"2_CR13","unstructured":"Aichernig, B.K., Gerstinger, A., Aster, R.: Formal specification techniques as a catalyst in validation. In: Proceedings of the 5th IEEE High Assurance Systems Engineering Symposium (HASE 2000), Albuquerque, New Mexico, 15\u201317 November, pp. 203\u2013207. IEEE (2000)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-04167-9_4","volume-title":"Formal Methods for Components and Objects","author":"BK Aichernig","year":"2009","unstructured":"Aichernig, B.K., Griesmayer, A., Johnsen, E.B., Schlatte, R., Stam, A.: Conformance testing of distributed concurrent systems with executable designs. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 61\u201381. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-04167-9_4"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.07.002","volume":"243","author":"Bernhard Aichernig","year":"2009","unstructured":"Aichernig, B.K., Griesmayer, A., Schlatte, R., Stam, A.: Modeling and testing multi-threaded asynchronous systems with Creol. In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008), Istanbul, Turkey, 30 August 2008, volume 243 of Electronic Notes in Theoretical Computer Science, pp. 3\u201314. Elsevier, July 2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1\u20132","key":"2_CR16","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s00165-008-0083-6","volume":"21","author":"BK Aichernig","year":"2009","unstructured":"Aichernig, B.K., He, J.: Mutation testing in UTP. Formal Aspects Comput. 21(1\u20132), 33\u201364 (2009)","journal-title":"Formal Aspects Comput."},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38916-0_1","volume-title":"Tests and Proofs","author":"BK Aichernig","year":"2013","unstructured":"Aichernig, B.K., J\u00f6bstl, E., Kegele, M.: Incremental refinement checking for test case generation. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 1\u201319. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-38916-0_1"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-319-99933-3_11","volume-title":"Dependable Software Engineering. Theories, Tools, and Applications","author":"BK Aichernig","year":"2018","unstructured":"Aichernig, B.K., Kann, S., Schumi, R.: Statistical model checking of response times for different system deployments. In: Feng, X., M\u00fcller-Olm, M., Yang, Z. (eds.) SETTA 2018. LNCS, vol. 10998, pp. 153\u2013169. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-99933-3_11"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-38916-0_2","volume-title":"Tests and Proofs","author":"BK Aichernig","year":"2013","unstructured":"Aichernig, B.K., Lorber, F., Ni\u010dkovi\u0107, D.: Time for mutants\u2014model-based mutation testing with timed automata. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 20\u201338. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-38916-0_2"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-319-30734-3_4","volume-title":"Theory and Practice of Formal Methods","author":"BK Aichernig","year":"2016","unstructured":"Aichernig, B.K., Lorber, F., Tappler, M.: Conformance checking of real-time models. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 15\u201332. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-30734-3_4"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Maderbacher, B., Tiran, S.: Programming behavioral test models for SMT solving in Scala. In: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi\u2019an, China, 22\u201323 April 2019, pp. 52\u201360. IEEE (2019)","DOI":"10.1109\/ICSTW.2019.00032"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-319-96562-8_3","volume-title":"Machine Learning for Dynamic Software Analysis: Potentials and Limits","author":"BK Aichernig","year":"2018","unstructured":"Aichernig, B.K., Mostowski, W., Mousavi, M.R., Tappler, M., Taromirad, M.: Model learning and model-based testing. In: Bennaceur, A., H\u00e4hnle, R., Meinke, K. (eds.) Machine Learning for Dynamic Software Analysis: Potentials and Limits. LNCS, vol. 11026, pp. 74\u2013100. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-96562-8_3"},{"key":"2_CR23","unstructured":"Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Protocol conformance testing a SIP registrar: an industrial application of formal methods. In: Hinchey, M., Margaria,T. (eds.) Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, England, UK, 10\u201314 September 2007, pp. 215\u2013226. IEEE Computer Society, 2007"},{"key":"2_CR24","unstructured":"Aichernig, B.K., Salas, P.A.P.: Test case generation by OCL mutation and constraint solving. In: Cai, K.-Y., Ohnishi, A. (eds.) QSIC 2OO5, Fifth International Conference on Quality Software, Melbourne, Australia, 19\u201321 September 2005, pp. 64\u201371. IEEE Computer Society, 2005"},{"key":"2_CR25","unstructured":"Aichernig, B.K., Schumi, R.: Statistical model checking meets property-based testing. In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, 13\u201317 March 2017, pp. 390\u2013400. IEEE Computer Society, 2017"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-99154-2_3","volume-title":"Quantitative Evaluation of Systems","author":"BK Aichernig","year":"2018","unstructured":"Aichernig, B.K., Schumi, R.: How fast is MQTT? In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 36\u201352. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-99154-2_3"},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1007\/s10270-017-0647-0","volume":"18","author":"BK Aichernig","year":"2019","unstructured":"Aichernig, B.K., Schumi, R.: Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 18(2), 889\u2013911 (2019). Open Access","journal-title":"Softw. Syst. Model."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K.,Tappler, M.: Symbolic input-output conformance checking for model-based mutation testing. In: The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23\u201325 June 2015. Proceedings, Electronics Notes in Theoretical Computer Science, 320:3\u201319 (2016)","DOI":"10.1016\/j.entcs.2016.01.002"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-319-67531-2_4","volume-title":"Runtime Verification","author":"BK Aichernig","year":"2017","unstructured":"Aichernig, B.K., Tappler, M.: Probabilistic black-box reachability checking. In: Lahiri, S., Reger, G. (eds.) RV 2017. LNCS, vol. 10548, pp. 50\u201367. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-67531-2_4"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Eiglhofer, M., Peischl, B., Wotawa, F.: Test purpose generation in an industrial application. In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, 9\u201312 July, pp. 115\u2013125 (2007)","DOI":"10.1145\/1291535.1291547"},{"key":"#cr-split#-2_CR31.1","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Weiglhofer, M., Wotawa, F.: Improving fault-based conformance testing. In: Finkbeiner, B., Gurevich,Y., Petrenko, A.K. (eds.) Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008), volume 220","DOI":"10.1016\/j.entcs.2008.11.006"},{"key":"#cr-split#-2_CR31.2","unstructured":"(1) of Electronic Notes in Theoretical Computer Science, pp. 63-77. Elsevier (2008)"},{"issue":"2","key":"2_CR32","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"2_CR33","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. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, pp. 131\u2013142. ACM (1983)","DOI":"10.1145\/800221.806716"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The spec# programming system: an overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49\u201369. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-30569-9_3"},{"key":"2_CR36","volume-title":"Progamming Pearls","author":"J Bentley","year":"2000","unstructured":"Bentley, J.: Progamming Pearls, 2nd edn. Addison-Wesley, Boston (2000)","edition":"2"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193\u2013207. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-49059-0_14"},{"key":"2_CR38","unstructured":"Bloch, J.: Extra, extra - read all about it: Nearly all binary searches and mergesorts are broken. Google Research Blog, June 2006. \n                      http:\/\/googleresearch.blogspot.com\/2006\/06\/extra-extra-read-all-about-it-nearly.html\n                      \n                     (Accessed 17 Aug 2019)"},{"key":"2_CR39","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, 14\u201315 July 2010, pp. 3\u201312. IEEE Computer Society (2010)","DOI":"10.1109\/QSIC.2010.53"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model verifier. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495\u2013499. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-48683-6_44"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), Montreal, Canada, 18\u201321 September 2000, pp. 268\u2013279. ACM (2000)","DOI":"10.1145\/357766.351266"},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-31862-0_19","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"L Dan","year":"2005","unstructured":"Dan, L., Aichernig, B.K.: Combining algebraic and model-based test case generation. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 250\u2013264. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-31862-0_19"},{"issue":"10","key":"2_CR43","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: The humble programmer. Commun. ACM 15(10), 859\u2013866 (1972)","journal-title":"Commun. ACM"},{"key":"#cr-split#-2_CR44.1","doi-asserted-by":"crossref","unstructured":"Fraser, G., Aichernig, B.K., Wotawa, F.: Handling model changes: regression testing and test-suite update with model-checkers. In: Proceedings of the Third Workshop on Model Based Testing (MBT 2007), volume 190","DOI":"10.1016\/j.entcs.2007.08.004"},{"key":"#cr-split#-2_CR44.2","unstructured":"(2) of Electronic Notes in Theoretical Computer Science, pp. 33-46. Elsevier (2007)"},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M-C Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing can be formal, too. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 82\u201396. Springer, Heidelberg (1995). \n                      https:\/\/doi.org\/10.1007\/3-540-59293-8_188"},{"key":"2_CR46","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2010.08.047","volume":"266","author":"I Grabe","year":"2010","unstructured":"Grabe, I., et al.: Credo methodology: modeling and analyzing a peer-to-peer system in credo. Electron. Notes Theor. Comput. Sci. 266, 33\u201348 (2010). Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-642-02949-3_9","volume-title":"Tests and Proofs","author":"A Griesmayer","year":"2009","unstructured":"Griesmayer, A., Aichernig, B., Johnsen, E.B., Schlatte, R.: Dynamic symbolic execution for testing distributed objects. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 105\u2013120. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-02949-3_9"},{"key":"2_CR48","series-title":"The BCS Practitioners Series","volume-title":"The RAISE Development Method","author":"The RAISE Method Group","year":"1995","unstructured":"The RAISE Method Group: The RAISE Development Method. The BCS Practitioners Series. Prentice-Hall, Upper Saddle River (1995)"},{"key":"2_CR49","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall International, Upper Saddle River (1998)"},{"key":"2_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-40007-3_10","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"T Hoare","year":"2003","unstructured":"Hoare, T.: Towards the verifying compiler. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 151\u2013160. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-40007-3_10"},{"key":"2_CR51","unstructured":"H\u00f6rl, J., Aichernig, B.K.: Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods (abstract). In: Proceedings of the Fourth International Conference on Requirements Engineering (ICRE2000), Schaumburg, Illinois, 19\u201323 June 2000, pp. 190. IEEE (2000). Selected as one of three best papers"},{"issue":"3","key":"2_CR52","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.896246","volume":"17","author":"J H\u00f6rl","year":"2000","unstructured":"H\u00f6rl, J., Aichernig, B.K.: Validating voice communication requirements using lightweight formal methods. IEEE Softw. 17(3), 21\u201327 (2000). Best paper award at Fourth International Conference on Requirements Engineering (ICRE2000)","journal-title":"IEEE Softw."},{"key":"2_CR53","unstructured":"ISO. ISO 8807: Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour (1989)"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"J\u00f6bstl, E., Weiglhofer, M., Aichernig, B.K., Wotawa, F.: When BDDs fail: conformance testing with symbolic execution and SMT solving. In: Third International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, 7\u20139 April 2010, pp. 479\u2013488. IEEE Computer Society (2010)","DOI":"10.1109\/ICST.2010.48"},{"issue":"1","key":"2_CR55","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"EB Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Softw. Syst. Model. 6(1), 35\u201358 (2007)","journal-title":"Softw. Syst. Model."},{"key":"2_CR56","series-title":"Series in Computer Science","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Series in Computer Science, 2nd edn. Prentice-Hall, Upper Saddle River (1990)","edition":"2"},{"key":"#cr-split#-2_CR57.1","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, 22 March 2009, volume 253","DOI":"10.1016\/j.entcs.2009.09.052"},{"key":"#cr-split#-2_CR57.2","unstructured":"(2) of Electronic Notes in Theoretical Computer Science, pp. 71-86. Elsevier (2009)"},{"key":"2_CR58","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. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 186\u2013207. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-17071-3_10"},{"key":"2_CR59","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)"},{"issue":"7\/8","key":"2_CR60","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. Sci. Comput. Program. 77(7\/8), 799\u2013822 (2012)","journal-title":"Sci. Comput. Program."},{"key":"2_CR61","volume-title":"ScalaCheck: The Definitive Guide","author":"R Nilsson","year":"2014","unstructured":"Nilsson, R.: ScalaCheck: The Definitive Guide. IT Pro, Artima Incorporated, Walnut Creek (2014)"},{"key":"2_CR62","unstructured":"OMG. Object constraint language, version 2.2. Technical Report formal\/2010-02-01, Object Management Group, February 2010"},{"key":"2_CR63","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"2_CR64","volume-title":"Logik der Forschung","author":"K Popper","year":"2005","unstructured":"Popper, K.: Logik der Forschung, 10th edn. Mohr Siebeck, Heidelberg (2005)","edition":"10"},{"key":"2_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 338\u2013357. Springer, Heidelberg (2000). \n                      https:\/\/doi.org\/10.1007\/3-540-40911-4_20"},{"key":"2_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-85762-4_22","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"R Schlatte","year":"2008","unstructured":"Schlatte, R., Aichernig, B., de Boer, F., Griesmayer, A., Johnsen, E.B.: Testing concurrent objects with application-specific schedulers. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 319\u2013333. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-85762-4_22"},{"key":"2_CR67","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.entcs.2010.08.049","volume":"266","author":"R Schlatte","year":"2010","unstructured":"Schlatte, R., Aichernig, B., Griesmayer, A., Kyas, M.: Resource modeling for timed Creol models. Electron. Notes Theor. Comput. Sci. 266, 63\u201375 (2010)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-319-67549-7_18","volume-title":"Testing Software and Systems","author":"R Schumi","year":"2017","unstructured":"Schumi, R., Lang, P., Aichernig, B.K., Krenn, W., Schlick, R.: Checking response-time properties of web-service applications under stochastic user profiles. In: Yevtushenko, N., Cavalli, A.R., Yenig\u00fcn, H. (eds.) ICTSS 2017. LNCS, vol. 10533, pp. 293\u2013310. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-67549-7_18"},{"key":"2_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-24580-0_13","volume-title":"Testing Software and Systems","author":"C Schwarzl","year":"2011","unstructured":"Schwarzl, C., Aichernig, B.K., Wotawa, F.: Compositional random testing using extended symbolic transition systems. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 179\u2013194. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-24580-0_13"},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Tappler, M., Aichernig, B.K., Bloem, R.: Model-based testing IoT communication via active automata learning. In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, 13\u201317 March 2017, pp. 276\u2013287. IEEE Computer Society (2017)","DOI":"10.1109\/ICST.2017.32"},{"issue":"3","key":"2_CR71","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. - Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. - Concepts Tools"},{"key":"2_CR72","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, Burlington (2007)"},{"issue":"5","key":"2_CR73","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2011","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2011)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"2\u20133","key":"2_CR74","first-page":"375","volume":"3","author":"M Weiglhofer","year":"2009","unstructured":"Weiglhofer, M., Aichernig, B.K., Wotawa, F.: Fault-based conformance testing in practice. Int. J. Softw. Inform. 3(2\u20133), 375\u2013411 (2009). Special double issue on Formal Methods of Program Development edited by Dines Bjoerner","journal-title":"Int. J. Softw. Inform."}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31038-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T23:22:41Z","timestamp":1569194561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31038-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030310370","9783030310387"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31038-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"UTP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Unifying Theories of Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"utp2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cs.york.ac.uk\/circus\/utp2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}