Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueMain Conference
Room nameBlended Sessions Room 1
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 25 May

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

10:30 - 11:30
10:30
20m
Paper
LightSys: Lightweight and Efficient CI System for Improving Integration Speed of SoftwareSEIP
ICSE SEIP - Software Engineering in Practice
Geunsik Lim Samsung Research, Samsung Electronics, MyungJoo Ham Samsung Electronics, Jijoong Moon Samsung Electronics, Wook Song Samsung Electronics
Link to publication DOI Pre-print Media Attached
10:50
20m
Paper
Using Machine Intelligence to Prioritise Code Review RequestsSEIP
ICSE SEIP - Software Engineering in Practice
Nishrith Saini Ericsson, Ricardo Britto Ericsson / Blekinge Institute of Technology
Pre-print Media Attached
11:10
20m
Paper
Towards Automating Code Review ActivitiesTechnical Track
ICSE Technical Track
Rosalia Tufano Università della Svizzera Italiana, Luca Pascarella Delft University of Technology, Michele Tufano Microsoft, Denys Poshyvanyk College of William & Mary, Gabriele Bavota Software Institute, USI Università della Svizzera italiana
Pre-print Media Attached
12:05 - 13:05
1.2.1. Deep Neural Networks: Validation #2ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute
12:05
20m
Paper
Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning ModelsTechnical Track
ICSE Technical Track
Linghan Meng Nanjing University, Yanhui Li Department of Computer Science and Technology, Nanjing University, Lin Chen Department of Computer Science and Technology, Nanjing University, Zhi Wang Nanjing University, Di Wu Momenta, Yuming Zhou Nanjing University, Baowen Xu Nanjing University
Pre-print Media Attached
12:25
20m
Paper
Prioritizing Test Inputs for Deep Neural Networks via Mutation AnalysisTechnical Track
ICSE Technical Track
Zan Wang College of Intelligence and Computing, Tianjin University, Hanmo You College of Intelligence and Computing, Tianjin University, Junjie Chen College of Intelligence and Computing, Tianjin University, Yingyi Zhang College of Intelligence and Computing, Tianjin University, Xuyuan Dong Information and Network Center,Tianjin University, Wenbin Zhang Information and Network Center,Tianjin University
Pre-print Media Attached
12:45
20m
Paper
Testing Machine Translation via Referential TransparencyTechnical Track
ICSE Technical Track
Pinjia He ETH Zurich, Clara Meister ETH Zurich, Zhendong Su ETH Zurich
Pre-print Media Attached
15:20 - 16:15
1.3.1. Quality AssuranceICSE NIER - New Ideas and Emerging Results / ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Silvia Abrahão Universitat Politècnica de València
15:20
20m
Paper
Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingTechnical Track
ICSE Technical Track
Christoph Mayr-Dorn Johannes Kepler University, Linz, Michael Vierhauser Johannes Kepler University Linz, Stefan Bichler JOHANNES KEPLER UNIVERSITY LINZ, Felix Keplinger JOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-Huang University of Notre Dame, Alexander Egyed Johannes Kepler University, Thomas Mehofer Frequentis AG
Pre-print Media Attached
15:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
ICSE NIER - New Ideas and Emerging Results
Christoph Mayr-Dorn Johannes Kepler University, Linz, Roland Kretschmer Johannes Kepler University, Linz, Alexander Egyed Johannes Kepler University, Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), David Fernandez-Amoros UNED
Pre-print Media Attached
15:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
ICSE Technical Track
Xiaozhou Liang SUNY Binghamton, John Henry Burns SUNY Binghamton, Joseph Sanchez SUNY Binghamton, Karthik Dantu University at Buffalo, Lukasz Ziarek University at Buffalo, Yu David Liu SUNY Binghamton
Pre-print Media Attached
16:40 - 17:35
16:40
15m
Paper
Bridging the Gap Between Clone-and-Own and Software Product LinesNIER
ICSE NIER - New Ideas and Emerging Results
Timo Kehrer Humboldt-Universtität zu Berlin, Thomas Thüm University of Ulm, Alexander Schultheiß Humboldt-Universität zu Berlin, Paul Maximilian Bittner University of Ulm
Pre-print Media Attached
16:55
20m
Paper
Seamless Variability Management With the Virtual PlatformTechnical Track
ICSE Technical Track
Wardah Mahmood Chalmers | University of Gothenburg, Daniel Strüber Radboud University Nijmegen, Thorsten Berger Chalmers | University of Gothenburg, Ralf Laemmel University of Koblenz-Landau, Mukelabai Mukelabai Chalmers | University of Gothenburg
Pre-print Media Attached
17:15
20m
Paper
Challenges of Implementing Software Variability in Eclipse OMR: An Interview StudySEIP
ICSE SEIP - Software Engineering in Practice
Batyr Nuryyev University of Alberta, Sarah Nadi University of Alberta, Nazim Bhuiyan IBM, Leonardo Banderali IBM Toronto Labs
Pre-print Media Attached
19:35 - 20:55
1.5.1. Deep Neural Networks: General IssuesICSE Technical Track / ICSE Journal-First Papers / ICSE SEIP - Software Engineering in Practice at Blended Sessions Room 1 +12h
Chair(s): Ignacio Panach Universidad de Valencia
19:35
20m
Paper
Asset Management in Machine Learning: A SurveySEIP
ICSE SEIP - Software Engineering in Practice
Samuel Idowu Chalmers | University of Gothenburg, Daniel Strüber Radboud University Nijmegen, Thorsten Berger Chalmers | University of Gothenburg
Pre-print Media Attached
19:55
20m
Paper
An Empirical Study of Refactorings and Technical Debt in Machine Learning SystemsTechnical Track
ICSE Technical Track
Yiming Tang City University of New York (CUNY) Graduate Center, Raffi Khatchadourian CUNY Hunter College, Mehdi Bagherzadeh Oakland University, Rhia Singh City University of New York (CUNY) Macaulay Honors College, Ajani Stewart City University of New York (CUNY) Hunter College, Anita Raja City University of New York (CUNY) Hunter College
Pre-print Media Attached
20:15
20m
Paper
Logram: Efficient Log Parsing Using n-Gram DictionariesJournal-First
ICSE Journal-First Papers
Hetong Dai Concordia University, Heng Li Polytechnique Montréal, Che-Shao Chen Concordia University, Weiyi Shang Concordia University, Tse-Hsun (Peter) Chen Concordia University
DOI Pre-print Media Attached
20:35
20m
Paper
DeepLocalize: Fault Localization for Deep Neural NetworksTechnical Track
ICSE Technical Track
Mohammad Wardat Dept. of Computer Science, Iowa State University, Wei Le Dept. of Computer Science, Iowa State University, Hridesh Rajan Dept. of Computer Science, Iowa State University
Pre-print Media Attached
22:30 - 23:30
22:30
20m
Paper
LightSys: Lightweight and Efficient CI System for Improving Integration Speed of SoftwareSEIP
ICSE SEIP - Software Engineering in Practice
Geunsik Lim Samsung Research, Samsung Electronics, MyungJoo Ham Samsung Electronics, Jijoong Moon Samsung Electronics, Wook Song Samsung Electronics
Link to publication DOI Pre-print Media Attached
22:50
20m
Paper
Using Machine Intelligence to Prioritise Code Review RequestsSEIP
ICSE SEIP - Software Engineering in Practice
Nishrith Saini Ericsson, Ricardo Britto Ericsson / Blekinge Institute of Technology
Pre-print Media Attached
23:10
20m
Paper
Towards Automating Code Review ActivitiesTechnical Track
ICSE Technical Track
Rosalia Tufano Università della Svizzera Italiana, Luca Pascarella Delft University of Technology, Michele Tufano Microsoft, Denys Poshyvanyk College of William & Mary, Gabriele Bavota Software Institute, USI Università della Svizzera italiana
Pre-print Media Attached

