SATToSE

sattose@list.inf.unibe.ch

107 discussions

Announcing next year's SATToSE 2018
by Kim Mens 02 Aug '17

02 Aug '17

To all SATToSE-minded people, Next year’s Seminar on Advanced Techniques & Tools for Software Evolution is scheduled to take place in Athens, Greece from July 4 until July 6, 2018. It will be organised by Tushar Sharma and Diomidis Spinellis. Michel Chaudron will be our hackathon chair and Alexandre Bergel will be our PC chair. Block this date in your agendas, and make sure to think about a nice contribution to submit. More information will follow. Stay tuned. Happy summer greetings, Kim Mens, your SATToSE SC chair.

1 0

Part-time (50%) faculty position in computer science - Software Languages Lab in Brussels
by Kim Mens 16 Jun '17

16 Jun '17

(This moderated message was accepted for inclusion on the SATToSE mailing list given its potential relevance for the SATToSE community, since software evolution is clearly a relevant part of software engineering in general and this position thus may interest some of the SATTOSE attendees.) From: coen.de.roover(a)vub.be Subject: Part-time (50%) faculty position in computer science - Software Languages Lab in Brussels Reason: Post by non-member to a members-only list Received: Wed Jun 14 13:41:58 2017 The computer science department of the Vrije Universiteit Brussel is offering a part-time position as professor to reinforce its software languages and software engineering branch. The position is published under the heading: WE/2017/001 - Senior Academic Staff - 50% – Science and Bio-Engineering Sciences - Computer Sciences – Software Language Engineering on the university's job offers website located at http://vub.talentfinder.be. The planned starting date for this position is October 1st, 2017. Contract duration is 2 academic years. The deadline for applying is July 24th, 2017. Applications should reach us through the website. The person to contact for further information is: Viviane Jonckers Software Languages Lab email: vejoncke(a)vub.ac.be phone: +32 2 629 29 67 ** Function ** - Research The selected candidate has to reinforce the research of the Software Languages Lab (SOFT - http://soft.vub.ac.be) which focusses on ‘software language engineering’. The lab is active in programming language research and software engineering research. We are specifically looking for a candidate who can link these two domains, e.g. by designing new language features or language extensions with a specific focus on modern software engineering problems or by studying the software engineering aspects that emerge from new “nearly mainstream” languages such as Scala, Clojure, Julia, etc. The candidate’s research methodology can be formalism-based, artefact-driven, or experimental. Candidates whose academic track record shows the ability to combine several methodologies are explicitly welcome. - Teaching The teaching assignment may include both general courses on bachelor or master level and more specialized courses on MA level. The exact course list will be negotiated with the candidate and will depend on his/her expertise and language skills. - Other The selected candidate will by preference endorse the tradition of the Software Language Lab to focus on interpreted languages with dynamic typing, reflection, modern concurrency models, built-in distribution, etc. The selected candidate will be included into the management structure of the Software Languages Lab and is expected to actively contribute to the operational aspects and to the further development of the lab. This implies the guidance of PhD and master students, but also starting new projects and applying for funding. ** Profile ** - Ph.D. in Science or Engineering in the domain of Computer Science. - The candidate can present a strong research portfolio that covers the expertise asked in the job description. - The candidate has experience with guiding PhD and/or master students. He/she has a proven track record or demonstrable potential for launching new research and for seeking the funds to support it. - The candidate is expected to endorse the educational vision of the university (full text available on the university website). - Every first appointment is dependent upon the successful delivery of a teaching session. - Members of academic faculty with teaching duties are required to prove their command of the teaching language. E.g.: for teaching in English the candidate provides evidence of proficiency in English at C1 level by submitting a language certificate (or a waiver). - Female candidates are particularly encouraged to apply. ** Additional Information ** - The candidate selected for the 50% faculty position must be available at the university for a period corresponding to two and a half days per week. A regular presence is required to allow for sufficient integration with the research activities of the lab. - The opportunity exists to combine the 50% faculty position with a 50% researcher position on running projects such that the candidate has a full-time position in the Software Languages Lab. Alternatively, the 50% faculty position can be combined with a position at another research lab, as long as a sufficient availability of the candidate for the Software Languages Lab is guaranteed.

1 0

PhD Scholarship in the Software Engineering
by Mircea Filip Lungu 31 May '17

