{"references": ["E. Engstr\u00f6m, P. Runeson, M. Skoglund, \"A systematic review on\nregression test selection techniques,\" Information and Software\nTechnology, vol.52, no.1, 2010, pp.14-30.", "M. Salehie, S. Li, L. Tahvildari, R. Dara, S. Li, M. Moore, \"Prioritizing\nRequirements-Based Regression Test Cases: A Goal-Driven Practice,\" in\nProc. 15th European Conference on Software Maintenance and\nReengineering, Lisbon, Portugal, 2011, pp.329-332.", "R. P. Gorthi, A. Pasala, K. K. Chanduka and B. Leong,\n\"Specification-based approach to select regression test suite to validate\nchanged software,\" in Proc.15th Asia-Pacific Software Engineering\nConference, Beijing, China, 2008, pp.153-160.", "B. Korel, L. H. Tahat, B. Vaysburg, \"Model based regression test\nreduction using dependence analysis,\" in Proc. International Conference\non Software Maintenance (ICSM2002), Montreal, Canada, 2002, pp.\n214-223.", "B. Xie, Requirement-based Regression Test Suite Reduction Use\nDependence Analysis, Master's thesis, University of Ottawa, Canada,\n2005.", "S. Rampone, \"Probability-driven Greedy Algorithms for Set Cover,\" in\nProc. VIII SIGEF Congress \"New Logics for the New Economy\", Naples,\nItaly, 2001, pp. 215-220.", "Y. Chen, Specification-based Regression Test Suite Generation and\nReduction, Ph.D. thesis, University of Ottawa, Canada, 2009."]}

In this paper, we present a model-based regression test suite reducing approach that uses EFSM model dependence analysis and probability-driven greedy algorithm to reduce software regression test suites. The approach automatically identifies the difference between the original model and the modified model as a set of elementary model modifications. The EFSM dependence analysis is performed for each elementary modification to reduce the regression test suite, and then the probability-driven greedy algorithm is adopted to select the minimum set of test cases from the reduced regression test suite that cover all interaction patterns. Our initial experience shows that the approach may significantly reduce the size of regression test suites.