Wed 26 May

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

00:05 - 01:05
1.2.1. Deep Neural Networks: Validation #2ICSE Technical Track at Blended Sessions Room 1
00:05
20m
Paper
Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning ModelsTechnical Track
ICSE Technical Track
Linghan Meng Nanjing University, Yanhui Li Department of Computer Science and Technology, Nanjing University, Lin Chen Department of Computer Science and Technology, Nanjing University, Zhi Wang Nanjing University, Di Wu Momenta, Yuming Zhou Nanjing University, Baowen Xu Nanjing University
Pre-print Media Attached
00:25
20m
Paper
Prioritizing Test Inputs for Deep Neural Networks via Mutation AnalysisTechnical Track
ICSE Technical Track
Zan Wang College of Intelligence and Computing, Tianjin University, Hanmo You College of Intelligence and Computing, Tianjin University, Junjie Chen College of Intelligence and Computing, Tianjin University, Yingyi Zhang College of Intelligence and Computing, Tianjin University, Xuyuan Dong Information and Network Center,Tianjin University, Wenbin Zhang Information and Network Center,Tianjin University
Pre-print Media Attached
00:45
20m
Paper
Testing Machine Translation via Referential TransparencyTechnical Track
ICSE Technical Track
Pinjia He ETH Zurich, Clara Meister ETH Zurich, Zhendong Su ETH Zurich
Pre-print Media Attached
03:20 - 04:15
03:20
20m
Paper
Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingTechnical Track
ICSE Technical Track
Christoph Mayr-Dorn Johannes Kepler University, Linz, Michael Vierhauser Johannes Kepler University Linz, Stefan Bichler JOHANNES KEPLER UNIVERSITY LINZ, Felix Keplinger JOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-Huang University of Notre Dame, Alexander Egyed Johannes Kepler University, Thomas Mehofer Frequentis AG
Pre-print Media Attached
03:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
ICSE NIER - New Ideas and Emerging Results
Christoph Mayr-Dorn Johannes Kepler University, Linz, Roland Kretschmer Johannes Kepler University, Linz, Alexander Egyed Johannes Kepler University, Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), David Fernandez-Amoros UNED
Pre-print Media Attached
03:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
ICSE Technical Track
Xiaozhou Liang SUNY Binghamton, John Henry Burns SUNY Binghamton, Joseph Sanchez SUNY Binghamton, Karthik Dantu University at Buffalo, Lukasz Ziarek University at Buffalo, Yu David Liu SUNY Binghamton
Pre-print Media Attached
04:40 - 05:35
04:40
15m
Paper
Bridging the Gap Between Clone-and-Own and Software Product LinesNIER
ICSE NIER - New Ideas and Emerging Results
Timo Kehrer Humboldt-Universtität zu Berlin, Thomas Thüm University of Ulm, Alexander Schultheiß Humboldt-Universität zu Berlin, Paul Maximilian Bittner University of Ulm
Pre-print Media Attached
04:55
20m
Paper
Seamless Variability Management With the Virtual PlatformTechnical Track
ICSE Technical Track
Wardah Mahmood Chalmers | University of Gothenburg, Daniel Strüber Radboud University Nijmegen, Thorsten Berger Chalmers | University of Gothenburg, Ralf Laemmel University of Koblenz-Landau, Mukelabai Mukelabai Chalmers | University of Gothenburg
Pre-print Media Attached
05:15
20m
Paper
Challenges of Implementing Software Variability in Eclipse OMR: An Interview StudySEIP
ICSE SEIP - Software Engineering in Practice
Batyr Nuryyev University of Alberta, Sarah Nadi University of Alberta, Nazim Bhuiyan IBM, Leonardo Banderali IBM Toronto Labs
Pre-print Media Attached
07:35 - 08:55
07:35
20m
Paper
Asset Management in Machine Learning: A SurveySEIP
ICSE SEIP - Software Engineering in Practice
Samuel Idowu Chalmers | University of Gothenburg, Daniel Strüber Radboud University Nijmegen, Thorsten Berger Chalmers | University of Gothenburg
Pre-print Media Attached
07:55
20m
Paper
An Empirical Study of Refactorings and Technical Debt in Machine Learning SystemsTechnical Track
ICSE Technical Track
Yiming Tang City University of New York (CUNY) Graduate Center, Raffi Khatchadourian CUNY Hunter College, Mehdi Bagherzadeh Oakland University, Rhia Singh City University of New York (CUNY) Macaulay Honors College, Ajani Stewart City University of New York (CUNY) Hunter College, Anita Raja City University of New York (CUNY) Hunter College
Pre-print Media Attached
08:15
20m
Paper
Logram: Efficient Log Parsing Using n-Gram DictionariesJournal-First
ICSE Journal-First Papers
Hetong Dai Concordia University, Heng Li Polytechnique Montréal, Che-Shao Chen Concordia University, Weiyi Shang Concordia University, Tse-Hsun (Peter) Chen Concordia University
DOI Pre-print Media Attached
08:35
20m
Paper
DeepLocalize: Fault Localization for Deep Neural NetworksTechnical Track
ICSE Technical Track
Mohammad Wardat Dept. of Computer Science, Iowa State University, Wei Le Dept. of Computer Science, Iowa State University, Hridesh Rajan Dept. of Computer Science, Iowa State University
Pre-print Media Attached
11:20 - 12:20
2.1.1. Vulnerabilities in Android #1ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Alessandra Gorla IMDEA Software Institute
11:20
20m
Paper
Fine with ``1234''? An Analysis of SMS One-Time Password Randomness in Android AppsTechnical Track
ICSE Technical Track
Siqi Ma the University of Queensland, Juanru Li Shanghai Jiao Tong University, hyoungshick kim Sungkyunkwan University, Elisa Bertino Purdue University, Surya Nepal Data61, CSIRO, Diet Ostry Data61, CSIRO, Cong Sun Xidian University
Pre-print Media Attached
11:40
20m
Paper
App's Auto-Login Function Security Testing via Android OS-Level VirtualizationTechnical Track
ICSE Technical Track
Wenna Song Wuhan University, Jiang Ming University of Texas at Arlington, Lin Jiang XDJA, Han Yan Wuhan University, Yi Xiang Wuhan University, Yuan Chen Wuhan University, Jianming Fu Wuhan University, Guojun Peng Wuhan University
Pre-print Media Attached
12:00
20m
Paper
ATVHunter: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android AppsACM SIGSOFT Distinguished PaperTechnical Track
ICSE Technical Track
Xian Zhan The Hong Kong Polytechnic University, Lingling Fan Nankai University, Sen Chen Tianjin University, Feng Wu Nanyang Technological University, Tianming Liu Monash Univerisity, Xiapu Luo The Hong Kong Polytechnic University, Yang Liu Nanyang Technological University
Pre-print Media Attached
12:55 - 13:55
2.2.1. Modularization and ReusabilityICSE SEIP - Software Engineering in Practice / ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Maria Teresa Baldassarre Department of Computer Science, University of Bari
12:55
20m
Paper
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software ReuseTechnical Track
ICSE Technical Track
Seunghoon Woo Korea University, Sunghan Park Korea University, Seulbae Kim Georgia Institute of Technology, Heejo Lee Korea University, Hakjoo Oh Korea University
Pre-print Media Attached
13:15
20m
Paper
Interpretation-enabled Software Reuse Detection Based on a Multi-Level Birthmark ModelTechnical Track
ICSE Technical Track
Xi Xu Xi'an Jiaotong University, Qinghua Zheng MOEKLINNS Lab, Department of Computer Science and Technology, Xi’an Jiaotong University, 710049, China, Zheng Yan Xidian University, China; Aalto University, Finland, Ming Fan Xi'an Jiaotong University, Ang Jia Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
Pre-print Media Attached
13:35
20m
Paper
Search-Based Software Re-Modularization: A Case Study at AdyenSEIP
ICSE SEIP - Software Engineering in Practice
Casper Schröder Adyen N.V., Adriaan van der Feltz Adyen N.V., Annibale Panichella Delft University of Technology, Maurício Aniche Delft University of Technology
Pre-print Media Attached
14:30 - 15:30
2.3.1. Defect Prediction: Automation #1ICSE Technical Track / ICSE SEIP - Software Engineering in Practice at Blended Sessions Room 1 +12h
Chair(s): Carolyn Seaman University of Maryland Baltimore County
14:30
20m
Paper
Automatic Web Testing using Curiosity-Driven Reinforcement LearningTechnical Track
ICSE Technical Track
YAN ZHENG Nanyang Technological University, Yi Liu Southern University of Science and Technology, Xiaofei Xie Nanyang Technological University, Yepang Liu Southern University of Science and Technology, China, Lei Ma University of Alberta, Jianye Hao Tianjin University, Yang Liu Nanyang Technological University
Pre-print Media Attached
14:50
20m
Paper
Evaluating SZZ Implementations Through a Developer-informed OracleTechnical Track
ICSE Technical Track
Giovanni Rosa University of Molise, Luca Pascarella Delft University of Technology, Simone Scalabrino University of Molise, Rosalia Tufano Università della Svizzera Italiana, Gabriele Bavota Software Institute, USI Università della Svizzera italiana, Michele Lanza Software Institute, USI Università della Svizzera italiana, Rocco Oliveto University of Molise
Pre-print Media Attached
15:10
20m
Paper
D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential AnalysisSEIP
ICSE SEIP - Software Engineering in Practice
Yunhui Zheng IBM Research, Saurabh Pujar IBM Research, Burn Lewis IBM Research, Luca Buratti IBM Research, Edward Epstein IBM Research, Bo Yang IBM Research, Jim A. Laredo IBM Research, USA, Alessandro Morari IBM Research, Zhong Su IBM Research
Pre-print Media Attached
16:05 - 17:05
2.4.1. FuzzingICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Hakan Erdogmus Carnegie Mellon University
16:05
20m
Paper
Input AlgebrasArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Rahul Gopinath CISPA Helmholtz Center for Information Security, Hamed Nemati CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print Media Attached
16:25
20m
Paper
Fuzzing Symbolic ExpressionsTechnical Track
ICSE Technical Track
Luca Borzacchiello Sapienza University of Rome, Emilio Coppa Sapienza University of Rome, Camil Demetrescu Sapienza University of Rome
Pre-print Media Attached
16:45
20m
Paper
Growing A Test Corpus with Bonsai FuzzingTechnical Track
ICSE Technical Track
Vasudev Vikram University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley
Pre-print Media Attached
18:50 - 19:50
2.5.1. Testing: Automatic Test GenerationICSE Journal-First Papers / ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): José Miguel Rojas University of Leicester, UK
18:50
20m
Paper
Inputs from Hell: Learning Input Distributions for Grammar-Based Test GenerationJournal-First
ICSE Journal-First Papers
Ezekiel Soremekun SnT, University of Luxembourg, Esteban Pavese Humboldt University of Berlin, Nikolas Havrikov CISPA, Germany, Lars Grunske Humboldt University of Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI Pre-print Media Attached
19:10
20m
Paper
Automatic Unit Test Generation for Machine Learning Libraries: How Far Are We?Technical Track
ICSE Technical Track
Song Wang York University, Nishtha Shrestha York University, Abarna Kucheri Subburaman York University, Junjie Wang Institute of Software, Chinese Academy of Sciences, Moshi Wei York University, Nachiappan Nagappan Microsoft Research
Link to publication Pre-print Media Attached
19:30
20m
Paper
Using Relative Lines of Code to Guide Automated Test Generation for PythonJournal-First
ICSE Journal-First Papers
Josie Holmes Northern Arizona University, Iftekhar Ahmed University of California, Irvine, Caius Brindescu Oregon State University, Rahul Gopinath CISPA Helmholtz Center for Information Security, He Zhang Nanjing University, Alex Groce Northern Arizona University
Pre-print Media Attached
20:40 - 21:40
2.6.1. Social Equality and Fairness #1ICSE SEIP - Software Engineering in Practice / ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Joanne M. Atlee University of Waterloo
20:40
20m
Paper
Evolving Software to be ML-Driven Utilizing Real-World A/B Testing: Experiences, Insights, ChallengesSEIP
ICSE SEIP - Software Engineering in Practice
Paul Luo Li Microsoft, Xiaoyu Chai Microsoft, Frederick Campbell Microsoft, Jilong Liao Microsoft, Neeraja Abburu Microsoft, Minsuk Kang Microsoft, Irina Niculescu Microsoft, Greg Brake Microsoft, Siddharth Patel Microsoft, James Dooley Microsoft, Brandon Paddock Microsoft
Pre-print Media Attached
21:00
20m
Paper
AID: An Automated Inclusivity-Bug DetectorTechnical Track
ICSE Technical Track
Amreeta Chatterjee Oregon State University, Mariam Guizani Oregon State University, Catherine Stevens Oregon State University, Jillian Emard Oregon State University, Mary Evelyn May Oregon State University, Margaret Burnett Oregon State University, Iftekhar Ahmed University of California, Irvine, Anita Sarma Oregon State University
Pre-print Media Attached
21:20
20m
Paper
Towards Inclusive Software Engineering Through A/B Testing: A Case-Study at WindowsSEIP
ICSE SEIP - Software Engineering in Practice
Irina Niculescu Microsoft, Huibin Mary Hu Microsoft, Christina Gee Microsoft, Chewy Chong Microsoft, Shivam Dubey Microsoft, Paul Luo Li Microsoft
Pre-print Media Attached
23:20 - 00:20
2.1.1. Vulnerabilities in Android #1ICSE Technical Track at Blended Sessions Room 1
23:20
20m
Paper
Fine with ``1234''? An Analysis of SMS One-Time Password Randomness in Android AppsTechnical Track
ICSE Technical Track
Siqi Ma the University of Queensland, Juanru Li Shanghai Jiao Tong University, hyoungshick kim Sungkyunkwan University, Elisa Bertino Purdue University, Surya Nepal Data61, CSIRO, Diet Ostry Data61, CSIRO, Cong Sun Xidian University
Pre-print Media Attached
23:40
20m
Paper
App's Auto-Login Function Security Testing via Android OS-Level VirtualizationTechnical Track
ICSE Technical Track
Wenna Song Wuhan University, Jiang Ming University of Texas at Arlington, Lin Jiang XDJA, Han Yan Wuhan University, Yi Xiang Wuhan University, Yuan Chen Wuhan University, Jianming Fu Wuhan University, Guojun Peng Wuhan University
Pre-print Media Attached
00:00
20m
Paper
ATVHunter: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android AppsACM SIGSOFT Distinguished PaperTechnical Track
ICSE Technical Track
Xian Zhan The Hong Kong Polytechnic University, Lingling Fan Nankai University, Sen Chen Tianjin University, Feng Wu Nanyang Technological University, Tianming Liu Monash Univerisity, Xiapu Luo The Hong Kong Polytechnic University, Yang Liu Nanyang Technological University
Pre-print Media Attached

