{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:54:39Z","timestamp":1767138879199,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":71,"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_1","type":"book-chapter","created":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T12:32:21Z","timestamp":1401798741000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The FITTEST Tool Suite for Testing Future Internet Applications"],"prefix":"10.1007","author":[{"given":"Tanja E. J.","family":"Vos","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[]},{"given":"I. S. Wishnu B.","family":"Prasetya","sequence":"additional","affiliation":[]},{"given":"Peter M.","family":"Kruse","sequence":"additional","affiliation":[]},{"given":"Onn","family":"Shehory","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Bagnato","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,4]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"305","DOI":"10.4018\/978-1-4666-2536-5.ch014","volume-title":"Software Testing in the Cloud: Perspectives on an Emerging Discipline","author":"T Vos","year":"2013","unstructured":"Vos, T., Tonella, P., Wegener, J., Harman, M., Prasetya, I.S.W.B., Ur, S.: Testing of future internet applications running in the cloud. In: Tilley, S., Parveen, T. (eds.) Software Testing in the Cloud: Perspectives on an Emerging Discipline, pp. 305\u2013321. IGI Global, Hershey (2013)"},{"key":"1_CR2","unstructured":"Prasetya, I.S.W.B., Elyasov, A., Middelkoop, A., Hage, J.: FITTEST log format (version 1.1). Technical report UUCS-2012-014, Utrecht University (2012)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-34407-7_1","volume-title":"Implementation and Application of Functional Languages","author":"A Middelkoop","year":"2012","unstructured":"Middelkoop, A., Elyasov, A.B., Prasetya, W.: Functional instrumentation of ActionScript programs with Asil. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol. 7257, pp. 1\u201316. Springer, Heidelberg (2012)"},{"key":"1_CR4","unstructured":"Swierstra, S.D., et al.: UU Attribute Grammar System (1998). https:\/\/www.cs.uu.nl\/foswiki\/HUT\/AttributeGrammarSystem"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies, pp. 31\u201336. ACM, New York (2007)","DOI":"10.1145\/1353673.1353681"},{"key":"1_CR6","unstructured":"Shafique, M., Labiche, Y.: A systematic review of model based testing tool support. Technical report SCE-10-04, Carleton University, Canada (2010)"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1049\/iet-sen.2010.0152","volume":"6","author":"A Marchetto","year":"2012","unstructured":"Marchetto, A., Tonella, P., Ricca, F.: ReAjax: a reverse engineering tool for Ajax web applications. Softw. IET 6(1), 33\u201349 (2012)","journal-title":"Softw. IET"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Babenko, A., Mariani, L., Pastore, F.: AVA: automated interpretation of dynamically detected anomalies. In: Proceedings of the International Symposium on Software Testing and Analysis (2009)","DOI":"10.1145\/1572272.1572300"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Lindig, C., Wasylkowski, A., Zeller, A.: Mining object behavior with ADABU. In: Proceedings of the International Workshop on Dynamic Systems Analysis (2006)","DOI":"10.1145\/1138912.1138918"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Mariani, L., Marchetto, A., Nguyen, C.D., Tonella, P., Baars, A.I.: Revolution: automatic evolution of mined specifications. In: ISSRE, pp. 241\u2013250 (2012)","DOI":"10.1109\/ISSRE.2012.14"},{"key":"1_CR11","unstructured":"Nguyen, C.D., Tonella, P.: Automated inference of classifications and dependencies for combinatorial testing. In: Proceedings of the 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE (2013)"},{"key":"1_CR12","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, 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-41707-8_15","volume-title":"Testing Software and Systems","author":"A Elyasov","year":"2013","unstructured":"Elyasov, A., Prasetya, I.S.W.B., Hage, J.: Guided algebraic specification mining for failure simplification. In: Yenig\u00fcn, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 223\u2013238. Springer, Heidelberg (2013)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Elyasov, A., Prasetya, I.S.W.B., Hage, J.: Log-based reduction by rewriting. Technical report UUCS-2012-013, Utrecht University (2012)","DOI":"10.1109\/ICSE.2012.6227029"},{"key":"1_CR15","unstructured":"Prasetya, I.S.W.B., Hage, J., Elyasov, A.: Using sub-cases to improve log-based oracles inference. Technical report UUCS-2012-012, Utrecht University (2012)"},{"key":"1_CR16","unstructured":"Anon.: The daikon invariant detector user manual (2010). https:\/\/groups.csail.mit.edu\/pag\/daikon\/download\/doc\/daikon.html"},{"key":"1_CR17","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 the 2012 International Symposium on Software Testing and Analysis, pp. 100\u2013110. ACM (2012)","DOI":"10.1145\/2338965.2336765"},{"key":"1_CR18","unstructured":"Tonella, P.: FITTEST deliverable D4.3: test data generation and UML2 profile (2013)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: Proceedings of the 13th Conference on Foundations of Software Engineering, ESEC\/FSE, pp. 416\u2013419. ACM, New York (2011)","DOI":"10.1145\/2025113.2025179"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/248233.248262","volume":"6","author":"G Rothermel","year":"1997","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol. 6(2), 173\u2013210 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"G Rothermel","year":"2001","unstructured":"Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing test cases for regression testing. IEEE Trans. Softw. Eng. 27, 929\u2013948 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR22","unstructured":"W3C: Web service description language (WSDL). Technical report. http:\/\/www.w3.org\/tr\/wsdl20. Accessed Dec 2010"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Nguyen, D.C., Marchetto, A., Tonella, P.: Change sensitivity based prioritization for audit testing of webservice compositions. In: Proceedings of the 6th International Workshop on Mutation Analysis (co-located with ICST), pp. 357\u2013365 (2011)","DOI":"10.1109\/ICSTW.2011.50"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1021525310424","volume":"3","author":"H Ludwig","year":"2003","unstructured":"Ludwig, H., Keller, A., Dan, A., King, R., Franck, R.: A service level agreement language for dynamic electronic services. Electron. Commer. Res. 3, 43\u201359 (2003). doi:10.1023\/A:1021525310424","journal-title":"Electron. Commer. Res."},{"key":"1_CR25","unstructured":"W3C: XML path language (XPath). Technical report (1999). http:\/\/www.w3.org\/tr\/xpath\/"},{"key":"1_CR26","unstructured":"W3C: XML schema. Technical report. http:\/\/www.w3.org\/xml\/schema. Accessed Dec 2010"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1218776.1218785","volume":"31","author":"MB Cohen","year":"2006","unstructured":"Cohen, M.B., Snyder, J., Rothermel, G.: Testing across configurations: implications for combinatorial testing. SIGSOFT Softw. Eng. Notes 31, 1\u20139 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"DR Kuhn","year":"2004","unstructured":"Kuhn, D.R., Wallace, D.R., Gallo, A.M.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng. 30, 418\u2013421 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"1_CR29","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."},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Kruse, P.M., Bauer, J., Wegener, J.: Numerical constraints for combinatorial interaction testing. In: Proceedings of ICST 2012 Workshops (ICSTW 2012), Montreal, Canada (2012)","DOI":"10.1109\/ICST.2012.170"},{"key":"1_CR31","unstructured":"Grochtmann, M., Wegener, J.: Test case design using classification trees and the classification-tree editor CTE. In: Proceedings of the 8th International Software Quality Week, San Francisco, USA (1995)"},{"key":"1_CR32","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 & Review (EuroSTAR 2000), Kopenhagen, Denmark, Citeseer (2000)"},{"key":"1_CR33","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":"1","key":"1_CR34","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."},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Kruse, P.M., Schieferdecker, I.: Comparison of approaches to prioritized test generation for combinatorial interaction testing. In: Federated Conference on Computer Science and Information Systems (FedCSIS) 2012, Wroclaw, Poland (2012)","DOI":"10.1109\/ICST.2012.170"},{"key":"1_CR36","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":"1_CR37","unstructured":"Kruse, P.M., Lakhotia, K.: Multi objective algorithms for automated generation of combinatorial test cases with the classification tree method. In: Symposium on Search Based Software Engineering (SSBSE 2011) (2011)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Ferrer, J., Kruse, P.M., Chicano, J.F., Alba, E.: Evolutionary algorithm for prioritized pairwise test data generation. In: Proceedings of Genetic and Evolutionary Computation Conference (GECCO) 2012, Philadelphia, USA (2012)","DOI":"10.1145\/2330163.2330331"},{"key":"1_CR39","unstructured":"Prasetya, I.S.W.B., Amorim, J., Vos, T., Baars, A.: Using Haskell to script combinatoric testing of web services. In: 6th Iberian Conference on Information Systems and Technologies (CISTI). IEEE (2011)"},{"issue":"7","key":"1_CR40","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"DM Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: an approach to testing based on combinatorial design. IEEE Trans. Softw. Eng. 23(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Gibbons, P.B., Mugridge, W.B., Colbourn, C.J.: Constructing test suites for interaction testing. In: Proceedings of the 25th International Conference on Software Engineering, ICSE \u201903, pp. 38\u201348. IEEE Computer Society, Washington, DC (2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10601-006-7094-9","volume":"11","author":"B Hnich","year":"2006","unstructured":"Hnich, B., Prestwich, S., Selensky, E., Smith, B.: Constraint models for the covering test problem. Constraints 11, 199\u2013219 (2006)","journal-title":"Constraints"},{"key":"1_CR43","unstructured":"Lei, Y., Tai, K.: In-parameter-order: a test generation strategy for pairwise testing. In: Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering, 1998, pp. 254\u2013261 (1998)"},{"issue":"1","key":"1_CR44","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10664-010-9135-7","volume":"16","author":"B Garvin","year":"2011","unstructured":"Garvin, B., Cohen, M., Dwyer, M.: Evaluating improvements to a meta-heuristic search for constrained interaction testing. Emp. Softw. Eng. 16(1), 61\u2013102 (2011)","journal-title":"Emp. Softw. Eng."},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10817-010-9171-4","volume":"45","author":"A Calvagna","year":"2010","unstructured":"Calvagna, A., Gargantini, A.: A formal logic approach to constrained combinatorial testing. J. Autom. Reasoning 45, 331\u2013358 (2010)","journal-title":"J. Autom. Reasoning"},{"key":"1_CR46","unstructured":"Jia, Y., Cohen, M.B., Harman, M., Petke, J.: Learning combinatorial interaction testing strategies using hyperheuristic search. Technical report RN\/13\/17, Department of Computer Sciences, University of College London (2013)"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Harman, M., Burke, E., Clark, J., Yao, X.: Dynamic adaptive search based software engineering. In: Proceedings of the ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM \u201912, pp. 1\u20138 (2012)","DOI":"10.1145\/2372251.2372253"},{"issue":"12","key":"1_CR48","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1057\/jors.2013.71","volume":"64","author":"EK Burke","year":"2013","unstructured":"Burke, E.K., Gendreau, M., Hyde, M., Kendall, G., Ochoa, G., Ozcan, E., Qu, R.: Hyper-heuristics: a survey of the state of the art. J. Oper. Res. Soc. 64(12), 1695\u20131724 (2013)","journal-title":"J. Oper. Res. Soc."},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Bauersfeld, S., Vos, T.E.J.: GUITest: a Java library for fully automated GUI robustness testing. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012, pp. 330\u2013333. ACM, New York (2012)","DOI":"10.1145\/2351676.2351739"},{"key":"1_CR50","unstructured":"Bauersfeld, S., Vos, T.E.: A reinforcement learning approach to automated GUI robustness testing. In: 4th Symposium on Search Based-Software Engineering, p. 7 (2012)"},{"issue":"3\u20135","key":"1_CR51","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O Edelstein","year":"2003","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multithreaded java programs. Concur. Comput. Pract. Exp. 15(3\u20135), 485\u2013499 (2003)","journal-title":"Concur. Comput. Pract. Exp."},{"issue":"1\u20132","key":"1_CR52","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/B:EMSE.0000013513.48963.1b","volume":"9","author":"N Juristo","year":"2004","unstructured":"Juristo, N., Moreno, A., Vegas, S.: Reviewing 25 years of testing technique experiments. Emp. Softw. Eng. 9(1\u20132), 7\u201344 (2004)","journal-title":"Emp. Softw. Eng."},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Hesari, S., Mashayekhi, H., Ramsin, R.: Towards a general framework for evaluating software development methodologies. In: Proceedings of 34th IEEE COMPSAC, pp. 208\u2013217 (2010)","DOI":"10.1109\/COMPSAC.2010.69"},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Vos, T.E.J., Mar\u00edn, B., Escalona, M.J., Marchetto, A.: A methodological framework for evaluating software testing techniques and tools. In: 12th International Conference on Quality Software, Xi\u2019an, China, 27\u201329 August 2012, pp. 230\u2013239 (2012)","DOI":"10.1109\/QSIC.2012.16"},{"key":"1_CR55","unstructured":"Vos, T.E.J.: Evolutionary testing for complex systems. ERCIM News 2009(78) (2009)"},{"issue":"82","key":"1_CR56","first-page":"50","volume":"2010","author":"TEJ Vos","year":"2010","unstructured":"Vos, T.E.J.: Continuous evolutionary automated testing for the future internet. ERCIM News 2010(82), 50\u201351 (2010)","journal-title":"ERCIM News"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Nguyen, C., Mendelson, B., Citron, D., Shehory, O., Vos, T., Condori-Fernandez, N.: Evaluating the fittest automated testing tools: an industrial case study. In: 2013 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, pp. 332\u2013339 (2013)","DOI":"10.1109\/ESEM.2013.61"},{"key":"1_CR58","unstructured":"Nguyen, C., Tonella, P., Vos, T., Condori, N., Mendelson, B., Citron, D., Shehory, O.: Test prioritization based on change sensitivity: an industrial case study. Technical report UU-CS-2014-012, Utrecht University (2014)"},{"key":"1_CR59","unstructured":"Shehory, O., Citron, D., Kruse, P.M., Fernandez, N.C., Vos, T.E.J., Mendelson, B.: Assessing the applicability of a combinatorial testing tool within an industrial environment. In: Proceedings of the 11th Workshop on Experimental Software Engineering (ESELAW 2014), CiBSE (2014)"},{"key":"1_CR60","unstructured":"http:\/\/pic.dhe.ibm.com\/infocenter\/director\/pubs\/index.jsp?topic=%2Fcom.ibm.director.vim.helps.doc%2Ffsd0_vim_main.html"},{"key":"1_CR61","unstructured":"Brosse, E., Bagnato, A., Vos, T., Condori-Fernandez, N.: Evaluating the FITTEST automated testing tools in SOFTEAM: an industrial case study. Technical report UU-CS-2014-009, Utrecht University (2014)"},{"key":"1_CR62","doi-asserted-by":"crossref","unstructured":"Kruse, P., Condori-Fernandez, N., Vos, T., Bagnato, A., Brosse, E.: Combinatorial testing tool learnability in an industrial environment. In: 2013 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, pp. 304\u2013312 (2013)","DOI":"10.1109\/ESEM.2013.49"},{"key":"1_CR63","unstructured":"Condori-Fern\u00e1ndez, N., Vos, T., Kruse, P., Brosse, E., Bagnato, A.: Analyzing the applicability of a combinatorial testing tool in an industrial environment. Technical report UU-CS-2014-008, Utrecht University (2014)"},{"key":"1_CR64","doi-asserted-by":"crossref","unstructured":"Bauersfeld, S., Condori-Fernandez, N., Vos, T., Brosse, E.: Evaluating rogue user an industrial case study at softeam. Technical report UU-CS-2014-010, Utrecht University (2014)","DOI":"10.1145\/2652524.2652588"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Puoskari, E., Vos, T.E.J., Condori-Fernandez, N., Kruse, P.M.: Evaluating applicability of combinatorial testing in an industrial environment: a case study. In: Proceedings of the JAMAICA, pp. 7\u201312. ACM (2013)","DOI":"10.1145\/2489280.2489287"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Bauersfeld, S., de Rojas, A., Vos, T.: Evaluating rogue user testing in industry: an experience report. Technical report UU-CS-2014-011, Utrecht University (2014)","DOI":"10.1109\/RCIS.2014.6861051"},{"key":"1_CR67","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: 10th ACM SIGSOFT symposium on Foundations of Software Engineering (FSE), pp. 1\u201310 (2002)","DOI":"10.1145\/587051.587053"},{"key":"1_CR68","doi-asserted-by":"crossref","unstructured":"Elyasov, A., Prasetya, I., Hage, J., Nikas, A.: Reduce first, debug later. In: Proceedings of ICSE 2014 Workshops - 9th International Workshop on Automation of Software Test (AST 2014). ACM-IEEE, Washington, DC (2014)","DOI":"10.1145\/2593501.2593510"},{"issue":"3","key":"1_CR69","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/2000791.2000795","volume":"20","author":"L Naish","year":"2011","unstructured":"Naish, L., Lee, H.J., Ramamohanarao, K.: A model for spectra-based software diagnosis. ACM Trans. Softw. Eng. Methodol 20(3), 11:1\u201311:32 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol"},{"key":"1_CR70","unstructured":"Prasetya, I.S.W.B., Sturala, A., Middelkoop, A., Hage, J., Elyasov, A.: Compact traceable logging. In: 5th International Conference on Advances in System Testing and Validation (VALID) (2013)"},{"key":"1_CR71","doi-asserted-by":"crossref","unstructured":"Tonella, P., Marchetto, A., Nguyen, C.D., Jia, Y., Lakhotia, K., Harman, M.: Finding the optimal balance between over and under approximation of models inferred from execution logs. In: Proceedings of the Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 21\u201330 (2012)","DOI":"10.1109\/ICST.2012.82"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T02:35:39Z","timestamp":1746239739000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07785-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077840","9783319077857"],"references-count":71,"aliases":["10.1007\/978-3-319-14121-3_1"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07785-7_1","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"}}]}}