Master Thesis - Evaluating KLEE on a production codebase i Lund

Thesis Worker at Volvo Cars

Welcome to explore the world of Volvo Cars by writing your thesis with us! As a thesis worker in our organization you are supported by a supervisor who follows you during your project. All thesis projects are arranged in business critical areas and therefore you will be able to contribute to our company purpose – providing freedom to move in a safe, sustainable and personal way – from day one! 

Background

KLEE is a symbolic execution engine. It analyzes a program, assumes symbolic values for and generates expressions for the detected symbols and constraints of the program. The different possible inputs that may trigger an execution branch are determined by solving these constraints. KLEE is a dynamic symbolic execution engine built on top of the LLVM.

As part of this work, we want to develop tooling and infrastructure around KLEE and some of our codebases and document the performance and limitations of using it. We also want to use KLEE to extend the testing infrastructure by automatic test-case generation and code visualization.

Scope

We want to evaluate KLEE for inclusion in our tooling infrastructure. We want to do so by evaluating its behavior on a small representative subset of our codebase. We do so by creating special compile targets, use llvm and docker, and in some cases instrument certain parts of the codebase, to integrate the tool to the codebase. As part of this thesis, we want to evaluate this experience while doing automatic test-case generation. Finally, we want to compare the generated tests versus existing tests. Note that we aim to publish any results on the next year's KLEE workshop.

Relevant technical domains

System verification and validation, system safety, system network topology design and optimizations, system reliability, networking systems, modelling real systems, fault modelling

Your contribution is our future

· You should have some experience with software development (C/C++, git, scripting).

· You should have a background in computer science, computer engineering, electrical engineering, electronics, or other relevant fields.

· Interest in containerization is helpful (e.g., docker, Kubernetes, etc.)

· We believe in excellence through collaboration and thus we would like to have at least two people collaborating for this thesis. Parts of the thesis could be split out as summer work, and/or part time work at Volvo Cars in case you are interested.

Students may work at the Lund site (Delta 3, Scheelevägen 23, 223 63 Lund / Ideon Park) or at the Göteborg site (PV3B / Gunnar Engellaus väg 21, 418 78 / Torslanda)

Duration

· The work to start in 2023

· The duration for this thesis work is 20-24 weeks.

· 15-30 ECTS (academic credits) if in agreement with your Thesis Advisor in University

· This thesis is to be conducted by 2 Students working in pairs.

Be part of the change – apply today!

Selection will be ongoing during the application period, so do not hesitate to send in your application. Attach your resume and cover letter and copies of grades. You may provide a reference if you would like. Please note that due to GDPR, applications via email will not be accepted.

Please apply no later than January 15th, 2023.

The thesis will be mentored/supervised by Korkakakis Nikolaos. The hiring manager is Philippe Burlion. For any recruitment inquiries feel free to contact us at student-work.lund@volvocars.com.

We are Volvo Cars 
Volvo Cars is a company on a mission to bring traditional car manufacturing into a connected, sustainable and smart future. Since 1927, we've been known for our commitment to safety and for creating innovative cars that make life less complicated. In 2010, we decided to radically redefine our business, resulting in a totally new generation of cars and technology, as well as steady growth and record sales - and we're only getting started. By 2025, we aim to have yearly sales of 1.2 million cars, 50% of which will be electric vehicles and sold directly to customers through digital channels. We also intend to strengthen our position as a modern, progressive employer committed to diversity and gender and racial equality. We believe in the power of people. Join us and be part of Volvo Cars' transformation.