Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Thu 18 May 2023 14:15 - 14:30 at Meeting Room 112 - Industry forum 2 Chair(s): Steve Versteeg

Symbolic execution (SE) is one of the most promising techniques for automated unit test generation [1, 2], which is claimed to streamline the testing process and reduce developers’ effort [3]. There are symbolic execution engines [3] working for Java, C, C#, C++, Python, .NET. The KLEE dynamic symbolic execution engine is one of the most elaborated ones — it is built on top of the LLVM compiler infrastructure and can automatically generate inputs for C code unit testing [4]. There are numerous attempts to apply KLEE to real-life software projects [3, 5], while the industry experience still shows little transfer from research to practice [6]. The extensions to popular integrated development environments (IDEs) are supposed to be “breaking down this barrier” [7]. As far as there are not so many working tools like this, we share our experience of implementing the KLEE-based Visual Studio Code [8] and CLion [9] extensions for generating ready-to-use test cases — UnitTestBot for C code [10] — and describe the challenges we had to rise to. We also share the solutions we came up with: without introducing “new” techniques, we made automated unit test generation really automated and supplemented it with the simple wizard interface. That was enough for turning an effective but demanding technology into a user-friendly tool, which is easy to adopt. Finally, we provide examples of running UnitTestBot on the open-source projects as well as Huawei nonpublic code.

Thu 18 May

Displayed time zone: Hobart change

13:45 - 15:15
Industry forum 2Industry Forum at Meeting Room 112
Chair(s): Steve Versteeg Microsoft
13:45
15m
Talk
Challenges of Testing an Evolving Cancer Registration Support System in Practice
Industry Forum
Christoph Laaber Simula Research Laboratory, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway
14:00
15m
Talk
Can we Knapsack Software Defect Prediction? Nokia 5G Case
Industry Forum
Szymon Stradowski Nokia & Wrocław University of Science and Technology, Lech Madeyski Wroclaw University of Science and Technology
14:15
15m
Talk
UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments
Industry Forum
Dmitry Ivanov Huawei, Alexey Babushkin , Saveliy Grigoryev Huawei, Pavel Iatchenii , Vladislav Kalugin Huawei, Egor Kichin Huawei, Egor Kulikov Huawei, Aleksandr Misonizhnik Saint-Petersburg State University, Dmitry Mordvinov Huawei, Sergey Morozov Huawei, Olga Naumenko Huawei, Alexey Pleshakov , Pavel Ponomarev Meta; Georgia Institute of Technology, Svetlana Shmidt Huawei, Alexey Utkin , Vadim Volodin , Arseniy Volynets
14:30
15m
Talk
Challenges of Evolving Legacy Software in a Small Team
Industry Forum
Bowie Owens CSIRO, Geoffrey Lee CSIRO, Zili Zhu CSIRO, Thomas Lo CSIRO
14:45
15m
Talk
Prioritizing Industrial Security Findings in Agile Software Development Projects
Industry Forum
Markus Voggenreiter Siemens Technology / LMU Munich, Ulrich Schöpp fortiss GmbH
15:00
15m
Talk
Enhancing Maritime Data Standardization and Integrity using Docker and Blockchain
Industry Forum
Shuai Wang DNV AS, Nikita Karandikar DNV AS, Knut Erik Knutsen DNV AS, Xiao Gang Tony Tong DNV Global, Tom Edseth DNV AS, Zealo Xu Zile DNV Global