31 May '17

Call for PhD Candidates in the Software Engineering at the University of Groningen Within the context of the University PhD Scholarships Programme, applications are invited for an opening in the Software Engineering and Architecture Research Group at the University of Groningen in the Netherlands. In the Scholarship Programme, selected prospective PhD students are invited to write their own PhD research proposal in collaboration with an expert PhD supervisor from the University of Groningen with whom they want to work. As a PhD scholarship student you have the opportunity to let your curiosity drive your research at the boundaries of knowledge. More details about the programme are available online. [1] The Software Engineering and Architecture Research Group carries research in software engineering with a focus on architecture, evolution analysis, and intelligent tools for software development. We are interested in particular in candidates who have a strong background and interest in one of the following research directions: - software analysis - software visualization - program understanding - software ecosystem evolution - accelerating knowledge acquisition - run-time monitoring of software systems The University of Groningen, one of the oldest universities in the Netherlands, is home to a vibrant international student body. The university constantly ranks in the top 100 universities in the world. The city of Groningen has an active cultural scene and the university sports center offers a wide range of athletic activities. To apply, please send an email, including a short statement of research interest and CV with at least two references to Dr. Mircea Lungu m.f.lungu(a)rug.nl by June 30, 2017. [1] http://www.rug.nl/education/phd-programmes/phd-scholarship-programme/ --- Dipl. Ing. Mircea F. Lungu, PhD Assistant Professor Computer Science Johann Bernoulli Institute University of Groningen

1 0

Ecosystem Architectures @ ESEC/FSE - (Deadline June 14)
by Mircea Filip Lungu 29 May '17

29 May '17

