{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:57:07Z","timestamp":1743055027068,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319054155"},{"type":"electronic","value":"9783319054162"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05416-2_2","type":"book-chapter","created":{"date-parts":[[2014,4,5]],"date-time":"2014-04-05T05:41:09Z","timestamp":1396676469000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["With an Open Mind: How to Write Good Models"],"prefix":"10.1007","author":[{"given":"Cyrille","family":"Artho","sequence":"first","affiliation":[]},{"given":"Koji","family":"Hayamizu","sequence":"additional","affiliation":[]},{"given":"Rudolf","family":"Ramler","sequence":"additional","affiliation":[]},{"given":"Yoriyuki","family":"Yamagata","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,6]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)","edition":"1"},{"key":"2_CR2","series-title":"LNCS","first-page":"112","volume-title":"HVC 2013","author":"C Artho","year":"2013","unstructured":"Artho, C., Biere, A., Hagiya, M., Platon, E., Seidl, M., Tanabe, Y., Yamamoto, M.: Modbat: a model-based API tester for event-driven systems. In: Bertacco, V., Legay, A. (eds.) HVC 2013. LNCS, vol. 8244, pp. 112\u2013128. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Artho, C., Hagiya, M., Potter, R., Tanabe, Y., Weitl, F., Yamamoto, M.: Software model checking for distributed systems with selector-based, non-blocking communication. In: Proceedings of 28th International Conference on Automated Software Engineering (ASE 2013), Palo Alto, USA (2013)","key":"2_CR3","DOI":"10.1109\/ASE.2013.6693077"},{"doi-asserted-by":"crossref","unstructured":"Beatty, D., Bryant, R.: Formally verifying a microprocessor using a simulation methodology. In: Proceedings of 31st Conference on Design Automation (DAC 1994), San Diego, USA, pp. 596\u2013602 (1994)","key":"2_CR4","DOI":"10.1145\/196244.196575"},{"doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Eisner, C., Landver, A.: Rulebase: an industry-oriented formal verification tool. In: Proceedings of 33rd Conference on Design Automation (DAC 1996), Las Vegas, USA, pp. 655\u2013660 (1996)","key":"2_CR5","DOI":"10.1145\/240518.240642"},{"issue":"7","key":"2_CR6","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1016\/j.jss.2011.01.054","volume":"84","author":"A Bertolino","year":"2011","unstructured":"Bertolino, A., De Angelis, G., Di Sandro, A., Sabetta, A.: Is my model right? let me ask the expert. J. Syst. Softw. 84(7), 1089\u20131099 (2011)","journal-title":"J. Syst. Softw."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-1-4757-5939-6_5","volume-title":"Mutation Testing for the New Century Ages","author":"P Black","year":"2001","unstructured":"Black, P., Okun, V., Yesha, Y.: Mutation of model checker specifications for test generation and evaluation. In: Wong, E. (ed.) Mutation Testing for the New Century Ages, pp. 14\u201320. Kluwer Academic Publishers, Norwell (2001)"},{"issue":"4","key":"2_CR8","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-006-0010-7","volume":"18","author":"H Bowman","year":"2006","unstructured":"Bowman, H.: How to stop time stopping. Form. Asp. Comput. 18(4), 459\u2013493 (2006)","journal-title":"Form. Asp. Comput."},{"unstructured":"Bowman, H., Faconti, G., Katoen, J-P., Latella, D., Massink, M.: Automatic verification of a lip synchronisation algorithm using UPPAAL. In: Proceedings of 3rd International Workshop on Formal Methods for Industrial Critical Systems, CWI, pp. 97\u2013124 (1998)","key":"2_CR9"},{"doi-asserted-by":"crossref","unstructured":"Calikli, G., Bener, A.: Empirical analyses of the factors affecting confirmation bias and the effects of confirmation bias on software developer\/tester performance. In: Proceedings of 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010, pp. 10:1\u201310:11. ACM, New York (2010)","key":"2_CR10","DOI":"10.1145\/1868328.1868344"},{"issue":"5","key":"2_CR11","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"J Yue","year":"2011","unstructured":"Yue, J., Mark, H.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1232743.1232745","volume":"50","author":"J Kramer","year":"2007","unstructured":"Kramer, J.: Is abstraction the key to computing? Commun. ACM 50(4), 36\u201342 (2007)","journal-title":"Commun. ACM"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0065-2458(10)80003-8","volume":"80","author":"A Memon","year":"2010","unstructured":"Memon, A., Nguyen, B.: Advances in automated model-based system testing of software applications with a GUI front-end. Adv. Comput. 80, 121\u2013162 (2010)","journal-title":"Adv. Comput."},{"key":"2_CR14","volume-title":"Programming in Scala: A Comprehensive Step-by-Step Guide","author":"M Odersky","year":"2010","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala: A Comprehensive Step-by-Step Guide, 2nd edn. Artima Inc., Sunnyvale (2010)","edition":"2"},{"unstructured":"Oracle. Java Platform Standard Edition 7 API Specification. http:\/\/docs.oracle.com\/javase\/7\/docs\/api\/ (2013)","key":"2_CR15"},{"doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S., Ernst, M., Ball, T.: Feedback-directed random test generation. In: Proceedings of 29th International Conference on Software Engineering, ICSE 2007, pp. 75\u201384. IEEE Computer Society, Washington, DC (2007)","key":"2_CR16","DOI":"10.1109\/ICSE.2007.37"},{"unstructured":"Pill, I., Quaritsch, T.: Behavioral diagnosis of LTL specifications at operator level. In: Proceedings of 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China. IJCAI\/AAAI (2013)","key":"2_CR17"},{"doi-asserted-by":"crossref","unstructured":"Ramler, R., Winkler, D., Schmidt, M.: Random test case generation and manual unit testing: substitute or complement in retrofitting tests for legacy code? In: 36th Conference on Software Engineering and Advanced Applications, pp. 286\u2013293. IEEE Computer Society (2012)","key":"2_CR18","DOI":"10.1109\/SEAA.2012.42"},{"doi-asserted-by":"crossref","unstructured":"Ramler, R., Wolfmaier, K., Kopetzky, T.: A replicated study on random test case generation and manual unit testing: How many bugs do professional developers find? In: Proceedings of 37th Annual International Computer Software and Applications Conference, COMPSAC 2013, pp. 484\u2013491. IEEE Computer Society, Washington, DC (2013)","key":"2_CR19","DOI":"10.1109\/COMPSAC.2013.82"},{"issue":"7\u20138","key":"2_CR20","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1016\/j.scico.2010.11.004","volume":"77","author":"V Schuppan","year":"2012","unstructured":"Schuppan, V.: Towards a notion of unsatisfiable and unrealizable cores for LTL. Sci. Comput. Program. 77(7\u20138), 908\u2013939 (2012)","journal-title":"Sci. Comput. Program."},{"key":"2_CR21","first-page":"195","volume":"21","author":"B Steffen","year":"2012","unstructured":"Steffen, B., Howar, F., Isberner, M.: Active automata learning: from DFAs to interface programs and beyond. J. Mach. Learn. Res.-Proc. Track 21, 195\u2013209 (2012)","journal-title":"J. Mach. Learn. Res.-Proc. Track"},{"doi-asserted-by":"crossref","unstructured":"Taguchi, K., Nishihara, H., Aoki, T., Kumeno, F., Hayamizu, K., Shinozaki, K.: Building a body of knowledge on model checking for software development. In: Proceedings of 37th Annual International Computer Software and Applications Conference (COMPSAC 2013), Kyoto, Japan. IEEE (2013)","key":"2_CR22","DOI":"10.1109\/COMPSAC.2013.129"},{"key":"2_CR23","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006)"},{"issue":"5","key":"2_CR24","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng. J. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng. J."},{"issue":"5","key":"2_CR26","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/j.jss.2005.05.030","volume":"79","author":"Y Yu","year":"2006","unstructured":"Yu, Y., Lau, M.: A comparison of MC\/DC, MUMCUT and several other coverage criteria for logical decisions. J. Syst. Softw. 79(5), 577\u2013590 (2006)","journal-title":"J. Syst. Softw."}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05416-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T00:41:15Z","timestamp":1676853675000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05416-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319054155","9783319054162"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05416-2_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}