The Second International Conference on Code Quality

Photo of ICCQ Proceedings

Sat 23 Apr 2022
Innopolis, Kazan, Russia

The Second International Conference on Code Quality (ICCQ) was a one-day computer science event focused on static analysis, program verification, bug detection, and software maintenance; ICCQ was organized in cooperation with IEEE Computer Society.

Watch all presentations on YouTube and subscribe to our channel so that you don’t miss the next event!

The Proceedings of ICCQ was published by IEEE Xplore.

Keynote

charles zhang Charles Zhang
HKUST
The general research interest of Dr. Zhang centers around the use of both static and dynamic programming analysis techniques for making complex software systems more secure and reliable. Dr. Zhang is an Associate Professor and director of the Cybersecurity Lab at HKUST. His research received an ICSE and a PLDI distinguished paper award, as well as the ACM SIGSOFT Doctoral Dissertation Award, and IBM PhD fellowships. He co-founded and served as the chairman of Sourcebrella, a static analysis tool vendor.

Steering Committee

hou rui Hou Rui
Director of Huawei MRC

alexander tormasov Alexander Tormasov
Rector of Innopolis University

Program Committee

giancarlo xucci Giancarlo Succi (Chair)
Innopolis University

And in alphabetical order:

karim ali Karim Ali
University of Alberta

luciano baresi Luciano Baresi
Politecnico di Milano

carl friedrich bolz-tereick Carl Friedrich Bolz-Tereick
Heinrich-Heine-Universität Düsseldorf

daniele cono d'elia Daniele Cono D’Elia
Sapienza University of Rome

william j. bowman William J. Bowman
University of British Columbia

laura m. castro Laura M. Castro
Universidade da Coruña

shigeru chiba Shigeru Chiba
University of Tokyo

christian hammer Christian Hammer
University of Passau

mats heimdahl Mats Heimdahl
University of Minnesota

robert hirschfeld Robert Hirschfeld
University of Potsdam

alexandra jimborean Alexandra Jimborean
University of Murcia

david lorenz David H. Lorenz
Open University of Israel

hidehiko masuhara Hidehiko Masuhara
Tokyo Institute of Technology

hausi müller Hausi A. Müller
University of Victoria

yongjun park Yongjun Park
Hanyang University

gennady pekhimenko Gennady Pekhimenko
University of Toronto

veselin raychev Veselin Raychev
ETH

tiark rompf Tiark Rompf
Purdue University

yulei sui Yulei Sui
University of Technology Sydney

will tracz Will Tracz
IFIP

qianxiang wang Qianxiang Wang
Huawei

laurie williams Laurie Williams
North Carolina State University

tuba yavuz Tuba Yavuz
University of Florida

Program / Agenda

Subscribe to our YouTube channel.

10:00 (Moscow time)
Yegor Bugayenko: Opening

10:10
Hou Rui: Steering Welcome Speech

10:20
Giancarlo Succi: PC Welcome Speech

10:30 youtube icon
Charles Zhang:
Enterprise-scale static analysis: A Pinpoint experience

11:15 youtube icon
Ruidi Yin:
To What Extent Can Code Quality be Improved by Eliminating Test Smells?

11:45 youtube icon
Arman Kaliyev:
Method Name Prediction for Automatically Generated Unit Tests

12:15 youtube icon
Rowland Pitts:
Quasi-Dominators and Random Selection in Mutation Testing

12:45 Closing

All videos are in this playlist.

Keynotes and Invited Talks

Enterprise-scale static analysis: A Pinpoint experience youtube icon Charles Zhang

Despite years of research and practice, modern static analysis techniques still cannot detect oldest and extremely well understood software bugs such as the Heartbleed, one of the most “spectacular” security flaws of the recent decade. A remedy, as what we have attempted through the successful commercialization of the Pinpoint platform (PLDI 18), is to make static program analysis aware of the basic characteristics of the modern enterprise-scale software system. The talk focuses on discussing these characteristics and how Pinpoint addresses them pragmatically as well as its future directions. Pinpoint is a LLVM-based cross-language static analysis platform and deployed in major Chinese tech companies such as Tencent, Baidu, Huawei, and Alibaba.

