9th International Summer School on Training And Research On Testing
SIAF center, Volterra, Italy
9-13 July, 2013 (in collaboration with the ISSTA 2013 DS and the AST 2013 )


Bio: Antonia Bertolino ( http://www.isti.cnr.it/People/A.Bertolino) is a Research Director of the Italian National Research Council (CNR), in Pisa. She investigates approaches for model-based and security testing, for service-oriented and component-based test methodologies, as well as for monitoring of non-functional properties of composite services. Currently she is involved in the European Projects CHOReOS, NESSOS and Presto4u, while recently concluded projects include CONNECT, TAS3, PLASTIC and the Marie Curie RTN network TAROT. She currently serves as the Area Editor for Software Testing for the Elsevier Journal of Systems and Software, and as an Associate Editor of Springer Empirical Software Engineering and IEEE Transactions on Software Engineering. In the next couple of years she will be busy organizing the 2015 edition of the International Conference of Software Engineering in Florence (Italy). She has (co)authored over 100 papers in international journals and conferences.

Bio: Myra Cohen is an Associate Professor in the Department of Computer Science and Engineering at the University of Nebraska-Lincoln, USA, where she is a member of the Laboratory for Empirically based Software Quality Research and Development, (ESQuaReD). Her research focuses on software testing of complex software, which includes systems such as web browsers, compilers, software product lines and graphical user interfaces. She is a member of the search-based software engineering community, utilizing meta-heuristic search to solve research challenges, and has published extensively in the area of combinatorial interaction testing.  Her work is founded in empirical investigation of the techniques that are developed. She received her Ph.D. from the University of Auckland, New Zealand, and is a recipient of a National Science Foundation early CAREER development award and an Air Force Office of Scientific Research young investigator program award.

Bio: Peter M. Kruse is a software engineer working in the domain of testing, including evolutionary testing and the classification tree method. He is an experienced software developer and tester in the German automotive industry. Peter’s project experience includes Hardware-in-the-Loop Testing (HiL), model driven-development (MDD), and evolutionary structural and functional testing. He is responsible for development of CTE XL Professional, a very popular test design tool.


Bio: Dr. Wissam Mallouli is currently a research & development engineer at Montimage France.He received his Masters degree from the Evry Val d’Essonne University in 2005 and his PhD in computer science from Telecom and Management SudParis (France) in 2008. His topics of interest cover formal testing and monitoring of functional behaviours and security aspects of distributed systems and networks. He worked in several European and French research projects. He also participates to the program/organizing committees of numerous national and international conferences. He published more than 25 papers in conference proceedings, books and journals. More details can be found on his webpage http://www.mallouli.com.

Bio: Leonardo Mariani is a researcher at the University of Milano Bicocca. His main research interests include software testing, static and dynamic analysis, specification meaning, self-healing, testing and analysis of component-based and service-based systems. He is currently involved in the PINCETTE European Project. In the past he worked on several European and National research projects, including the SHADOWS, SEGRAVIS, COMMUTA and QUARK projects.

He is co-author of more than 50 papers in peer-reviewed software engineering journals and conferences. He served in the  program committee of several software engineering and testing conferences, including ICSE, FSE, ISSTA and ICST. He is currently involved in the organization of the ICSE 2014 Doctoral Symposium.

Bio: Dr Gilles Perrouin is currently an FNRS postdoctoral researcher at the Faculty of Computer Science, University of Namur (FUNDP), Belgium. He is a member of the PReCISE research centre, in which he mainly explores Software Product Lines Testing and Modelling. Dr. Gilles Perrouin also serves regularly as a (co)-referee for journals and conferences. Dr. Gilles Perrouin holds a joint PhD Degree from the University of Luxembourg and Namur. Dr. Gilles Perrouin can be contacted at: gilles.perrouin@fundp.ac.be

Bio: Paolo Tonella is head of the Software Engineering Research Unit at Fondazione Bruno Kessler (FBK), in Trento, Italy. He received his PhD degree in Software Engineering from the University of Padova in 1999, with the thesis “Code Analysis in Support to Software Maintenance”. In 2011 he was awarded the ICSE 2001 MIP (Most Influential Paper) award, for his paper: “Analysis and Testing of Web Applications”. He is the author of “Reverse Engineering of Object Oriented Code”, Springer, 2005. He participated in several industrial and EU projects on software analysis and testing. He is in the editorial board of TSE, EMSE and JSME. He wrote over 100 peer reviewed conference/workshop papers and over 40 journal papers. His H-index, according to Google Scholar, is 38.

Paolo Tonella was Program Chair of ICSM 2011 and ICPC 2007; General Chair of ISSTA 2010 and ICSM 2012. Among the others, he served in the program committees of ICSE, FSE, ICSM, ISSTA, ICST, ICPC. In 2007, Paolo Tonella was ranked among the top-50 Software Engineering scholars (Communications of the ACM, vol. 50, n. 6, pp. 81-85). He has been recognized as a distinguished TOSEM referee several times in recent years (including 2011-2012). His key contributions to the research in software engineering include: a comprehensive reverse engineering method for object oriented software, pioneering research on model extraction for web testing and foundational work on evolutionary testing of object oriented software.

Bio: Tanja E.J. Vos studied computer science at the University of Utrecht (The Netherlands) and obtained her PhD on formal verification in 2000 at the same university. She has more than 10 years of experience with formal methods and software testing. She is a lecturer at the Computation and Information Systems Department (DSIC) of the Technical University of Valencia (Spain), and carries out her research at the Center for Software Production Methods (ProS) where she leads the Software Testing & Quality (STaQ) group. She is involved in many research projects on software testing in an industrial setting. She has successfully coordinated the EU-funded EvoTest proposal from 2006 to 2009 and is currently coordinating the EU-funded FITTEST project on Future Internet Testing.

Bio:  Tao Xie is an Associate Professor in the Department of Computer Science at University of Illinois at Urbana-Champaign. Before that, he was an Associate Professor in the Department of Computer Science at North Carolina State University. He received his Ph.D. in Computer Science from the University of Washington in 2005, advised by David Notkin. He has worked as a visiting researcher at Microsoft Research Redmond and Microsoft Research Asia. His research interests are in software engineering, focusing on software testing, program analysis, and software analytics. He has served as the ACM SIGSOFT History Liaison in the SIGSOFT Executive Committee as well as a member of the ACM History Committee (ACM History SGB Liaison). He is an ACM Distinguished Speaker and an IEEE Computer Society Distinguished Visitor. He received an NSF CAREER Award in 2009. He received a 2011 Microsoft Research Software Engineering Innovation Foundation (SEIF) Award, 2008, 2009, and 2010 IBM Faculty Awards, and a 2008 IBM Jazz Innovation Award. He received the ASE 2009 Best Paper Award and an ACM SIGSOFT Distinguished Paper Award. His homepage is at http://www.csc.ncsu.edu/faculty/xie/. His popular advice portal including his advice for researchers and students is at http://people.engr.ncsu.edu/txie/advice/.