Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis, and at the source code level, such specifications typically take the form of assertions. Unfortunately, software many times lacks such specifications, or only provides them for scenario-specific behaviors, as assertions accompanying tests. This issue seriously diminishes the analyzability of software with respect to its reliability.

In this paper, we tackle this problem by proposing a technique that, given a Java method, automatically produces a specification of the method’s behavior, in the form of postcondition assertions. This mechanism is based on generating executions of the method under analysis to obtain valid postcondition states, and mutating these states to obtain (allegedly) invalid postcondition states, and then using a genetic algorithm to produce an assertion that is satisfied by the valid states, while leaving out the invalid ones. The technique, which targets in particular methods of reference-based class implementations, is assessed on a benchmark of open source Java projects, showing that our genetic algorithm is able to generate post-conditions that are stronger and more accurate, than those generated by related automated approaches, as evaluated by an automated oracle assessment tool. Moreover, our technique is also able to infer an important part of manually written rich postconditions in verified classes, and reproduce contracts for methods whose class implementations were automatically synthesized from specifications.

Wed 26 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:55 - 13:55
2.2.4. Programming: General IssuesTechnical Track at Blended Sessions Room 4 +12h
Chair(s): Gregorio Robles Universidad Rey Juan Carlos
12:55
20m
Paper
Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track
Technical Track
Junjie Chen College of Intelligence and Computing, Tianjin University, Ningxin Xu College of Intelligence and Computing, Tianjin University, Peiqi Chen College of Intelligence and Computing, Tianjin University, Hongyu Zhang The University of Newcastle
Pre-print Media Attached
13:15
20m
Paper
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track
Technical Track
Yeting Li Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin Li School of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu Xu Shenzhen University, Shenzhen, China, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun Hu Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print Media Attached
13:35
20m
Paper
EvoSpex: An Evolutionary Algorithm for Learning PostconditionsArtifact ReusableTechnical Track
Technical Track
Facundo Molina University of Rio Cuarto and CONICET, Argentina, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print Media Attached

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

00:55 - 01:55
2.2.4. Programming: General IssuesTechnical Track at Blended Sessions Room 4
00:55
20m
Paper
Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track
Technical Track
Junjie Chen College of Intelligence and Computing, Tianjin University, Ningxin Xu College of Intelligence and Computing, Tianjin University, Peiqi Chen College of Intelligence and Computing, Tianjin University, Hongyu Zhang The University of Newcastle
Pre-print Media Attached
01:15
20m
Paper
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track
Technical Track
Yeting Li Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin Li School of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu Xu Shenzhen University, Shenzhen, China, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun Hu Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print Media Attached
01:35
20m
Paper
EvoSpex: An Evolutionary Algorithm for Learning PostconditionsArtifact ReusableTechnical Track
Technical Track
Facundo Molina University of Rio Cuarto and CONICET, Argentina, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print Media Attached