Dear People, Please note that the deadline for submitting papers and presentation proposals to the workshop on ecosystem architectures has been extended to June 14. The workshop (https://wea.github.io) is this year collocated with ESEC/FSE. Thus, if you're attending the conference do consider submitting also to WEA. We'd be excited to see as many SATToSErs as possible and put the Evolution in Ecosystems! I attach a visual summary of this announcement just in case you're more visually inclined :) Cheers, M. [image: Inline image 1]

1 0

Pictures of last 9 (+1) editions of SATToSE
by Kim Mens 26 May '17

26 May '17

Dear all, Given that this year will be the 10th edition of SATToSE we were thinking of collecting all pictures of all previous events and perhaps doing something fun with it. If you still have such pictures, please add them to the DropBox folder linked below. If you make pictures of the 10th edition in Madrid of course you can add them in the same folder in due time. Friendly greetings, Kim Mens P.S. If you know of people that (should) have such old pictures but are not on this mailing list, feel free to forward them this link. Go to folder<https://www.dropbox.com/l/scl/AADV1PmUbpUYVlPcl5Ldf1Kw2dGAHNBJ0Sk>

1 0

CfP ME workshop @ MODELS2017
by Tamzalit Dalila 24 May '17

24 May '17

[Apologies for multiple postings] CALL FOR PAPERS: 11th International Workshop on "Models and Evolution" Co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages & Systems (MODELS 2017), Austin, Texas, Sept 17-22, 2017 http://www.models-and-evolution.com/ We cordially invite submissions to the 11th International Workshop on Models and Evolution (ME) held in conjunction with the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Austin, Texas in September, 2017. Scope Software artefacts constantly increase in complexity, variety and novelty. Environment and business constraints, user requirements and new insights put additional pressure on their adaptability, availability, reliability and quality: they continuously need to be up to date. But evolution issues are critical, complex and costly to manage. They concern requirements, architecture, design, source code, documentation, integration or deployment. They also typically affect various kinds of models (data, behavioral, domain, source code or goal models). Addressing and managing these varieties of changes is essential. Models and metamodels, the cornerstone of complex software systems’ abstractions, represent a powerful mean for facing software evolution challenges by ensuring a more abstract and expressive modeling of software evolution. They can help and guide software evolution and can enforce and reduce critical risks and important involved resources. The workshop puts the focus on Models and Evolution by considering two main sides: (1) Managing software evolution needs by relying on the high-level abstraction power of models and metamodels. (2) Managing model and metamodel evolution needs and the co-evolution of all related software artefacts by putting attention to their increasing evolution issues as they become primary artefacts. ME 2017 will bring together researchers and practitioners to share experiences in dealing with the various forms of models and evolution. It combines a strong practical focus with theoretical approaches as required in any discipline to support engineering practices. ME 2017 targets researchers and practitioners on model-driven engineering to meet, disseminate and exchange ideas, identify the key issues related to the problem of models and evolution and explore possible solutions and future work. Topics Contributions are solicited on all aspects of models and evolution, its foundations, practices and technologies. In particular, we encourage submissions from both academia and industry about the following (non-exhaustive) list of topics: Formalisms, theories, formal approaches, methods and languages for expressing and understanding model-driven software evolution Supporting processes and tools for managing model-driven software evolution (Co-)evolution and (co-)adaptation of models, metamodels and modeling languages; classification of (co-)evolution scenarios Conformance checking, inconsistency management, synchronization, differencing, comparison, impact analysis of evolving models Transformation techniques for evolving models: restructuring, refactoring, migration, translation, composition, versioning, etc. Maintenance and evolution of domain-specific languages Maintenance and evolution of model transformations Traceability maintenance, verification, and validation of evolving models, evolving model transformations, and evolving modeling languages; runtime models Analysis of model maintainability Variability management using models Model-driven software architecture recovery, reverse architecting, reconstruction, migration and software release engineering Model-based and model-related techniques for legacy systems evolution and systems integration Reusable evolution solutions and patterns Evolution issues in new and emerging systems and paradigms (e.g., cyber-security, cyber-physical systems, systems of systems, systems engineering, Internet of Things, cloud computing and its Software, Platform, Infrastructure (SPI) model, data analytics, big data, social media, devices and services, mobile applications, open source software, sustainability and modeling for social good, open architectures, product-line architectures, software ecosystems, Service-Oriented Architecture (SOA), micro-services, enterprise architectures) Model-driven software evolution regarding energy-awareness and sustainability Training, education, and certification around software evolution State-of-the-art and state-of-practice in software evolution Empirical studies, industrial needs, experience reports and experiments in software evolution Tools and methods supporting all of the above topics Submission We solicit papers of the following types: Research papers (max. 10 pages) providing novel contributions on topics of the workshop presenting novel ideas, addressing challenging problems, or making practical contributions. Position papers (max. 6 pages): Work in progress papers presenting early work and preliminary research results of young researchers in topics related to the workshop. Visionary papers proposing visionary and strategic ideas and/or looking for collaborations around international projects. Industrial experience papers reporting about experiences in the area of models and evolution, novel industrial tools, and positions from industry about experience and/or case studies about managing or putting into practice model-driven software evolution solutions are highly appreciated. Tool presentations (max. 6 pages) presenting (experience with) tools (which may be either research prototypes or commercial tools) that are fully/partially dedicated to supporting the model-based software evolution and evolution issues encountered in model-based development. Contributions must be written in English, adhere to the ACM SIGS format, and be submitted through EasyChair (https://easychair.org/conferences/?conf=me2017). All submissions must be original work and must not have been previously published or being under review elsewhere. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop. Accepted workshop papers will be published on CEUR-WS. Important Dates Abstract submission deadline: June 30, 2017 Paper submission deadline: July 7, 2017 Notification to authors: July 28, 2017 Workshop date: September 17, 18 or 19, 2017 Organizers Tanja Mayerhofer, TU Wien (Austria) Alfonso Pierantonio, University of L'Aquila (Italy) Bernhard Schätz, fortiss GmbH (Germany) Dalila Tamzalit, University of Nantes (France) Program Committee Vasilios Andrikopoulos, University of Stuttgart, Germany Alessandra Bagnato, Softeam, France Mireille Blay-Fornarino, Université Nice Sophia Antipolis, I3S, France Francis Bordeleau, Canada Antonio Cicchetti, Mälardalen University, Sweden Davide Di Ruscio, Università degli Studi dell'Aquila, Italy Anne Etien, University of Lille 1, France Jesus Garcia-Molina, Universidad de Murcia, Spain Sebastien Gerard, CEA, France Holger Giese, Hasso-Plattner-Institut für Softwaresystemtechnik GmbH, Germany Jeff Gray, University of Alabama, USA Rich Hilliard, IEEE Computer Society, USA Ludovico Iovino, Gran Sasso Science Institute, Italy Udo Kelter, University of Siegen, Germany Philip Langer, Eclipse Source, Austria Olivier Le Goaer, LIUPPA, Université de Pau et des Pays de l'Adour, France Shahar Maoz, Tel Aviv University, Israel Salvador Martínez, INRIA, France Tom Mens, University of Mons, Belgium Richard Paige, University of York, UK Bernhard Rumpe, RWTH Aachen University, Germany Jesús Sánchez Cuadrado, Universidad de Murcia, Spain Martina Seidl, Johannes Kepler University Linz, Austria Massimo Tisi, Ecole des Mines de Nantes, France Juha-Pekka Tolvanen, MetaCase, Finland Antonio Vallecillo, Universidad de Málaga, Spain Konrad Wieland, Sparx Systems, Austria Manuel Wimmer, TU Wien, Austria -- Dalila Tamzalit ===== LINA(*) / IUT de Nantes (**) (*) Équipe AeLoS (Architectures et Logiciels Sûrs) Laboratoire des Sciences du Numérique de Nantes (LS2N) - CNRS UMR 6004, 2 Chemin de la Houssinière 44300 Nantes Tel : (33) 2-51-12-57-80 Fax : (33) 2-51-12-58-12 (**) IUT de Nantes - Département Informatique 3, rue du Maréchal Joffre BP 34103 - 44 041 Nantes cedex 1 - FRANCE tél : (33) 2 40 30 60 57 fax : (33) 2 40 30 60 47

1 0

Call for Participation - SATToSE 2017
by Gregorio Robles 15 May '17

15 May '17

10th Seminar Series on Advanced Techniques & Tools for Software Evolution (SATToSE 2017) June 7 - June 9, 2017, Madrid, Spain *** Call for Participation *** Early Bird Registration deadline: 15th May, 2017 (AoE) ============================================================ SATToSE is the Seminar Series on Advanced Techniques & Tools for Software Evolution. The goal of SATToSE is to gather both undergraduate and graduate students to showcase their research, exchange ideas, and improve their communication skills. The exciting program of SATToSE 2017 includes, in addition to the 25 submission accepted by the Programme Committee: * Two inspiring Keynotes by Serge Demeyer and Joost Visser * A tutorial on Pandas by Felipe Ortega * A hackathon by Felienne Hermans * A (free) co-located event on Tuesday June 6th: a seminar on "writing up & moving on" and "commercializing research" with 5 renowned speakers * A visit to the Prado museum (Tuesday June 6th) * A tourist visit of Madrid (Wednesday June 7th) * An unforgettable social event (Thursday June 8th) * A hiking-cultural-gastronomical trip to UNESCO awarded El Escorial (Saturday June 10th) * Attendance to the Real Madrid - Roma Legends match (Sunday June 11th) ============================================================ Find us on the web: http://sattose.org/2017 Follow us on twitter: https://twitter.com/sattose Gregorio Robles SATToSE 2017 General Chair -- Gregorio Robles Universidad Rey Juan Carlos Campus de Fuenlabrada (Madrid), España Teléfono: +34 91 488 87 50 <914%2088%2087%2056> gregorio.robles(a)urjc.es <jose.centeno(a)urjc.es> | www.urjc.es | @URJC |

1 0

PhD positions in Bitergia
by Gregorio Robles 24 Apr '17

24 Apr '17

(sorry for multiple copies) Hi, for those who enjoy Madrid so much during SATToSE and would like to stay ;), Bitergia is opening two PhD positions under the SENECA EU-funded project. By now funding for 18 months is secured, half of the time visiting another partner (TU Delft or the Athens University of Economics and Business), but extensions are negotiated. More information can be found here: https://euraxess.ec.europa.eu/jobs/209555 (9 months in Madrid, 9 in Athens) https://euraxess.ec.europa.eu/jobs/209560 (9 months in Madrid, 9 in Delft) And about the SENECA project: http://senecaproject.github.io/ regards, Gregorio -- Gregorio Robles Universidad Rey Juan Carlos http://gsyc.urjc.es/~grex