Thu 27 May

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

00:55 - 01:55
00:55
20m
Paper
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software ReuseTechnical Track
ICSE Technical Track
Seunghoon Woo Korea University, Sunghan Park Korea University, Seulbae Kim Georgia Institute of Technology, Heejo Lee Korea University, Hakjoo Oh Korea University
Pre-print Media Attached
01:15
20m
Paper
Interpretation-enabled Software Reuse Detection Based on a Multi-Level Birthmark ModelTechnical Track
ICSE Technical Track
Xi Xu Xi'an Jiaotong University, Qinghua Zheng MOEKLINNS Lab, Department of Computer Science and Technology, Xi’an Jiaotong University, 710049, China, Zheng Yan Xidian University, China; Aalto University, Finland, Ming Fan Xi'an Jiaotong University, Ang Jia Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
Pre-print Media Attached
01:35
20m
Paper
Search-Based Software Re-Modularization: A Case Study at AdyenSEIP
ICSE SEIP - Software Engineering in Practice
Casper Schröder Adyen N.V., Adriaan van der Feltz Adyen N.V., Annibale Panichella Delft University of Technology, Maurício Aniche Delft University of Technology
Pre-print Media Attached
02:30 - 03:30
02:30
20m
Paper
Automatic Web Testing using Curiosity-Driven Reinforcement LearningTechnical Track
ICSE Technical Track
YAN ZHENG Nanyang Technological University, Yi Liu Southern University of Science and Technology, Xiaofei Xie Nanyang Technological University, Yepang Liu Southern University of Science and Technology, China, Lei Ma University of Alberta, Jianye Hao Tianjin University, Yang Liu Nanyang Technological University
Pre-print Media Attached
02:50
20m
Paper
Evaluating SZZ Implementations Through a Developer-informed OracleTechnical Track
ICSE Technical Track
Giovanni Rosa University of Molise, Luca Pascarella Delft University of Technology, Simone Scalabrino University of Molise, Rosalia Tufano Università della Svizzera Italiana, Gabriele Bavota Software Institute, USI Università della Svizzera italiana, Michele Lanza Software Institute, USI Università della Svizzera italiana, Rocco Oliveto University of Molise
Pre-print Media Attached
03:10
20m
Paper
D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential AnalysisSEIP
ICSE SEIP - Software Engineering in Practice
Yunhui Zheng IBM Research, Saurabh Pujar IBM Research, Burn Lewis IBM Research, Luca Buratti IBM Research, Edward Epstein IBM Research, Bo Yang IBM Research, Jim A. Laredo IBM Research, USA, Alessandro Morari IBM Research, Zhong Su IBM Research
Pre-print Media Attached
04:05 - 05:05
04:05
20m
Paper
Input AlgebrasArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Rahul Gopinath CISPA Helmholtz Center for Information Security, Hamed Nemati CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print Media Attached
04:25
20m
Paper
Fuzzing Symbolic ExpressionsTechnical Track
ICSE Technical Track
Luca Borzacchiello Sapienza University of Rome, Emilio Coppa Sapienza University of Rome, Camil Demetrescu Sapienza University of Rome
Pre-print Media Attached
04:45
20m
Paper
Growing A Test Corpus with Bonsai FuzzingTechnical Track
ICSE Technical Track
Vasudev Vikram University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley
Pre-print Media Attached
06:50 - 07:50
2.5.1. Testing: Automatic Test GenerationICSE Technical Track / ICSE Journal-First Papers at Blended Sessions Room 1
06:50
20m
Paper
Inputs from Hell: Learning Input Distributions for Grammar-Based Test GenerationJournal-First
ICSE Journal-First Papers
Ezekiel Soremekun SnT, University of Luxembourg, Esteban Pavese Humboldt University of Berlin, Nikolas Havrikov CISPA, Germany, Lars Grunske Humboldt University of Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI Pre-print Media Attached
07:10
20m
Paper
Automatic Unit Test Generation for Machine Learning Libraries: How Far Are We?Technical Track
ICSE Technical Track
Song Wang York University, Nishtha Shrestha York University, Abarna Kucheri Subburaman York University, Junjie Wang Institute of Software, Chinese Academy of Sciences, Moshi Wei York University, Nachiappan Nagappan Microsoft Research
Link to publication Pre-print Media Attached
07:30
20m
Paper
Using Relative Lines of Code to Guide Automated Test Generation for PythonJournal-First
ICSE Journal-First Papers
Josie Holmes Northern Arizona University, Iftekhar Ahmed University of California, Irvine, Caius Brindescu Oregon State University, Rahul Gopinath CISPA Helmholtz Center for Information Security, He Zhang Nanjing University, Alex Groce Northern Arizona University
Pre-print Media Attached
08:40 - 09:40
08:40
20m
Paper
Evolving Software to be ML-Driven Utilizing Real-World A/B Testing: Experiences, Insights, ChallengesSEIP
ICSE SEIP - Software Engineering in Practice
Paul Luo Li Microsoft, Xiaoyu Chai Microsoft, Frederick Campbell Microsoft, Jilong Liao Microsoft, Neeraja Abburu Microsoft, Minsuk Kang Microsoft, Irina Niculescu Microsoft, Greg Brake Microsoft, Siddharth Patel Microsoft, James Dooley Microsoft, Brandon Paddock Microsoft
Pre-print Media Attached
09:00
20m
Paper
AID: An Automated Inclusivity-Bug DetectorTechnical Track
ICSE Technical Track
Amreeta Chatterjee Oregon State University, Mariam Guizani Oregon State University, Catherine Stevens Oregon State University, Jillian Emard Oregon State University, Mary Evelyn May Oregon State University, Margaret Burnett Oregon State University, Iftekhar Ahmed University of California, Irvine, Anita Sarma Oregon State University
Pre-print Media Attached
09:20
20m
Paper
Towards Inclusive Software Engineering Through A/B Testing: A Case-Study at WindowsSEIP
ICSE SEIP - Software Engineering in Practice
Irina Niculescu Microsoft, Huibin Mary Hu Microsoft, Christina Gee Microsoft, Chewy Chong Microsoft, Shivam Dubey Microsoft, Paul Luo Li Microsoft
Pre-print Media Attached
10:00 - 10:55
3.1.1. Social Equality and Fairness #2ICSE Journal-First Papers / ICSE SEIS - Software Engineering in Society / ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Alexander Serebrenik Eindhoven University of Technology
10:00
15m
Paper
A First Look at Human Values-Violation in App ReviewsSEIS
ICSE SEIS - Software Engineering in Society
Humphrey Obie Monash University, Waqar Hussain Monash University, Xin Xia Huawei Software Engineering Application Technology Lab, John Grundy Monash University, Li Li Monash University, Burak Turhan Monash University, Jon Whittle CSIRO's Data61 and Monash University, Mojtaba Shahin Monash University
Pre-print Media Attached
10:15
20m
Full-paper
"Ignorance and Prejudice" in Software FairnessTechnical Track
ICSE Technical Track
Jie M. Zhang UCL, Mark Harman University College London
Pre-print Media Attached
10:35
20m
Paper
Gender Differences in Personality Traits of Software EngineersJournal-First
ICSE Journal-First Papers
Daniel Russo Department of Computer Science, Aalborg University, Klaas-Jan Stol University College Cork and Lero, Ireland
Link to publication DOI Pre-print Media Attached
11:50 - 13:10
3.2.1. Programming: Code Analysis AlgorithmsICSE Journal-First Papers / ICSE Technical Track / ICSE SEIP - Software Engineering in Practice at Blended Sessions Room 1 +12h
Chair(s): Giuseppe Scanniello University of Basilicata
11:50
20m
Paper
A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping AlgorithmsTechnical Track
ICSE Technical Track
Yuanrui Fan College of Computer Science and Technology, Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab, David Lo Singapore Management University, Ahmed E. Hassan School of Computing, Queen's University, Yuan Wang Huawei Sweden Research Center, Shanping Li Zhejiang University
Pre-print Media Attached
12:10
20m
Paper
InferCode: Self-Supervised Learning of Code Representations by Predicting SubtreesTechnical Track
ICSE Technical Track
Nghi D. Q. Bui Singapore Management University, Singapore, Yijun Yu The Open University, UK, Lingxiao Jiang Singapore Management University
Pre-print Media Attached
12:30
20m
Paper
Modular Tree Network for Source Code Representation LearningJournal-First
ICSE Journal-First Papers
Wenhan Wang Peking University, Ge Li Peking University, Sijie Shen Peking University, Xin Xia Huawei Software Engineering Application Technology Lab, Zhi Jin Peking University
Link to publication Pre-print Media Attached
12:50
20m
Paper
Case Study on Data-driven Deployment of Program Analysis on an Open Tools StackSEIP
ICSE SEIP - Software Engineering in Practice
Anton Ljungberg Lund University, David Åkerman Axis Communications, Emma Söderberg Lund University, Gustaf Lundh Axis Communications, Jon Sten Axis Communications, Luke Church University of Cambridge | Lund University | Lark Systems
Pre-print Media Attached
15:05 - 16:05
3.3.1. Monitoring Cloud-Based ServicesICSE Technical Track / ICSE SEIP - Software Engineering in Practice at Blended Sessions Room 1 +12h
Chair(s): Andrea Zisman The Open University
15:05
20m
Paper
Fast Outage Analysis of Large-scale Production Clouds with Service Correlation MiningTechnical Track
ICSE Technical Track
Yaohui Wang Fudan University, Guozheng Li Peking University, Zijian Wang Fudan University, Yu Kang Microsoft Research, Beijing, China, Yangfan Zhou Fudan University, Hongyu Zhang The University of Newcastle, Feng Gao Microsoft Azure, Jeffrey Sun Microsoft Azure, Li Yang Microsoft Azure, Pochian Lee Microsoft Azure, Zhangwei Xu Microsoft Azure, Pu Zhao Microsoft Research, Beijing, China, Bo Qiao Microsoft Research, Beijing, China, Liqun Li Microsoft Research, Beijing, China, Xu Zhang Microsoft Research, Beijing, China, Qingwei Lin Microsoft Research, Beijing, China
Pre-print Media Attached
15:25
20m
Paper
Neural Knowledge Extraction From Cloud Service IncidentsSEIP
ICSE SEIP - Software Engineering in Practice
Manish Shetty Microsoft Research, India, Chetan Bansal Microsoft Research, Sumit Kumar Microsoft, Nikitha Rao Microsoft Research, Nachiappan Nagappan Microsoft Research, Thomas Zimmermann Microsoft Research
Link to publication DOI Pre-print Media Attached
15:45
20m
Paper
FIXME: Enhance Software Reliability with Hybrid Approaches in CloudSEIP
ICSE SEIP - Software Engineering in Practice
Jinho Hwang IBM Research, Larisa Shwartz IBM, Qing Wang Institute of Software, Chinese Academy of Sciences, Raghav Batta IBM, Harshit Kumar IBM, Michael Nidd IBM
Pre-print Media Attached
16:30 - 17:30
3.4.1. Deep Neural Networks: Data SelectionICSE Technical Track / ICSE SEIP - Software Engineering in Practice / ICSE Journal-First Papers at Blended Sessions Room 1 +12h
Chair(s): Ayse Tosun Istanbul Technical University
16:30
20m
Paper
Test Selection for Deep Learning SystemsJournal-First
ICSE Journal-First Papers
Wei Ma SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Anestis Tsakmalis University of Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
Pre-print Media Attached
16:50
20m
Paper
On the experiences of adopting automated data validation in an industrial machine learning projectSEIP
ICSE SEIP - Software Engineering in Practice
Lucy Ellen Lwakatare University of Helsinki, Finland, Ellinor Rånge Ericsson, Ivica Crnkovic Chalmers University of Technology, Jan Bosch Chalmers University of Technology, Sweden
Link to publication Media Attached
17:10
20m
Paper
Distribution-Aware Testing of Neural Networks Using Generative ModelsArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Swaroopa Dola University of Virginia, Matthew B Dwyer University of Virginia, Mary Lou Soffa University of Virginia
Pre-print Media Attached
19:20 - 20:15
3.5.1. Testing: General IssuesICSE NIER - New Ideas and Emerging Results / ICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Claudia Ayala Universitat Politècnica de Catalunya, Spain
19:20
15m
Paper
Towards Evidence-based Testability MeasurementsNIER
ICSE NIER - New Ideas and Emerging Results
Luca Guglielmo Università degli Studi di Milano - Bicocca, Andrea Riboni Università degli Studi di Milano - Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy
Pre-print Media Attached
19:35
20m
Paper
GenTree: Using Decision Trees to Learn Interactions for Configurable SoftwareArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen University of Nebraska, Lincoln
Pre-print Media Attached
19:55
20m
Paper
Semantic Web Accessibility Testing via Hierarchical Visual AnalysisTechnical Track
ICSE Technical Track
Mohammad Bajammal University of British Columbia, Ali Mesbah University of British Columbia (UBC)
Pre-print Media Attached
20:50 - 21:50
3.6.1. Security Vulnerabilities: Different DomainsICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Davide Fucci Blekinge Institute of Technology
20:50
20m
Paper
Containing Malicious Package Updates in npm with a Lightweight Permission SystemTechnical Track
ICSE Technical Track
Gabriel Ferreira Carnegie Mellon University, Limin Jia Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Christian Kästner Carnegie Mellon University
Pre-print Media Attached
21:10
20m
Paper
Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps’ Native CodeArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Sumaya Almanee University of California, Irvine, Arda Ünal University of California, Irvine, Mathias Payer EPFL, Joshua Garcia University of California, Irvine
Link to publication DOI Pre-print Media Attached
21:30
20m
Paper
If It’s Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API HardeningTechnical Track
ICSE Technical Track
Pei Wang Google, Julian Bangert Google, Christoph Kern Google
Pre-print Media Attached
22:00 - 22:55
22:00
15m
Paper
A First Look at Human Values-Violation in App ReviewsSEIS
ICSE SEIS - Software Engineering in Society
Humphrey Obie Monash University, Waqar Hussain Monash University, Xin Xia Huawei Software Engineering Application Technology Lab, John Grundy Monash University, Li Li Monash University, Burak Turhan Monash University, Jon Whittle CSIRO's Data61 and Monash University, Mojtaba Shahin Monash University
Pre-print Media Attached
22:15
20m
Full-paper
"Ignorance and Prejudice" in Software FairnessTechnical Track
ICSE Technical Track
Jie M. Zhang UCL, Mark Harman University College London
Pre-print Media Attached
22:35
20m
Paper
Gender Differences in Personality Traits of Software EngineersJournal-First
ICSE Journal-First Papers
Daniel Russo Department of Computer Science, Aalborg University, Klaas-Jan Stol University College Cork and Lero, Ireland
Link to publication DOI Pre-print Media Attached
23:50 - 01:10
23:50
20m
Paper
A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping AlgorithmsTechnical Track
ICSE Technical Track
Yuanrui Fan College of Computer Science and Technology, Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab, David Lo Singapore Management University, Ahmed E. Hassan School of Computing, Queen's University, Yuan Wang Huawei Sweden Research Center, Shanping Li Zhejiang University
Pre-print Media Attached
00:10
20m
Paper
InferCode: Self-Supervised Learning of Code Representations by Predicting SubtreesTechnical Track
ICSE Technical Track
Nghi D. Q. Bui Singapore Management University, Singapore, Yijun Yu The Open University, UK, Lingxiao Jiang Singapore Management University
Pre-print Media Attached
00:30
20m
Paper
Modular Tree Network for Source Code Representation LearningJournal-First
ICSE Journal-First Papers
Wenhan Wang Peking University, Ge Li Peking University, Sijie Shen Peking University, Xin Xia Huawei Software Engineering Application Technology Lab, Zhi Jin Peking University
Link to publication Pre-print Media Attached
00:50
20m
Paper
Case Study on Data-driven Deployment of Program Analysis on an Open Tools StackSEIP
ICSE SEIP - Software Engineering in Practice
Anton Ljungberg Lund University, David Åkerman Axis Communications, Emma Söderberg Lund University, Gustaf Lundh Axis Communications, Jon Sten Axis Communications, Luke Church University of Cambridge | Lund University | Lark Systems
Pre-print Media Attached