Accepted Papers

We received 11 submissions. 4 papers were accepted. Each paper received at least three reviews from PC members.

One accepted paper was withdrawn.

To What Extent Can Code Quality be Improved by Eliminating Test Smells? youtube icon pdf icon Haitao Wu, Ruidi Yin, Jianhua Gao, Zijie Huang and Huajun Huang

Software testing is a key activity to guarantee software reliability and maintainability. However, developers always ignore the maintenance of test code when performing a tradeoff between code quality and release deadlines. Moreover, there lacks of research to quantify the relationship between test code and production code quality. As a result, test quality degrades due to the lack of appropriate refactoring plans. This paper fills the gap by evaluating to what extent can code quality be improved by eliminating test smells. First, we detect the presence of test smells in 119 historical releases of 10 open-source projects. Afterward, we evaluate code quality in 2 aspects, i.e., defect- and change-proneness. Finally, we exploit the odds ratio and Mann-Whitney test to quantify the extent of variation for the code quality. Results show that the OR values of the test code and production code are both much greater than 1, which proves that the test smell is indeed a risk factor to increase the defect- proneness of code. Moreover, the change-proneness of the test code and associated production code reduces significantly after the elimination. Experiment also reveals Assertion Roulette is the riskiest smell to degrade production code quality

Method Name Prediction for Automatically Generated Unit Tests youtube icon pdf icon Maxim Petukhov, Evelina Gudauskayte, Arman Kaliyev, Mikhail Oskin, Dmitry Ivanov and Qianxiang Wang

Writing intuitively understandable method names is an important aspect of good programming practice. The method names have to summarize the codes’ behavior such that software engineers would easily understand their purpose. Modern automatic testing tools are able to generate potentially unlimited number of unit tests for a project under test. However, these tests suffers from unintelligible unit test names as it is a quite difficult to understand what each test triggers and checks. This inspired us to adapt the state-of-the-art method name prediction approaches for automatically generated unit tests. We have developed a graph extraction pipeline with prediction models based on Graph Neural Networks (GNNs). Extracted graphs contain information about the structure of unit tests and their calling functions. The experiment results have shown that the proposed work outperforms other models with precision = 0.48, recall = 0.42 and F1 = 0.45 results. The dataset and source codes are released for wide public access.

Quasi-Dominators and Random Selection in Mutation Testing youtube icon pdf icon Rowland Pitts

Mutation Testing is a powerful approach to bug detecting and assessing code quality; however, software developers may be reluctant to embrace the technique due to the monstrous quantity of redundant mutants it generates. In spite of their large numbers, redundant mutants are relatively innocuous. Recent research indicates that redundant mutants affect a test engineer’s work effort only slightly, whereas equivalent mutants have a direct linear impact. Moreover, the time invested analyzing equivalent mutants produces no unit tests. Dominator mutants seek to address the redundancy problem, but they require the identification of all subsumption relationships, which consequently reveals all equivalent mutants. This paper introduces the notion of quasi-dominator mutants, which augment dominator mutants in significant numbers, enhancing their performance, and provides new insight into why random of mutant selection performs so well.

Partners

Academia:

innopolis university Innopolis University

hse Higher School of Economics

bauman Bauman MSTU

Industry:

yandex Yandex, a Russian intelligent technology company

huawei Huawei, a global provider of ICT infrastructure and smart devices

bnpp B.TECH, a Center of Excellence for Electronic Markets technology of BNP Paribas CIB

kaspersky Kaspersky, a global cybersecurity company, multinational provider of security solutions

Organizers

These people were making ICCQ’22:

yegor bugayenko Yegor
Bugayenko
(Chair)

sergey belov Sergey
Belov

andrey kuleshov Andrey
Kuleshov

sergei prokhorov Sergei
Prokhorov