{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:49:39Z","timestamp":1767138579429,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319077840","type":"print"},{"value":"9783319077857","type":"electronic"}],"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-07785-7_3","type":"book-chapter","created":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T12:32:21Z","timestamp":1401798741000},"page":"48-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Logging to Facilitate Combinatorial System Testing"],"prefix":"10.1007","author":[{"given":"Peter M.","family":"Kruse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. S. Wishnu B.","family":"Prasetya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Elyasov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,4]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Soffa, M.L., Pollack, M.E.: Coverage criteria for GUI testing. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-9, pp. 256\u2013267. ACM, New York (2001)","DOI":"10.1145\/503209.503244"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43, 11:1\u201311:29 (2011)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M Grochtmann","year":"1993","unstructured":"Grochtmann, M., Grimm, K.: Classification trees for partition testing. Softw. Test. Verif. Reliab. 3(2), 63\u201382 (1993)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"JD Musa","year":"1993","unstructured":"Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Softw. 10(2), 14\u201332 (1993)","journal-title":"IEEE Softw."},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/s11633-007-0388-6","volume":"4","author":"RB Misra","year":"2007","unstructured":"Misra, R.B., Saravana Kumar, K.: Software operational profile based test case allocation using fuzzy logic. Int. J. Autom. Comput. 4(4), 388 (2007)","journal-title":"Int. J. Autom. Comput."},{"key":"3_CR6","unstructured":"Bach, J.: Exploratory testing explained (2003). http:\/\/www.satisfice.com\/articles\/et-article.pdf"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Interaction testing of highly-configurable systems in the presence of constraints. In: ISSTA \u201907: Proceedings of the 2007 International Symposium on Software Testing and Analysis, New York, NY, USA, pp. 129\u2013139 (2007)","DOI":"10.1145\/1273463.1273482"},{"key":"3_CR8","unstructured":"Lehmann, E., Wegener, J.: Test case design by means of the CTE XL. In: Proceedings of the 8th European International Conference on Software Testing, Analysis and Review (EuroSTAR 2000), Kopenhagen, Denmark, December 2000"},{"issue":"1","key":"3_CR9","first-page":"4","volume":"13","author":"PM Kruse","year":"2010","unstructured":"Kruse, P.M., Luniak, M.: Automated test case generation using classification trees. Softw. Qual. Prof. 13(1), 4\u201312 (2010)","journal-title":"Softw. Qual. Prof."},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/spe.4380250106","volume":"25","author":"GH Walton","year":"1995","unstructured":"Walton, G.H., Poore, J.H., Trammell, C.J.: Statistical testing of software based on a usage model. Softw. Pract. Exper. 25(1), 97\u2013108 (1995)","journal-title":"Softw. Pract. Exper."},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/32.988497","volume":"28","author":"S Elbaum","year":"2002","unstructured":"Elbaum, S., Malishevsky, A.G., Rothermel, G.: Test case prioritization: a family of empirical studies. IEEE Trans. Softw. Eng. 28(2), 159\u2013182 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0164-1212(00)00019-4","volume":"53","author":"S Amland","year":"2000","unstructured":"Amland, S.: Risk-based testing: risk analysis fundamentals and metrics for software testing including a financial application case study. J. Syst. Softw. 53(3), 287\u2013295 (2000)","journal-title":"J. Syst. Softw."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Kruse, P.M., Wegener, J.: Test sequence generation from classification trees. In: Proceedings of ICST 2012 Workshops (ICSTW 2012), Montreal, Canada (2012)","DOI":"10.1109\/ICST.2012.139"},{"key":"3_CR14","unstructured":"Conrad, M., Drr, H., Fey, I., Yap, A.: Model-based generation and structured representation of test scenarios. In: Proceedings of the Workshop on Software-Embedded Systems Testing, Gaithersburg, Maryland, USA (1999)"},{"key":"3_CR15","unstructured":"Prasetya, I.S.W.B., Middelkoop, A., Elyasov, A., Hage, J.: D6.1: FITTEST Logging Approach, Project no. 257574, FITTEST Future Internet Testing (2011)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Tonella, P., Marchetto, A., Nguyen, D.C., Jia, Y., Lakhotia, K., Harman, M.: Finding the optimal balance between over and under approximation of models inferred from execution logs. In: 2012 IEEE 5th International Conference on Software Testing, Verification and Validation, pp. 21\u201330. IEEE (2012)","DOI":"10.1109\/ICST.2012.82"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Singh, H., Conrad, M., Sadeghipour, S.: Test case design based on Z and the classification-tree method. In: Proceedings of the 1st International Conference on Formal Engineering Methods, ICFEM \u201997, pp. 81\u201390. IEEE Computer Society, Washington, DC (1997)","DOI":"10.1109\/ICFEM.1997.630406"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-44880-2_23","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"RM Hierons","year":"2003","unstructured":"Hierons, R.M., Harman, M.: Automatically generating information from a Z specification to support the classification tree method. In: Bert, D., Bowen, J.P., King, S., Wald\u00e9n, M. (eds.) ZB 2003. LNCS, vol. 2651, pp. 388\u2013407. Springer, Heidelberg (2003)"},{"issue":"11","key":"3_CR19","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/32.730544","volume":"24","author":"MS Feather","year":"1998","unstructured":"Feather, M.S.: Rapid application of lightweight formal methods for consistency analyses. IEEE Trans. Softw. Eng. 24(11), 949\u2013959 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Ducasse, S., Girba, T., Wuyts, R.: Object-oriented legacy system trace-based logic testing. In: 10th European Conference on Software Maintenance and Reengineering (CSMR). IEEE (2006)","DOI":"10.1109\/CSMR.2006.37"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Marchetto, A., Tonella, P., Ricca, F.: State-based testing of Ajax web applications. In: ICST, pp. 121\u2013130. IEEE (2008)","DOI":"10.1109\/ICST.2008.22"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: 30th International Conference on Software Engineering, pp. 501\u2013510. ACM (2008)","DOI":"10.1145\/1368088.1368157"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Nguyen, C.D., Marchetto, A., Tonella, P.: Combining model-based and combinatorial testing for effective test case generation. In: Proceedings of International Symposium on Software Testing and Analysis (ISSTA), Minneapolis, Minnesota, USA (2012)","DOI":"10.1145\/2338965.2336765"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Jain, S., Singh, I., Chandra, A., Zhang, Z.-L., Bronevetsky, G.: Extracting the textual and temporal structure of supercomputing logs. In: Yang, Y., Parashar, M., Muralidhar, R., Prasanna, V.K. (eds.) HiPC, pp. 254\u2013263. IEEE (2009)","DOI":"10.1109\/HIPC.2009.5433202"},{"issue":"1\u20133","key":"3_CR25","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"MD Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Future Internet Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07785-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T02:35:35Z","timestamp":1746239735000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07785-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077840","9783319077857"],"references-count":25,"aliases":["10.1007\/978-3-319-14121-3_3"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07785-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"4 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}