Fri 28 May

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

03:05 - 04:05
03:05
20m
Paper
Fast Outage Analysis of Large-scale Production Clouds with Service Correlation MiningTechnical Track
ICSE Technical Track
Yaohui Wang Fudan University, Guozheng Li Peking University, Zijian Wang Fudan University, Yu Kang Microsoft Research, Beijing, China, Yangfan Zhou Fudan University, Hongyu Zhang The University of Newcastle, Feng Gao Microsoft Azure, Jeffrey Sun Microsoft Azure, Li Yang Microsoft Azure, Pochian Lee Microsoft Azure, Zhangwei Xu Microsoft Azure, Pu Zhao Microsoft Research, Beijing, China, Bo Qiao Microsoft Research, Beijing, China, Liqun Li Microsoft Research, Beijing, China, Xu Zhang Microsoft Research, Beijing, China, Qingwei Lin Microsoft Research, Beijing, China
Pre-print Media Attached
03:25
20m
Paper
Neural Knowledge Extraction From Cloud Service IncidentsSEIP
ICSE SEIP - Software Engineering in Practice
Manish Shetty Microsoft Research, India, Chetan Bansal Microsoft Research, Sumit Kumar Microsoft, Nikitha Rao Microsoft Research, Nachiappan Nagappan Microsoft Research, Thomas Zimmermann Microsoft Research
Link to publication DOI Pre-print Media Attached
03:45
20m
Paper
FIXME: Enhance Software Reliability with Hybrid Approaches in CloudSEIP
ICSE SEIP - Software Engineering in Practice
Jinho Hwang IBM Research, Larisa Shwartz IBM, Qing Wang Institute of Software, Chinese Academy of Sciences, Raghav Batta IBM, Harshit Kumar IBM, Michael Nidd IBM
Pre-print Media Attached
04:30 - 05:30
04:30
20m
Paper
Test Selection for Deep Learning SystemsJournal-First
ICSE Journal-First Papers
Wei Ma SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Anestis Tsakmalis University of Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
Pre-print Media Attached
04:50
20m
Paper
On the experiences of adopting automated data validation in an industrial machine learning projectSEIP
ICSE SEIP - Software Engineering in Practice
Lucy Ellen Lwakatare University of Helsinki, Finland, Ellinor Rånge Ericsson, Ivica Crnkovic Chalmers University of Technology, Jan Bosch Chalmers University of Technology, Sweden
Link to publication Media Attached
05:10
20m
Paper
Distribution-Aware Testing of Neural Networks Using Generative ModelsArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Swaroopa Dola University of Virginia, Matthew B Dwyer University of Virginia, Mary Lou Soffa University of Virginia
Pre-print Media Attached
07:20 - 08:15
07:20
15m
Paper
Towards Evidence-based Testability MeasurementsNIER
ICSE NIER - New Ideas and Emerging Results
Luca Guglielmo Università degli Studi di Milano - Bicocca, Andrea Riboni Università degli Studi di Milano - Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy
Pre-print Media Attached
07:35
20m
Paper
GenTree: Using Decision Trees to Learn Interactions for Configurable SoftwareArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen University of Nebraska, Lincoln
Pre-print Media Attached
07:55
20m
Paper
Semantic Web Accessibility Testing via Hierarchical Visual AnalysisTechnical Track
ICSE Technical Track
Mohammad Bajammal University of British Columbia, Ali Mesbah University of British Columbia (UBC)
Pre-print Media Attached
10:00 - 10:55
10:00
20m
Paper
Extracting Rationale for Software Development Decisions—A Study of Python Email ArchivesTechnical Track
ICSE Technical Track
Pankajeshwara Sharma University of Otago, Dunedin, Bastin Tony Roy Savarimuthu University of Otago, Dunedin, New Zealand, Nigel Stanger University of Otago, Dunedin
Pre-print Media Attached
10:20
20m
Paper
An Empirical Study of the Landscape of Open Source Projects in Baidu, Alibaba, and TencentSEIP
ICSE SEIP - Software Engineering in Practice
Junxiao Han Zhejiang University, Shuiguang Deng Zhejiang University, David Lo Singapore Management University, Chen Zhi Zhejiang University, Jianwei Yin Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab
Pre-print Media Attached
10:40
15m
Paper
Understanding Community Smells Variability: A Statistical ApproachArtifact ReusableSEISArtifact Available
ICSE SEIS - Software Engineering in Society
Gemma Catolino Tilburg University & ​Jheronimus Academy of Data Science, Fabio Palomba University of Salerno, Damian Andrew Tamburri TU/e, Alexander Serebrenik Eindhoven University of Technology
Pre-print Media Attached
11:30 - 12:30
4.2.1. API: Evolution and Maintenance #2ICSE Technical Track / ICSE SEIP - Software Engineering in Practice at Blended Sessions Room 1 +12h
Chair(s): Giuseppe Scanniello University of Basilicata
11:30
20m
Paper
Identifying and Characterizing Silently-Evolved Methods in the Android APISEIP
ICSE SEIP - Software Engineering in Practice
Pei Liu Monash University, Li Li Monash University, Yichun Yan University of Minnesota, Mattia Fazzini University of Minnesota, John Grundy Monash University
Pre-print Media Attached
11:50
20m
Paper
DepOwl: Detecting Dependency Bugs to Prevent Compatibility FailuresTechnical Track
ICSE Technical Track
Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Tingting Yu University of Kentucky, Chen Zeng National University of Defense Technology, Erci Xu National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Ji Wang National University of Defense Technology, Liao Xiangke National University of Defense Technology, China
Pre-print Media Attached
12:10
20m
Paper
Hero: On the Chaos When PATH Meets ModulesACM SIGSOFT Distinguished PaperTechnical Track
ICSE Technical Track
Ying Wang Northeastern University, China, Liang Qiao Northeastern University, China, Chang Xu Nanjing University, Yepang Liu Southern University of Science and Technology, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Na Meng Virginia Tech, USA, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China
Pre-print Media Attached
15:05 - 16:05
4.3.1. Analyzing System Properties: Correctness, Determinism, RealizabilityICSE Technical Track at Blended Sessions Room 1 +12h
Chair(s): Maria Teresa Baldassarre Department of Computer Science, University of Bari
15:05
20m
Paper
JEST: N+1-version Differential Testing of Both JavaScript Engines and SpecificationACM SIGSOFT Distinguished PaperArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Pre-print Media Attached
15:25
20m
Paper
Unrealizable Cores for Reactive Systems SpecificationsArtifact ReusableTechnical Track
ICSE Technical Track
Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel
DOI Pre-print Media Attached
15:45
20m
Paper
Verifying Determinism in Sequential ProgramsArtifact ReusableTechnical Track
ICSE Technical Track
Rashmi Mudduluru University of Washington, Jason Waataja UW CSE, Suzanne Millstein University of Washington, Michael D. Ernst UW CSE
Pre-print Media Attached
19:30 - 20:30
4.5.1. GamesICSE Technical Track / ICSE Journal-First Papers at Blended Sessions Room 1 +12h
Chair(s): Gregorio Robles Universidad Rey Juan Carlos
19:30
20m
Paper
An Empirical Study of the Characteristics of Popular Minecraft ModsJournal-First
ICSE Journal-First Papers
Daniel Lee Geotab, Canada, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Dayi Lin Centre for Software Excellence, Huawei, Canada, Mohammed Sayagh ETS Montreal, University of Quebec, Cor-Paul Bezemer University of Alberta, Ahmed E. Hassan School of Computing, Queen's University
Link to publication DOI Pre-print Media Attached
19:50
20m
Paper
Building the perfect game – an empirical study of game modificationsJournal-First
ICSE Journal-First Papers
Daniel Lee Geotab, Canada, Dayi Lin Centre for Software Excellence, Huawei, Canada, Cor-Paul Bezemer University of Alberta, Ahmed E. Hassan School of Computing, Queen's University
Link to publication DOI Pre-print Media Attached
20:10
20m
Paper
We’ll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?Technical Track
ICSE Technical Track
Andrew Truelove University of California, Irvine, Eduardo Santana de Almeida Federal University of Bahia, Iftekhar Ahmed University of California, Irvine
Pre-print Media Attached
22:00 - 22:55
22:00
20m
Paper
Extracting Rationale for Software Development Decisions—A Study of Python Email ArchivesTechnical Track
ICSE Technical Track
Pankajeshwara Sharma University of Otago, Dunedin, Bastin Tony Roy Savarimuthu University of Otago, Dunedin, New Zealand, Nigel Stanger University of Otago, Dunedin
Pre-print Media Attached
22:20
20m
Paper
An Empirical Study of the Landscape of Open Source Projects in Baidu, Alibaba, and TencentSEIP
ICSE SEIP - Software Engineering in Practice
Junxiao Han Zhejiang University, Shuiguang Deng Zhejiang University, David Lo Singapore Management University, Chen Zhi Zhejiang University, Jianwei Yin Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab
Pre-print Media Attached
22:40
15m
Paper
Understanding Community Smells Variability: A Statistical ApproachArtifact ReusableSEISArtifact Available
ICSE SEIS - Software Engineering in Society
Gemma Catolino Tilburg University & ​Jheronimus Academy of Data Science, Fabio Palomba University of Salerno, Damian Andrew Tamburri TU/e, Alexander Serebrenik Eindhoven University of Technology
Pre-print Media Attached
23:30 - 00:30
23:30
20m
Paper
Identifying and Characterizing Silently-Evolved Methods in the Android APISEIP
ICSE SEIP - Software Engineering in Practice
Pei Liu Monash University, Li Li Monash University, Yichun Yan University of Minnesota, Mattia Fazzini University of Minnesota, John Grundy Monash University
Pre-print Media Attached
23:50
20m
Paper
DepOwl: Detecting Dependency Bugs to Prevent Compatibility FailuresTechnical Track
ICSE Technical Track
Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Tingting Yu University of Kentucky, Chen Zeng National University of Defense Technology, Erci Xu National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Ji Wang National University of Defense Technology, Liao Xiangke National University of Defense Technology, China
Pre-print Media Attached
00:10
20m
Paper
Hero: On the Chaos When PATH Meets ModulesACM SIGSOFT Distinguished PaperTechnical Track
ICSE Technical Track
Ying Wang Northeastern University, China, Liang Qiao Northeastern University, China, Chang Xu Nanjing University, Yepang Liu Southern University of Science and Technology, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Na Meng Virginia Tech, USA, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China
Pre-print Media Attached

