15th TAROT Summer School 2019 on Software Testing, Verification & Validation – Clermont-Ferrand, France July 1-5th, 2019


(under construction)

Session Formal Testing / Verification

  • Ana Paiva, Faculty of Engineering, University of Porto, Portugal, title: Model Based GUI Testing

Ana Paiva (published as Ana C. R. Paiva). Ana Paiva is an Assistant Professor in the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto (FEUP). She is a researcher at INESC TEC and coordinator of the Software Engineering research area. She got a PhD with a thesis titled "Automated Testing of Graphical User Interfaces Specification" in 2007 and Habilitation in Computer Science in 2018, both by the University of Porto. Her expertise is in the implementation and automation of the model-based testing process. She has several articles published in international scientific journals and conferences. She also participates in the program and in the organizing committees of several international conferences. She is a member of the PSTQB (Software Testing Qualification Board), and member of several ISTQB (International Software Testing Qualification Board) working groups.

  • Timothy Griffin, University of Cambridge, UK, title: Reasoning about Routing using the interactive theorem provers Coq and Agda. 

BS in Mathematics from the University of Wisconsin, Madison. PhD in Computer Science from Cornell University. Previous experience includes teaching at UNICAMP in Brazil and more than a dozen years in industry at Bell Laboratories, AT&T Research, and Intel Labs. Joined the Computer Lab on January 1, 2005.

  • Francisco Palomo-Lozano, University of Cádiz, Spain, title: Formal verification with ACL2

Francisco Palomo-Lozano has been with the Department of Computer Science and Engineering of the University of Cádiz (Spain) since 1994. He has been a member of the Association for Automated Reasoning (AAR) since 2001. Francisco enjoyed research stays at the USA (University of Texas at Austin) and the UK (King's College). A member of the UCASE Software Engineering Research Group and the Spanish Excellence Network on Search-Based Software Engineering (SBSE), his research interests include Software Verification and Validation, Algorithms, Optimization, and Search-Based Software Engineering.

Session RV/PAssive testing (chair Antoine Rollet)

  • Julien Signoles, CEA LIST, France,  title: Runtime Verification of Safety and Security Properties of C Programs with E-ACSL
Julien Signoles is a senior researcher-engineer at CEA LIST, Software Reliability & Security Lab (LSL). He is the technical leader of the LSL's runtime verification group. He got an Habilitation in Computer Science from University of Paris 11 in 2018 and a PhD from the same university in 2006. After his PhD, he started working on the code analysis framework Frama-C at LSL and became one of its main developers. Among others, he designed E-ACSL, the Frama-C's runtime verification tool. His research focuses on runtime verification, its applications to safety and security and its combinations with other verification techniques. He has already given several tutorials in international events, and taught various theoretical courses and exercise sessions on formal specification, proof of programs, abstract interpretation and software testing since 2009.
  • Wissam Mallouli, Montimage, France, title: Runtime verification : Application to network monitoring

Dr. Wissam Mallouli (M) received his Master from Evry Val d’Essonne University in 2005 and his PhD in computer science from Telecom SudParis in 2008. He is currently a research engineer at Montimage France. His topics of interest cover formal testing and monitoring of functional and security behaviour of distributed systems and networks. He is one of the main contributors in the Montimage monitoring solution and he applied it to different fields related to high bandwidth networks, cloud, IoT, ad hoc networks etc. He is working in several European and French research projects. He also participates to the program/organizing committees of numerous national and international conferences.

  • Yliès Falcone, INRIA Grenoble, France, title: A General Introduction to Runtime Verification and Enforcement

Yliès Falcone received the Master degree (2006) and Ph.D. (2009) in computer science from the University of Grenoble at Verimag Laboratory. His research interests are in formal methods and software engineering in general, and runtime verification and enforcement in particular (i.e. techniques for checking and ensuring that a system meets its requirements at runtime). Since September 2011, he is associate Professor at University of Grenoble Alpes and a researcher at Inria and Laboratory of Informatics Grenoble.

Session Security (chair Pascal Lafourcade)

  • Pascal Lafourcade, University Clermont Auvergne, France  title: Verification Tools for Cryptographic Protocols

Pascal Lafourcade obtained his Phd laboratory LSV at ENS Cachan on verification of cryptographic protocols in presence of algebraic properties. Then he spent one year at the ETH Zurich in David Basin group, working on WSN. After he was during seven years Maitre de conference at Verimag developing automatic technique for verifying cryptographic primitives, and analyzing security protocols. Between 2013 and 2016 he held an industrial chair on Digital Trust at Clermont Ferrand at Laboratory LIMOS. Now he is an associate professor at the University Clermont Auvergne (Clermont-Ferrand, France). He is a member of the Networks and Protocols Team of the LIMOS Laboratory.

  • Laurent Mounier University Grenoble Alpes, Verimag, France, title: Checking the robustness of a software against fault-injection ?

Laurent Mounier is Maître de Conférences at Université Grenoble-Alpes, and member the PACSS team of Verimag. His research interests include code analysis
techniques for security.

  • Hector Menendez, College London University, UK, title: Diversifying Search and Symbolic Execution techniques for Software Testing.

Héctor Menéndez is Research Associate at University College London, working on applications of information theory to software testing. He has a BSc in Computer Science, a BSc in Mathematics, a MSc in Computer Science a MSc in Mathematics and a PhD in Computer Science by the Universidad Autónoma de Madrid, Spain. He has focused his research on cybersecurity since he started at UCL in 2014. During his career, he has achieved an 13-H index with more than 440 citations (according to Google Scholar) and published 13 journal papers (8 of them are Q1 top journals according to Journal Citation and Report) and 27 international conferences. Originally, he worked designing machine learning algorithms based on graph structures and search based optimization. He has applied these ideas to several different fields, where the most relevant are malware analysis, unmanned air vehicles and, currently, software testing. During his current project, InfoTestSS, he has investigated different testing strategies to reach specific sections of programs. These strategies includes fuzzy testing and trigger activation. Currently, he is also co-supervising a thesis with Dr. David Clark and Dr. Earl Barr at UCL on malware trigger identification, funded by GCHQ.

  • Sebastien Bardin,  Software Safety & Security Lab, CEA, France, title: Toward automated (low-level) vulnerability analysis -- Cyber Grand Challenge and beyond

Sébastien Bardin joined CEA LIST, France, in 2006 as a full-time researcher, with research activities centered on program analysis and automatic software verification. For a few years now, Sébastien has been interested in automating software-level security analysis by lifting formal methods developed for the safety-critical industry. More especially, he focuses on binary-level formal methods, vulnerability detection & assessment, and malware deobfuscation. He leads the "binary-level security" group at CEA LIST as well as several related research projects, and he is one of the main designers of the (open-source) BINSEC platform for binary-level code analysis. Sébastien Bardin obtained his PhD in 2005 at ENS Cachan, France, in the field of formal methods.

Session SE/Quality (chair Cédric Bouhours)

  • Cédric Bouhours, Clermont Auvergne University, France
  • Hervé Leblanc, Toulouse University, France
  • Yann-Gaël Guéhéneuc, Concordia University, Canada

Session industrial project and tools (chair Patrice Laurençot)