Formal Testing:

Cristian Cadar

Cristian Cadar is a Reader (Associate Professor) in the Department of Computing at Imperial College London, where he leads the Software Reliability Group. His research interests span the areas of software engineering, computer systems and security, with an emphasis on building practical techniques and tools for improving the reliability and security of software systems, such as the symbolic execution engine KLEE being presented in this talk. He received the HVC Award in 2017, the EuroSys Jochen Liedtke Young Researcher Award in 2015, an EPSRC Early-Career Fellowship in 2013, and artifact or paper awards at ASE 2017, ICST 2016, ISSTA 2014, ESEC/FSE 2013 and OSDI 2008. Cristian received a PhD in Computer Science from Stanford University, and undergraduate and Master’s degrees from the Massachusetts Institute of Technology.

Alastair Donaldson

Alastair Donaldson is a Reader and EPSRC Early Career Fellow in the Department of Computing, Imperial College London, where he leads the Multicore Programming Group, and is director of GraphicsFuzz, a spin-out company specialising in automated testing for graphics drivers. He was the recipient of the 2017 BCS Roger Needham Award for his research into many-core programming. He has published more than 80 peer-reviewed papers on programming languages, formal verification, software testing and parallel programming, and leads the GPUVerify project on automatic verification of GPU kernels – a collaboration with Microsoft Research – and the GLFuzz project on automated testing for graphics shader compilers. Alastair coordinated the FP7 project CARP: Correct and Efficient Accelerator Programming, which completed successfully in 2015. Before joining Imperial, Alastair was a Visiting Researcher at Microsoft Research Redmond, an EPSRC Postdoctoral Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a PhD from the University of Glasgow, and is a Fellow of the British Computer Society.

Christophe Gaston

Christophe Gaston is a member of the French Alternative Energies and Atomic Energy Commission. His research interests include formal testing. He has published articles on a wide range of topics including constraint-based oracles for time distributed systems, symbolic execution of transition systems with function summaries, and timed-model-based methods for security analysis and the testing of smart grid systems.

Mohammad Mousavi

Mohammad Reza Mousavi is a professor of Data-Oriented Software Engineering at University of Leicester, UK. His research interests are in formal semantics and verification and his main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on automotive systems and software and their validation, verification, and certification.

Security Testing:

Mariano Ceccato

Mariano Ceccato is tenured researcher in FBK (Fondazione Bruno Kessler) in Trento, Italy. He received the master degree in Software Engineering from the University of Padova, Italy, in 2003 and the PhD in Computer Science from the University of Trento in 2006 under the supervision of Paolo Tonella, with the thesis “Migrating Object Oriented code to Aspect Oriented Programming”. His research interests include security testing, migration of legacy systems, aspect oriented programming and empirical studies.

John Clark

John Clark is a Professor of Computer and Information Security at the University of Sheffield. His research interests include cybersecurity and software engineering, most notably the use of Artificial Intelligence in these areas, automated discovery of classical cryptanalytic strategies, intrusion detection, the search for quantum approaches to cryptanalysis via evolutionary computation, and the security of robotic and autonomous systems and in the security of advanced manufacturing systems.

Jan Peleska

Jan Peleska is a Professor at Bremen University. His research interests include formal methods for cyber physical systems with special emphasis on test automation. He has published articles on a wide range of topics, including complete model-based equivalence class testing for nondeterministic systems, formal modelling and verification of interlocking systems featuring sequential release, and effective infinite-state model checking by input equivalence class partitioning.

Alex Pretschner

Alex Pretschner is a Professor at the Technical University of Munich. His research interests include Model-Based Testing, Automatic Test Case Generation, Security of Distributed Data and Systems, Systems & Software Engineering, Usage Control, Privacy, and Model-Based Development.

Information Theory:

David Clark

David Clark is a Reader in Program Analysis at University College London. His research interests include Software testing, Application of Information Theory to software analysis, Program flow security, Slicing programs and software models, Malware detection and classification. David has published articles on a wide range of topics, including disrupting android malware triage by forcing misclassification, quantifying the diversity of sets of test cases, and test oracle assessment and improvement.

Héctor D. Menéndez

Héctor Menéndez is Research Associate at University College London, working on applications of information theory to software testing. 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.

Search-based Software Engineering:

Paolo Tonella

Paolo Tonella is Head of Software Engineering and Professor at Fondazione Bruno Kessler, Trento, Italy and he is an Honorary Professor at University College London. His research interests include security testing. Paolo has published articles on a wide range of topics, including automated test case generation as a multi-objective optimisation problem with dynamic selection of targets, search-based path and input data generation for web application testing, and automatic page object generators for web testing.

William Langdon

Prof. W. B. Langdon is a professorial research fellow in UCL computer science dept. He worked on distributed real time databases for control and monitoring of power stations at the Central Electricity Research Laboratories. He then joined Logica to work on distributed control of gas pipelines and later on computer and telecommunications networks. After returning to academia to gain a PhD in genetic programming at UCL (sponsored by National Grid plc.), he worked at the University of Birmingham, the CWI, UCL, Essex University, King’s College London and now for a third time at University College London. He is an acknowledged expert in genetic programming and recently has been successfully applying it to improve both non-functional (chiefly speed) and functional (eg accuracy) properties. This work has targeted real world programs written in C/C ++ and CUDA and sequential and parallel SSE and nVidia GPU hardware.