Sat 29 May

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

03:05 - 04:05
4.3.1. Analyzing System Properties: Correctness, Determinism, RealizabilityICSE Technical Track at Blended Sessions Room 1
03:05
20m
Paper
JEST: N+1-version Differential Testing of Both JavaScript Engines and SpecificationACM SIGSOFT Distinguished PaperArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Pre-print Media Attached
03:25
20m
Paper
Unrealizable Cores for Reactive Systems SpecificationsArtifact ReusableTechnical Track
ICSE Technical Track
Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel
DOI Pre-print Media Attached
03:45
20m
Paper
Verifying Determinism in Sequential ProgramsArtifact ReusableTechnical Track
ICSE Technical Track
Rashmi Mudduluru University of Washington, Jason Waataja UW CSE, Suzanne Millstein University of Washington, Michael D. Ernst UW CSE
Pre-print Media Attached
07:30 - 08:30
07:30
20m
Paper
An Empirical Study of the Characteristics of Popular Minecraft ModsJournal-First
ICSE Journal-First Papers
Daniel Lee Geotab, Canada, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Dayi Lin Centre for Software Excellence, Huawei, Canada, Mohammed Sayagh ETS Montreal, University of Quebec, Cor-Paul Bezemer University of Alberta, Ahmed E. Hassan School of Computing, Queen's University
Link to publication DOI Pre-print Media Attached
07:50
20m
Paper
Building the perfect game – an empirical study of game modificationsJournal-First
ICSE Journal-First Papers
Daniel Lee Geotab, Canada, Dayi Lin Centre for Software Excellence, Huawei, Canada, Cor-Paul Bezemer University of Alberta, Ahmed E. Hassan School of Computing, Queen's University
Link to publication DOI Pre-print Media Attached
08:10
20m
Paper
We’ll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?Technical Track
ICSE Technical Track
Andrew Truelove University of California, Irvine, Eduardo Santana de Almeida Federal University of Bahia, Iftekhar Ahmed University of California, Irvine
Pre-print Media Attached

Thu 27 May

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

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:00301:0030
Blended Sessions Room 1

Tue 25 May

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Blended Sessions Room 1

Wed 26 May

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Blended Sessions Room 1

Thu 27 May

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
Blended Sessions Room 1

Fri 28 May

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
Blended Sessions Room 1