F. D. Angelis, M. R. Berardini, H. Muccini, and A. Polini, CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems, Formal Methods and Software Engineering -16th International Conference on Formal Engineering Methods, ICFEM 2014, pp.107-122978, 2014.
DOI : 10.1007/978-3-319-11737-9_8

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Lecture Notes in Computer Science, vol.3185, pp.200-237, 2004.
DOI : 10.1007/978-3-540-30080-9_7

D. Brenner, C. Atkinson, R. Malaka, M. Merdes, B. Paech et al., Reducing verification effort in component-based software engineering through built-in testing, Information Systems Frontiers, vol.9, issue.2-3, pp.151-162, 2007.
DOI : 10.1007/s10796-007-9029-4

L. C. Briand, Y. Labiche, and S. He, Automating regression test selection based on UML designs, Information and Software Technology, vol.51, issue.1, pp.16-30, 2009.
DOI : 10.1016/j.infsof.2008.09.010

Y. Chen, R. L. Probert, and H. Ural, Model-based regression test suite generation using dependence analysis, Proceedings of the 3rd international workshop on Advances in model-based testing , A-MOST '07, 2007.
DOI : 10.1145/1291535.1291541

E. Fourneret, F. Bouquet, F. Dadeau, and S. Debricon, Selective test generation method for evolving critical systems Verification and Validation Workshops, Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, pp.125-134, 2011.

I. Granja and M. Jino, Techniques for regression testing: selecting test case sets taylored to possibly modified functionalities, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090), 1999.
DOI : 10.1109/CSMR.1999.756677

M. J. Harrold, Testing, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.61-72, 2000.
DOI : 10.1145/336512.336532

A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing Real-Time Systems Using UPPAAL, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

A. Hessel, K. G. Larsen, B. Nielsen, P. Pettersson, and A. Skou, Time-Optimal Real-Time Test Case Generation Using Uppaal, Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, pp.114-130978, 2003.
DOI : 10.1007/978-3-540-24617-6_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.3844

M. Lahami, M. Krichen, M. Jmaiel, D. Bianculli, S. Guinea et al., Runtime testing framework for improving quality in dynamic service-based systems 2013, in conjunction with IS- STA 2013, Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, pp.17-24, 2013.

H. Leung and L. White, Insights into regression testing (software testing), Proceedings. Conference on Software Maintenance, 1989, pp.60-69, 1989.
DOI : 10.1109/ICSM.1989.65194

J. Mcaffer, P. Vanderlei, and S. Archer, OSGi and Equinox:Creating Highly Modular Java Systems, 2010.

H. Muccini, M. S. Dias, and D. J. Richardson, Software architecture-based regression testing, Journal of Systems and Software, vol.79, issue.10, pp.1379-1396, 2006.
DOI : 10.1016/j.jss.2006.02.059
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.6350

O. Pilskalns, G. Uyan, and A. Andrews, Regression Testing UML Designs, 2006 22nd IEEE International Conference on Software Maintenance, p.53, 2006.
DOI : 10.1109/ICSM.2006.53

G. Rothermel and M. Harrold, Analyzing regression test selection techniques. Software Engineering, IEEE Transactions on, vol.22, issue.8, pp.529-551, 1996.
DOI : 10.1109/32.536955
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.870

M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, 2006.