{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:22:04Z","timestamp":1725477724698},"publisher-location":"Boston, MA","reference-count":18,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387393872"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-39388-9_22","type":"book-chapter","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T12:55:34Z","timestamp":1168952134000},"page":"223-235","source":"Crossref","is-referenced-by-count":1,"title":["Minimizing Test Execution Time During Test Generation"],"prefix":"10.1007","author":[{"given":"Tilo","family":"M\u00fccke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michaela","family":"Huhn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"M\u00fccke, T., Huhn, M.: Generation of optimized testsuites for UML statecharts with time. In Groz, R., Hierons, R.M., eds.: TestCom. Volume 2978 of LNCS., Springer (2004) 128\u2013143"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Engels, A., Feijs, L., Mauw, S.: Test generation for intelligent networks using model checking. In Brinksma, E., ed.: Tools and Algorithms for the Construction and Analysis of Systems. (1997)","DOI":"10.1007\/BFb0035401"},{"key":"22_CR3","unstructured":"Rayadurgan, S., Heimdahl, M.: Coverage based test-case generation using model checkers. In: Intl. Conf. and Workshop on the Engineering of Computer Based Systems. (2001) 83\u201393"},{"key":"22_CR4","unstructured":"Hong, H., Lee, I., Sokolsky, O., Cha, S.: Automatic test generation from statecharts using model checking. In Brinksma, E., Tretmans, J., eds.: Workshop on Formal Approaches to Testing of Software (FATES). (2001) 15\u201330"},{"key":"22_CR5","unstructured":"Pretschner, A.: Classical search strategies for test case generation with constraint logic programming. In Brinksma, E., Tretmans, J., eds.: Workshop on Formal Approaches to Testing of Software (FATES). (2001) 47\u201360"},{"issue":"7","key":"22_CR6","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"K.N. King","year":"1991","unstructured":"King, K.N., Offutt, A.J.: A Fortran language system for mutation-based software testing. Software-Practice & Experience 21(7) (1991) 685\u2013718","journal-title":"Software-Practice & Experience"},{"key":"22_CR7","unstructured":"Heimdahl, M.P., Devaraj, G., Weber, R.J.: Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In: Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering (HASE), Tampa, Florida (2004)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P., Devaraj, G.: Test-suite reduction for model based tests: Effects on test quality and implications for testing. In Wiels, V., Stirewalt, K., eds.: Proc. of the 19th IEEE Intern. Conference on Automated Software Engineering (ASE), Linz, Austria (2004)","DOI":"10.1109\/ASE.2004.1342735"},{"key":"22_CR9","unstructured":"OMG: Unified modeling language specification (2003) Version 1.5."},{"issue":"1\u20132","key":"22_CR10","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1(1\u20132) (1997) 134\u2013152","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"22_CR11","unstructured":"Diethers, K., Goltz, U., Huhn, M.: Model checking UML statecharts with time. In J\u00e9z\u00e9quel, J.M., Hu\u00dfmann, H., Cook, S., eds.: UML 2002, Workshop on Critical Systems Development with UML. (2002)"},{"key":"22_CR12","unstructured":"Diethers, K., Huhn, M.: Vooduu: Verification of object-oriented designs using uppaal. In Jensen, K., Podelski, A., eds.: TACAS. Volume 2988 of Lecture Notes in Computer Science., Springer (2004) 139\u2013143"},{"key":"22_CR13","unstructured":"Robinson-Mallett, C., Liggesmeyer, P., M\u00fccke, T., Goltz, U.: Generating optimal distinguishing sequences with a model checker. In: A-MOST\u2019 05: Proceedings of the 1st International Workshop on Advances in Model-based Testing, New York, NY, USA, ACM Press (2005) 1\u20137"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Sugeta, T., Maldonado, J.C., Wong, W.E.: Mutation testing applied to validate SDL specifications. In Groz, R., Hierons, R.M., eds.: TestCom. Volume 2978 of LNCS., Springer (2004) 193\u2013208","DOI":"10.1007\/978-3-540-24704-3_13"},{"key":"22_CR15","unstructured":"Offutt, J., Pan, J., Voas, J.: Procedures for reducing the size of coverage-based test sets. In: Proceedings of the Twelfth International Conference on Testing Computer Software. (1995) 111\u2013123"},{"issue":"6","key":"22_CR16","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/43.31522","volume":"8","author":"P. Paulin","year":"1989","unstructured":"Paulin, P., Knight, J.: Force-directed scheduling for the behavioural synthesis of asics. IEEE Trans. on Computer-Aided Design 8(6) (1989) 661\u2013679","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"22_CR17","unstructured":"Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman and Company (1979)"},{"key":"22_CR18","first-page":"137","volume":"562","author":"J. Steiner","year":"2005","unstructured":"Steiner, J., Diethers, K., M\u00fccke, T., Goltz, U., Huhn, M.: Rigorous tool-supported software development of a robot control system. In: Robot Systems for Handling and Assembly, 2nd Colloquium of the Collaborative Research Center 562. (2005) 137\u2013152","journal-title":"Robot Systems for Handling and Assembly, 2nd Colloquium of the Collaborative Research Center"}],"container-title":["IFIP International Federation for Information Processing","Software Engineering Techniques: Design for Quality"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-39388-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T22:05:24Z","timestamp":1619561124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39388-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387393872"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39388-9_22","relation":{},"subject":[]}}