1 0

PhD position in software engineering and cloud computing
by Tom MENS 14 Apr '17

14 Apr '17

Open call for PhD position in software engineering and cloud computing (University of Lille and University of Mons) The computer science departments of University of Lille and University of Mons (Belgium) seek applications for a PhD position in software engineering, under joint co-supervision between Prof. Laurence Duchien (Spirals team, CRIStAL laboratory, Lille) and Prof. Tom Mens (Software Engineering Lab, INFORTECH Research Institute, Mons). The funding will be for a PhD in Sciences for a 3 year period. The candidate should carry out 18 months of his research in each team. Lille and Mons are 80 km away (1 hour by train). The topic of the thesis will be "Exploring the variability and evolution of cloud computing systems – An approach based on feature modelling and behavioural design models". A more detailed description is provided below. Only highly qualified PhD candidates with a master's degree in computer science should apply. The required skills include very good knowledge in the field of software engineering, excellent programming skills and good knowledge of formal tools. The start date of the employment is expected to be 15 September 2017 or as soon as possible thereafter. Applications will be received electronically (by e-mail) *as soon as possible*, and the call will be closed end of April 2017. The application must contain: + a motivation letter including a statement of your research interests + a full curriculum vitae, including list of publications if any + a copy of your master's thesis and publications, if any + a copy of your bachelor and master diplomas and transcripts of record, including grades and relative position + a minimum of two letters of recommendation, including the contact details of the referents Applications received too late or not complying with the above requirements, may not be considered. Enquiries about the position can be made to Prof. Laurence Duchien, University of Lille, France, Laurence.Duchien(a)univ-lille1.fr<mailto:Laurence.Duchien@univ-lille1.fr> or Prof. Tom Mens, University of Mons, Belgium, tom.mens(a)umons.ac.be<mailto:tom.mens@umons.ac.be> https://sujets-these.lille.inria.fr/details.html?id=9674c18058724d2d90b4d35… Short description of thesis topic: Cloud computing systems usually exhibit high variability due to the number of choices concerning the selection of cloud providers as well as of their offered cloud services. At the same time, they provide a flexible environment, where resources and services can be provisioned and released on demand. To cope with the high volatility and variability of such systems, the goal of the thesis is to propose a model-based approach for expressing their variability, facilitating their evolution, and exploring the design space of possible solutions. The proposed approach will rely on research advances in dynamic software product lines [1], and will use techniques such as feature modelling to specify and analyse the variabilities and commonalities in cloud computing services and providers at a high level of abstraction [2]. Behavioural aspects of these systems will be modelled using statechart-based design models [3,4], and the technique of design by contract will be used to constrain these models [5]. Semi-automated and interactive tool support will be provided to verify and test structural and behavioural properties over these models. In addition, evolution of these models will be supported. In particular, the research should focus on support for behaviour preserving refactoring and dynamic reconfiguration. The practical use of these techniques to explore and traverse the design space of cloud environments will also be explored by an extension of SALOON tools [2,6] and an experimental validation on cloud evolutions defined by several providers. For example, when reconfiguring a cloud environment, the selected set features (representing cloud providers and services) may have a different impact on performance, costs or reconfiguration time, and optimal reconfiguration paths should be proposed. References: [1] S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid. Dynamic software product lines. COMPUTER, 41(4):93-95, 2008 [2] C. Quinton, D. Romero, and L. Duchien. SALOON: a platform for selecting and configuring cloud environments. Software: Practice and Experience, 46(1):55{78, 2016 [3] D. Harel and E. Gery, “Executable object modeling with statecharts,” IEEE Computer, vol. 30, no. 7, pp. 31–42, July 1997 [4] D. Drusinsky, Modeling and Verification Using UML Statecharts. Elsevier Science, 2006. [5] B. Meyer. 1992. Applying "Design by Contract". Computer 25, 10 (October 1992), 40-51 [6] https://team.inria.fr/spirals/saloon/

1 0

SATToSE 2017 deadline coming closer!
by Gregorio Robles 07 Apr '17

07 Apr '17

[apologies for crossposting] Dear all, the deadline for submitting your contribution to SATToSE is round the corner (April 14th)! Don't miss this opportunity to share your research and ideas with your peers. Remember that the slogan of SATToSE is "a friendly venue for your crazy ideas"! regards, Gregorio ======================================================================== 10th Seminar Series on Advanced Techniques & Tools for Software Evolution ( SATToSE 2017) June 7 - June 9, 2017, Madrid, Spain Find us on the web: http://sattose.org/2017 Follow us on twitter: https://twitter.com/sattose ======================================================================== SATToSE is the Seminar Series on Advanced Techniques & Tools for Software Evolution. The goal of SATToSE is to gather both undergraduate and graduate students to showcase their research, exchange ideas, and improve their communication skills. SATToSE will host invited talks, paper presentations, tutorials, and a hackathon, fostering interactions among participants and stimulating lively debates and discussions around the topics of interest of the event. We expect attendees to be active participants and not just passive listeners. Presenters should be open to and encourage questions and discussions during their talks. This year's SATToSE has a co-located event on the day before: the SENECA European (http://senecaproject.github.io) project training for PhDs. It is a one-day seminar on "writing up & moving on" and "commercializing research", that will have five renowned speakers. Those who register for SATToSE will have the possibility to attend this event for free. ### Important Dates 14th April, 2017 - Submission deadline 4th May, 2017 - Notification of acceptance 9th May, 2017 - Registration deadline 6th June, 2017 - SENECA European project training for PhDs 7th - 9th June, 2017 - SATToSE Seminar ### Topics of Interest Contributions are solicited on all aspects of software and model evolution, practices, and technologies. In particular, we encourage submissions about the following (non-exhaustive) list of topics: * Supporting tools, processes, and models for managing software evolution * Industrial needs, case studies and experiences * Software analytics and visualisation techniques to support software evolution * Empirical studies in evolution and maintenance * Program transformation, refactoring, renovation, and migration * Program and/or data reverse engineering * Evolution of data-intensive or process-intensive systems * Approaches of model-driven software evolution * Software evolution for emerging paradigms * Coupled evolution of meta-models, models, and transformations * Classification of evolution scenarios * Reliability and security aspects of software evolution * Negative research results in software evolution * Software ecosystem evolution * Formalisms, notations, theories, methods, and languages for expressing software evolution * Conformance checking, inconsistency management, synchronisation, differencing, comparison, versioning, impact analysis of evolving models ### Types of Submission We solicit extended abstracts of 2–5 pages, in one of the following forms: * Work in Progress: Early ideas and achievements that you want to share with the community and get feedback on. * Publication Summaries: Overview of research results already published or ready to be submitted to a conference or a journal. * Technology Showdown Demonstrations: Technical explanation of important features of your framework, library or tool. Contributions are managed through EasyChair. Please submit your paper using the following link: https://www.easychair.org/conferences/?conf=sattose2017 ### Presentation and Publication All submissions will be reviewed and screened for scope and compatibility by the program committee, which will provide feedback for improving the abstract and preparing the talk. All contributions accepted for presentation will receive 10–30 minutes during the event for presentation and discussion. Submitters will also be offered the opportunity to receive feedback and guidance to improve their submission towards a formally published paper, in a SATToSE post-proceedings issue of an open access journal. ### Program Committee * General chair: Gregorio Robles, Universidad Rey Juan Carlos, Spain. * Program co-chairs: Haidar Osman, University of Bern, Switzerland. Andrei Chis, Feenk, Switzerland. * Hackathon chair Felienne Hermans, Delft University of Technology, The Netherlands. ### Program Committee Haidar Osman (co-chair), University of Bern, Switzerland Andrei Chis (co-chair), Feenk , Switzerland Alexandre Bergel, University of Chile, Chile. Andrea Caracciolo, Software Improvement Group (SIG), The Netherlands. Tommaso Dal Sasso, University of Lugano, Switzerland. Coen De Roover, Vrije Universiteit Brussel, Belgium. Serge Demeyer, University of Antwerpen, Belgium. Davide Di Ruscio, University of L'Aquila, Italy. Anne Etien, University of Lille 1, France Mohammad Ghafari, University of Bern, Switzerland. Anya Helene Bagge, University of Bergen, Norway. André Hora, Federal University of Minas Gerais, Brazil. Mircea Lungu, University of Groningen, The Netherlands. Kim Mens, Université catholique de Louvain, Belgium. Nevena Milojković, University of Bern, Switzerland. Luca Ponzanelli, University of Lugano, Switzerland. Sebastiano Panichella, University of Zurich, Switzerland. Alexander Serebrenik, Eindhoven University of Technology, The Netherlands. Michael W. Godfrey, University of Waterloo, Canada. Vadim Zaytsev, Raincode, Belgium -- Gregorio Robles Universidad Rey Juan Carlos http://gsyc.urjc.es/~grex

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

SATToSE