MSR 2020
Mon 29 - Tue 30 June 2020
co-located with ICSE 2020
Venue
Room nameGoguryeo
Floor0
Room Information

This room is named after the ancient Korean kingdom of Goguryeo.

Program

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

Tue 7 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00
Special topic: Work Life BalanceICSE Ask Me Anything at Goguryeo
02:10
50m
Social Event
Ask Me Anything - Jon Whittle
ICSE Ask Me Anything
Jon WhittleMonash University
File Attached
07:00 - 08:00
07:00
12m
Talk
Targeted Greybox Fuzzing with Static Lookahead AnalysisTechnical
ICSE Technical Papers
Valentin WüstholzConsenSys Diligence, Maria ChristakisMPI-SWS
Pre-print
07:12
12m
Talk
HyDiff: Hybrid Differential Software AnalysisArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Yannic NollerHumboldt-Universität zu Berlin, Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Marcel BöhmeMonash University, Youcheng SunQueen's University Belfast, Hoang Lam NguyenHumboldt-Universität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin
Pre-print
07:24
12m
Talk
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of UncertaintyTechnical
ICSE Technical Papers
Xiyue ZhangPeking University, Xiaofei XieNanyang Technological University, Lei MaKyushu University, Xiaoning DuNanyang Technological University, Qiang HuKyushu University, Japan, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University, Meng SunPeking University
Pre-print
07:36
12m
Talk
One Size Does Not Fit All: A Grounded Theory and Online Survey Study of Developer Preferences for Security Warning TypesTechnical
ICSE Technical Papers
Anastasia DanilovaUniversity of Bonn, Alena NaiakshinaUniversity of Bonn, Matthew SmithUniversity of Bonn, Fraunhofer FKIE
07:48
6m
Talk
Hey, my data are mine! Active data to empower the userNIER
ICSE New Ideas and Emerging Results
Gian Luca ScocciaUniversity of L'Aquila, Matteo Maria FioreUniversity of L'Aquila, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg, Marco AutiliUniversity of L'Aquila, Italy, Paola InverardiUniversity of L'Aquila, Alejandro RussoChalmers University of Technology, Sweden
07:54
6m
Talk
Threat modeling: from infancy to maturityNIER
ICSE New Ideas and Emerging Results
Koen Yskoutimec - DistriNet, KU Leuven, Thomas HeymanToreon, Dimitri Van LanduytKatholieke Universiteit Leuven, Laurens Sionimec-DistriNet, KU Leuven, Kim Wuytsimec-DistriNet, KU Leuven, Wouter JoosenKatholieke Universiteit Leuven
Pre-print
08:05 - 09:05
I5-Deep Learning Testing and DebuggingICSE Paper Presentations / ICSE Technical Papers / ICSE Demonstrations at Goguryeo
Chair(s): Pooyan JamshidiUniversity of South Carolina
08:05
12m
Talk
DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer DissectionTechnical
ICSE Technical Papers
Huiyan WangState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Jingwei XuNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
08:17
12m
Talk
White-box Fairness Testing through Adversarial SamplingACM SIGSOFT Distinguished Paper AwardsTechnical
ICSE Technical Papers
Peixin ZhangZhejiang University, Jingyi WangNational University of Singapore, Singapore, Jun SunSingapore Management University, Guoliang DongComputer College of Zhejiang University, Xinyu WangZhejiang University, Xingen WangZhejiang University, Jin Song DongNational University of Singapore, Dai TingHuawei Corporation
08:29
3m
Talk
FeatureNET: Diversity-driven Generation of Deep Learning ModelsDemo
ICSE Demonstrations
Salah GhamiziSntT - University of Luxembourg, Maxime CordySnT, University of Luxembourg, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg
08:32
3m
Talk
EvalDNN: A Toolbox for Evaluating Deep Neural Network ModelsDemo
ICSE Demonstrations
Yongqiang TIANThe Hong Kong University of Science and Technology, Zhihua ZengZhejiang University, Ming WenHuazhong University of Science and Technology, China, Yepang LiuSouthern University of Science and Technology, Tzu-yang KuoThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
08:35
12m
Talk
Taxonomy of Real Faults in Deep Learning SystemsACM SIGSOFT Distinguished Artifact AwardsArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Nargiz HumbatovaUniversità della Svizzera italiana, Gunel JahangirovaUniversità della Svizzera italiana, Gabriele BavotaUniversità della Svizzera italiana, Vincenzo RiccioUniversità della Svizzera italiana, Andrea StoccoUniversità della Svizzera italiana, Paolo TonellaUniversità della Svizzera italiana
08:47
12m
Talk
An Empirical Study on Program Failures of Deep Learning JobsACM SIGSOFT Distinguished Paper AwardsTechnical
ICSE Technical Papers
Ru ZhangMicrosoft Research, Wencong XiaoAlibaba, Hongyu ZhangUniversity of Newcastle, Australia, Yu LiuMicrosoft Research, Haoxiang LinMicrosoft Research, Mao YangMicrosoft Research
09:10 - 10:00
Students meeting students-ICSE QuizICSE Students Meeting Students at Goguryeo
Chair(s): Ali Farahani, Faeq Alrimawi, Fanny Rivera OrtizUniversity College Dublin & Lero
09:10
50m
Social Event
ICSE Quiz
ICSE Students Meeting Students
15:00 - 16:00
15:00
12m
Talk
Studying the Use of Java Logging Utilities in the WildTechnical
ICSE Technical Papers
Boyuan ChenYork University, Zhen Ming (Jack) JiangYork University
Authorizer link Pre-print
15:12
12m
Talk
Causal Testing: Understanding Defects' Root CausesACM SIGSOFT Distinguished Artifact AwardsArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
15:24
8m
Talk
Studying the Characteristics of Logging Practices in Mobile Apps: A Case Study on F-Droid.J1
ICSE Journal First
Yi ZengConcordia University, Jinfu ChenConcordia University, Canada, Weiyi ShangConcordia University, Tse-Hsun (Peter) ChenConcordia University
Authorizer link Pre-print
15:32
6m
Talk
Automatically Predicting Bug Severity Early in the Development ProcessNIER
ICSE New Ideas and Emerging Results
Jude ArokiamOntario Tech University, Jeremy BradburyOntario Tech University
15:38
8m
Talk
A Survey on Adaptive Random TestingJ1
ICSE Journal First
Rubing HuangJiangsu University, Weifeng SunJiangsu University, Yinyin XuJiangsu University, Haibo ChenJiangsu University, Dave ToweyUniversity of Nottingham Ningbo China, Xin XiaMonash University
15:46
12m
Talk
Code Level Model-Checking in the Software Development WorkflowArtifact ReusableArtifact AvailableSEIP
ICSE Software Engineering in Practice
Nathan ChongAmazon, Byron CookAmazon, Konstantinos KallasUniversity of Pennsylvania, Kareem KhazemAmazon, Felipe R. MonteiroAmazon, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n., Michael TautschnigAmazon Web Services, Mark R. TuttleAmazon
Pre-print Media Attached
16:05 - 17:05
A5-Testing and Debugging 2ICSE Paper Presentations / ICSE Demonstrations / ICSE New Ideas and Emerging Results / ICSE Technical Papers at Goguryeo
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
16:05
12m
Talk
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic ExecutionArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
16:17
12m
Talk
A Study on the Lifecycle of Flaky TestsTechnical
ICSE Technical Papers
Wing LamUniversity of Illinois at Urbana-Champaign, Kıvanç MuşluMicrosoft, Hitesh SajnaniMicrosoft , Suresh ThummalapentaMicrosoft
16:29
6m
Talk
Is Your Quantum Program Bug-Free?New Ideas and Emerging Results Distinguished Paper AwardsNIER
ICSE New Ideas and Emerging Results
Andriy MiranskyyRyerson University, Lei ZhangRyerson University, Javad DoliskaniRyerson University, Toronto, Canada
Pre-print
16:35
3m
Talk
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test ScenariosDemo
ICSE Demonstrations
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
16:38
12m
Talk
Ankou: Guiding Grey-box Fuzzing towards Combinatorial DifferenceArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Valentin ManèsCSRC, KAIST, Soomin KimKAIST, Sang Kil ChaKAIST
16:50
3m
Talk
PG-KLEE: Trading Soundness for CoverageDemo
ICSE Demonstrations
Richard RutledgeGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
16:53
6m
Talk
Blending Kinematic and Software Models for Tighter Reachability AnalysisNIER
ICSE New Ideas and Emerging Results
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia

Wed 8 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
P8-SEET - Novel Approaches in SE Education and OthersICSE Software Engineering Education and Training at Goguryeo
Chair(s): Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
00:00
12m
Talk
Enriching Programming Student Feedback with Audio CommentsSEET
ICSE Software Engineering Education and Training
Jake RenzellaDeakin University, Andrew CainDeakin University
00:12
12m
Talk
GidgetML: An Adaptive Serious Game for Enhancing First Year Programming LabsSEET
ICSE Software Engineering Education and Training
Michael MiljanovicOntario Tech University, Jeremy BradburyOntario Tech University
00:24
6m
Experience report
Exploiting Group Shuffling Dynamics to Convey the Importance of Good Software DesignSEET
ICSE Software Engineering Education and Training
Jose BenedettoPONTIFICIA UNIVERSIDAD CATOLICA DE CHILE, Jaime NavonPONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
00:30
12m
Talk
Authentic Individual Assessment for Team-based Software Engineering ProjectsSEET
ICSE Software Engineering Education and Training
Laura TubinoDeakin University, Andrew CainDeakin University, Jean-Guy SchneiderDeakin University, Dhananjay ThiruvadyDeakin University, Niroshinie FernandoDeakin University
00:42
12m
Talk
Adopting Industry Agile Practices in Large-scale Capstone EducationSEET
ICSE Software Engineering Education and Training
Jean-Guy SchneiderDeakin University, Peter EklundDeakin University, Kevin LeeDeakin University, Feifei ChenDeakin University, Andrew CainDeakin University, Mohamed AbdelrazekDeakin University
01:05 - 02:05
P11-Natural Language ArtifactsICSE Paper Presentations / ICSE Journal First / ICSE Technical Papers at Goguryeo
Chair(s): Jane Cleland-HuangUniversity of Notre Dame
01:05
8m
Talk
Neural Network Based Classification of Self-admitted Technical Debt: From Performance to Explainability and DeployabilityJ1
ICSE Journal First
Xiaoxue RenZhejiang University, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Xinyu WangZhejiang University, John GrundyMonash University
01:13
8m
Talk
Domain-specific Machine Translation with Recurrent Neural Network for Software LocalizationJ1
ICSE Journal First
Xu WangCollege of Engineering & Computer ScienceAustralian National University, Canberra, Australia, Chunyang ChenMonash University, Zhenchang XingAustralia National University
01:21
12m
Talk
Mitigating Turnover with Code Review Recommendation: Balancing Expertise, Workload, and Knowledge DistributionTechnicalArtifact Available
ICSE Technical Papers
Ehsan MirsaeediConcordia University, Peter RigbyConcordia University, Montreal, Canada
09:10 - 10:00
Ask me about impact (or anything) - Andreas ZellerICSE Ask Me Anything at Goguryeo
09:10
50m
Live Q&A
Ask Me Anything - Andreas Zeller
ICSE Ask Me Anything
Andreas ZellerCISPA Helmholtz Center for Information Security
Media Attached
15:00 - 16:00
A8-Machine Learning and ModelsICSE Paper Presentations / ICSE Journal First / ICSE Technical Papers at Goguryeo
Chair(s): Liliana PasqualeUniversity College Dublin & Lero
15:00
8m
Talk
Improving Vulnerability Inspection Efficiency Using Active LearningJ1
ICSE Journal First
Zhe YuNORTH CAROLINA STATE UNIVERSITY, Chris TheisenMicrosoft, Laurie WilliamsNorth Carolina State University, Tim MenziesNorth Carolina State University
15:08
8m
Talk
How Bugs Are Born: A Model to Identify How Bugs Are Introduced in Software ComponentsJ1
ICSE Journal First
Gema Rodríguez-PérezUniversity of Waterloo, Canada, Gregorio RoblesUniversidad Rey Juan Carlos, Alexander SerebrenikEindhoven University of Technology, Andy ZaidmanTU Delft, Daniel M. GermanUniversity of Victoria, Jesus M. Gonzalez-BarahonaUniversidad Rey Juan Carlos
DOI Pre-print
15:16
8m
Talk
How to “DODGE” Complex Software AnalyticsJ1
ICSE Journal First
Amritanshu AgrawalWayfair, Wei FuLanding AI, Di ChenNorth Carolina State University, USA, Xipeng ShenNorth Carolina State University, Tim MenziesNorth Carolina State University
15:24
12m
Talk
Importance-Driven Deep Learning System TestingTechnical
ICSE Technical Papers
Simos GerasimouUniversity of York, UK, Hasan Ferit EniserMPI-SWS, Alper SenBogazici University, Turkey, Alper ÇakanBogazici University, Turkey
15:36
12m
Talk
Quickly Generating Diverse Valid Test Inputs with Reinforcement LearningArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Sameer ReddyUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeCarnegie Mellon University, Koushik SenUniversity of California, Berkeley
15:48
8m
Talk
Impact of Discretization Noise of the Dependent variable on Machine Learning Classifiers in Software EngineeringJ1
ICSE Journal First
Gopi Krishnan RajbahadurQueen's University, Shaowei WangMississippi State University, Yasutaka KameiKyushu University, Ahmed E. HassanQueen's University
16:05 - 17:05
16:05
3m
Talk
Nimbus: Improving the Developer Experience for Serverless ApplicationsDemo
ICSE Demonstrations
Robert ChatleyImperial College London, Thomas AllertonStarling Bank
Pre-print
16:08
8m
Talk
Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case GenerationJ1
ICSE Journal First
Giovanni GranoUniversity of Zurich, Christoph LaaberUniversity of Zurich, Annibale PanichellaDelft University of Technology, Sebastiano PanichellaZurich University of Applied Sciences
Link to publication DOI Pre-print
16:16
8m
Talk
What's Wrong with My Benchmark Results? Studying Bad Practices in JMH BenchmarksJ1
ICSE Journal First
Diego CostaConcordia University, Canada, Cor-Paul BezemerUniversity of Alberta, Canada, Philipp LeitnerChalmers University of Technology & University of Gothenburg, Artur AndrzejakHeidelberg University
16:24
12m
Talk
Towards the Use of the Readily Available Tests from the Release Pipeline as Performance Tests. Are We There Yet?ACM SIGSOFT Distinguished Paper AwardsTechnical
ICSE Technical Papers
Zishuo DingConcordia University, Canada, Jinfu ChenConcordia University, Canada, Weiyi ShangConcordia University
Pre-print
16:36
8m
Talk
ModGuard: Identifying Integrity & Confidentiality Violations in Java ModulesJ1
ICSE Journal First
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI
16:44
6m
Talk
Program Debloating via Stochastic OptimizationNIER
ICSE New Ideas and Emerging Results
Qi XinGeorgia Institute of Technology, Myeongsoo KimGeorgia Institute of Technology, Qirun ZhangGeorgia Institute of Technology, USA, Alessandro OrsoGeorgia Tech
16:50
8m
Talk
The ORIS Tool: Quantitative Evaluation of Non-Markovian SystemsJ1
ICSE Journal First
Marco PaolieriUniversity of Southern California, Marco BiagiUniversity of Florence, Laura CarnevaliUniversity of Florence, Enrico VicarioUniversity of Florence

Thu 9 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
P14-TestingICSE Paper Presentations / ICSE Technical Papers / ICSE Software Engineering in Practice at Goguryeo
Chair(s): Shin YooKorea Advanced Institute of Science and Technology
00:00
12m
Talk
Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don’t GuidelinesTechnical
ICSE Technical Papers
Dehai ZhaoAustralian National University, Zhenchang XingAustralia National University, Chunyang ChenMonash University, Xiwei XuData 61, Liming ZhuCSIRO's Data61 and UNSW, Guoqiang LiShanghai Jiao Tong University, Jinshui WangSchool of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
00:12
12m
Talk
Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural NetworksTechnical
ICSE Technical Papers
Xiang GaoNational University of Singapore, Singapore, Ripon SahaFujitsu Laboratories of America, Inc., Mukul R. PrasadFujitsu Laboratories of America, Inc, Abhik RoychoudhuryNational University of Singapore, Singapore
00:24
12m
Talk
Modeling and Ranking Flaky Tests at AppleSEIP
ICSE Software Engineering in Practice
Emily KowalczykApple Inc., Karan NairApple, Zebao GaoApple, Leopold SilbersteinApple Inc., Teng LongApple, Atif MemonApple Inc.
00:36
12m
Talk
Testing File System Implementations on Layered ModelsTechnicalArtifact Available
ICSE Technical Papers
Dongjie ChenNanjing University, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
00:48
12m
Talk
A Cost-efficient Approach to Building in Continuous IntegrationTechnical
ICSE Technical Papers
Xianhao JinVirginia Tech, USA, Francisco ServantVirginia Tech
Pre-print
01:05 - 02:05
01:05
8m
Talk
Improving the Pull Requests Review Process Using Learning-to-rank AlgorithmsJ1
ICSE Journal First
Guoliang ZhaoComputer Science of Queen's University, Daniel Alencar Da CostaUniversity of Otago, Ying ZouQueen's University, Kingston, Ontario
01:13
8m
Talk
Understanding the motivations, challenges and needs of Blockchain software developers: a surveyJ1
ICSE Journal First
Amiangshu BosuWayne State University, Anindya IqbalBangladesh University of Engineering and Technology Dhaka, Bangladesh, Rifat ShahriyarBangladesh University of Engineering and Technology Dhaka, Bangladesh, Partho ChakrabortyBangladesh University of Engineering and Technology Dhaka, Bangladesh
01:21
12m
Talk
Gap between Theory and Practice : An Empirical Study of Security Patches in SolidityArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
01:33
12m
Talk
A Tale from the Trenches: Cognitive Biases and Software DevelopmentACM SIGSOFT Distinguished Paper AwardsTechnical
ICSE Technical Papers
Souti ChattopadhyayGraduate Student, Nicholas NelsonOregon State University, Audrey AuOregon State University, Natalia MoralesOregon State University, Christopher SanchezOregon State University, Rahul PanditaPhase Change Software, Anita SarmaOregon State University
01:45
3m
Talk
VITALSE: Visualizing Eye Tracking and Biometric DataDemo
ICSE Demonstrations
Devjeet RoyWashington State University, Sarah FakhouryWashington State University, Venera ArnaoudovaWashington State University
Pre-print
02:10 - 03:00
Ask me about tips for grant writing, etcICSE Ask Me Anything at Goguryeo
02:10
50m
Social Event
Ask Me Anything - John Grundy
ICSE Ask Me Anything
John GrundyMonash University
07:00 - 08:00
I14-SEET - Industry Relevant Teaching and OthersICSE Software Engineering Education and Training at Goguryeo
Chair(s): Letizia JaccheriNorwegian University of Science and Technology
07:00
12m
Talk
Addressing the Double Challenge of Learning and Teaching Enterprise Technologies through Peer TeachingSEET
ICSE Software Engineering Education and Training
Richard GlasseyKTH Royal Institute of Technology, Olle BälterKTH Royal Institute of Technology, Philipp HallerKTH Royal Institute of Technology, Mattias WiggbergKTH Royal Institute of Technology
07:12
12m
Talk
Characterizing the Pedagogical Benefits of Adaptive Feedback for Compilation Errors by Novice ProgrammersSEET
ICSE Software Engineering Education and Training
Umair Z. AhmedNational University of Singapore, Nisheeth SrivastavaIndian Institute of Technology, Kanpur, Renuka SindhgattaQueensland University of Technology, Australia, Amey KarkareIIT Kanpur
07:24
12m
Talk
VeriSIM: A Learning Environment for Comprehending Class and Sequence Diagrams using Design TracingSEET
ICSE Software Engineering Education and Training
Prajish PrasadIIT Bombay, Sridhar IyerIIT Bombay
07:36
12m
Talk
Towards an Open Repository for Teaching Software Modeling applying Active Learning StrategiesSEET
ICSE Software Engineering Education and Training
Williamson SilvaUFAM, Bruno GadelhaUFAM, Igor SteinmacherNorthern Arizona University, Tayana ConteUniversidade Federal do Amazonas
07:48
12m
Talk
What prevents Finnish women from applying to software engineering roles? A preliminary analysis of survey dataSEET
ICSE Software Engineering Education and Training
Annika WolffLUT University, Antti KnutasLUT University, Paula SavolainenTurku University of Applied Sciences
Pre-print
08:05 - 09:05
08:05
10m
Talk
How to reduce risk effectively in fixed price software developmentSEIP
ICSE Software Engineering in Practice
Volker GruhnUniversity Duisburg-Essen, Niklas Spitczok von Brisinskiadesso AG
08:15
10m
Talk
Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart ContractsDemo
ICSE Demonstrations
Zhiqiang YangOxford-Hainan Blockchain Research Institute, Han LiuTsinghua University, Yue LiOxford-Hainan Blockchain Research Institute, Huixuan ZhengOxford-Hainan Blockchain Research Institute, Lei WangOxford-Hainan Blockchain Research Institute, Bangdao ChenOxford-Hainan Blockchain Research Institute
08:25
10m
Talk
Escape from Escape Analysis of GolangSEIP
ICSE Software Engineering in Practice
Cong WangTsinghua University, Mingrui ZhangTsinghua University, Beijing, China, Yu Jiang, Huafeng ZhangHuawei Technologies, Hangzhou, China, Zhenchang XingAustralia National University, Ming Gu
08:35
10m
Talk
Smart Contract Development: Challenges and OpportunitiesJ1
ICSE Journal First
Weiqin ZouNanjing University, David LoSingapore Management University, Pavneet Singh KochharMicrosoft, Xuan-Bach D. LeSingapore Management University, Singapore, Xin XiaMonash University, Yang FengNanjing University, Zhenyu ChenNanjing University, Baowen XuNanjing University
08:45
10m
Talk
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart ContractsArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Thomas DurieuxKTH Royal Institute of Technology, Sweden, João F. FerreiraINESC-ID and IST, University of Lisbon, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID, Pedro CruzIST, University of Lisbon, Portugal
Pre-print
08:55
10m
Talk
An Extended Abstract of “METRIC+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains”J1
ICSE Journal First
Chang-ai SunUniversity of Science and Technology Beijing, An FuUniversity of Science and Technology Beijing, Pak-Lok PoonSchool of Engineering & Technology, Central Queensland University, Australia, Xiaoyuan XieSchool of Computer Science, Wuhan University, China, Huai LiuSwinburne University of Technology, Tsong Yueh ChenSwinburne University of Technology

Fri 10 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

07:00 - 08:00
I20-Android TestingICSE Paper Presentations / ICSE Technical Papers at Goguryeo
Chair(s): Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
07:00
12m
Talk
Multiple-Entry Testing of Android Applications by Constructing Activity Launching ContextsTechnicalArtifact Available
ICSE Technical Papers
Jiwei YanInstitute of Software, Chinese Academy of Sciences, Hao LiuBeijing University of Technology, Linjie PanInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangInstitute of Software, Chinese Academy of Sciences, Bin LiangRenmin University of China, China
07:12
12m
Talk
Time-travel Testing of Android AppsACM SIGSOFT Distinguished Paper AwardsArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Zhen DongNational University of Singapore, Marcel BöhmeMonash University, Lucia CojocaruPolitehnica University of Bucharest, Abhik RoychoudhuryNational University of Singapore, Singapore
07:24
12m
Talk
Collaborative Bug Finding for Android AppsTechnical
ICSE Technical Papers
Shin Hwei TanSouthern University of Science and Technology, Ziqiang LiSouthern University of Science and Technology
Media Attached File Attached
07:36
12m
Talk
An Empirical Assessment of Security Risks of Global Android Banking AppsTechnical
ICSE Technical Papers
Sen ChenNanyang Technological University, Singapore, Lingling FanNanyang Technological University, Singapore, Guozhu MengInstitute of Information Engineering, Chinese Academy of Sciences, Ting SuETH Zurich, Switzerland, Jason Minhui XueThe University of Adelaide, Yinxing Xue, Yang LiuNanyang Technological University, Singapore, Lihua XuNew York University Shanghai
Pre-print
07:48
12m
Talk
RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing System for Touch Screen ApplicationsTechnical
ICSE Technical Papers
Ju QianNanjing University of Aeronautics and Astronautics, Zhengyu ShangNanjing University of Aeronautics and Astronautics, Shuoyan YanNanjing University of Aeronautics and Astronautics, Yan Wang, Lin ChenNanjing University
08:05 - 09:05
I23-Code Artifact AnalysisICSE Paper Presentations / ICSE Journal First / ICSE Technical Papers at Goguryeo
Chair(s): Benoit BaudryKTH Royal Institute of Technology
08:05
12m
Talk
Conquering the Extensional Scalability Problem for Value-Flow Analysis FrameworksTechnical
ICSE Technical Papers
Qingkai ShiThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Cyber Space Security, Xiamen University, Gang FanHong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
08:17
12m
Talk
Pipelining Bottom-up Data Flow AnalysisTechnical
ICSE Technical Papers
Qingkai ShiThe Hong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
08:29
8m
Talk
An Empirical Validation of Oracle ImprovementJ1
ICSE Journal First
Gunel JahangirovaUniversità della Svizzera italiana, David ClarkUniversity College London, Mark Harman, Paolo TonellaUniversità della Svizzera italiana
08:37
8m
Talk
Is Static Analysis Able to Identify Unnecessary Source Code?J1
ICSE Journal First
Roman HaasCQSE GmbH, Rainer NiedermayrCQSE GmbH, Tobias RoehmCQSE GmbH, Sven ApelSaarland University
Pre-print
08:45
8m
Talk
Memory and Resource Leak Defects and Their Repairs in Java ProjectsJ1
ICSE Journal First
Mohammadreza GhanavatiHeidelberg University, Diego CostaConcordia University, Canada, Janos SeboekHeidelberg University, David LoSingapore Management University, Artur AndrzejakHeidelberg University
08:53
8m
Talk
Towards Understanding and Detecting Fake Reviews in App StoresJ1
ICSE Journal First
Daniel MartensUniversity of Hamburg, Walid MaalejUniversity of Hamburg
15:00 - 16:00
A20-SEET - Novel Approaches in SE EducationICSE Software Engineering Education and Training at Goguryeo
Chair(s): Seonah LeeGyeongsang National University
15:00
12m
Talk
Using Public and Free Platform-as-a-Service (PaaS) based Lightweight Projects for Software Architecture EducationSEET
ICSE Software Engineering Education and Training
Zheng LiUniversity of Concepción
15:12
12m
Talk
An Interactive Learning Method to Engage Students in ModelingSEET
ICSE Software Engineering Education and Training
Stephan KruscheTechnische Universität München, Nadine von FrankenbergTechnical University of Munich, Lara Marie ReimerTechnical University of Munich, Bernd BrueggeTU Munich
15:24
12m
Talk
Turn up the Heat!: Using Heat Maps to Visualize Suspicious Code to Help Students Successfully Complete Programming Problems FasterSEET
ICSE Software Engineering Education and Training
Bob EdmisonVirginia Tech, Stephen EdwardsVirginia Tech
15:36
6m
Experience report
Teaching Software Engineering for AI-Enabled SystemsSEET
ICSE Software Engineering Education and Training
Christian KaestnerCarnegie Mellon University, Eunsuk KangCarnegie Mellon University
15:42
12m
Talk
Innovation and Active Learning for Training Mobile App DevelopersSEET
ICSE Software Engineering Education and Training
Fabio BinderPontifícia Universidade Católica do Paraná (PUCPR), Regina AlbuquerquePontifícia Universidade Católica do Paraná (PUCPR), Sheila ReinehrPontifícia Universidade Católica do Paraná (PUCPR), Andreia MalucelliPontifícia Universidade Católica do Paraná (PUCPR)
16:05 - 17:05
16:05
12m
Talk
Caspar: Extracting and Synthesizing User Stories of Problems from App ReviewsTechnical
ICSE Technical Papers
Hui GuoNorth Carolina State University, Munindar P. SinghNorth Carolina State University
16:17
8m
Talk
Dealing with Non-Functional Requirements in Model-Driven Development: A SurveyJ1
ICSE Journal First
David AmellerUniversitat Politècnica de Catalunya, Xavier FranchUniversitat Politècnica de Catalunya, Cristina GómezUniversitat Politècnica de Catalunya, Silverio Martínez-FernándezUPC-BarcelonaTech, João AraújoUniversidade Nova de Lisboa, Stefan BifflVienna University of Technology, Jordi CabotICREA - UOC, Vittorio CortellesaUniversity of L’Aquila, Daniel MendezTechnische Universität München, Ana MoreiraFCT / Universidade Nova de Lisboa, Henry MucciniUniversity of L'Aquila, Italy, Antonio VallecilloUniversity of Málaga, Spain, Manuel WimmerJohannes Kepler University Linz, Vasco AmaralUniversidade Nova de Lisboa, Wolfang BöhmTechnische Universität München, Hugo BrunelièreInria, Mines Nantes & LINA, Loli BurgueñoUniversidad de Malaga, Miguel GoulaoNOVA-LINCS, FCT/UNL, Sabine TeuflFortiss GmbH, Luca BerardinelliJohannes Kepler University Linz
16:25
8m
Talk
Locating Latent Design Information in Developer Discussions: A Study on Pull RequestsJ1
ICSE Journal First
Giovanni VivianiUniversity of British Columbia, Michalis FamelisUniversité de Montréal, Xin XiaMonash University, Calahan Janik-JonesUniversity of Toronto, Gail MurphyUniversity of British Columbia
16:33
8m
Talk
Status Quo in Requirements Engineering: A Theory and a Global Family of SurveysJ1
ICSE Journal First
Stefan WagnerUniversity of Stuttgart
Link to publication DOI Pre-print
16:41
8m
Talk
Corba: Crowdsourcing to Obtain Requirements from Regulations and BreachesJ1
ICSE Journal First
Hui GuoNorth Carolina State University, Ozgur KafaliUniversity of Kent, Anne-Liz JeukengUniversity of Florida, Laurie WilliamsNorth Carolina State University, Munindar P. SinghNorth Carolina State University
16:49
6m
Talk
With Registered Reports Towards Large Scale Data CurationNIER
ICSE New Ideas and Emerging Results
Steffen HerboldUniversity of Göttingen
Pre-print
17:10 - 18:00
Birds of a feather: Reviewing SE research papersICSE Birds of a Feather at Goguryeo
Chair(s): Romain RobbesFree University of Bozen-Bolzano, Mei NagappanUniversity of Waterloo, Matthew B DwyerUniversity of Virginia, Paul RalphDalhousie University
17:10
50m
Social Event
Birds of a feather: Reviewing SE research papers
ICSE Birds of a Feather
Media Attached

Sat 11 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
P26-Deep Learning Testing and DebuggingICSE Paper Presentations / ICSE Technical Papers at Goguryeo
Chair(s): Tim MenziesNorth Carolina State University
00:00
12m
Talk
ReluDiff: Differential Verification of Deep Neural NetworksArtifact ReusableTechnical
ICSE Technical Papers
Brandon PaulsenUniversity of Southern California, Jingbo WangUniversity of Southern California, Chao WangUSC
Pre-print
00:12
12m
Talk
Structure-Invariant Testing for Machine TranslationTechnical
ICSE Technical Papers
Pinjia HeETH Zurich, Clara MeisterETH Zurich, Zhendong SuETH Zurich, Switzerland
00:24
12m
Talk
Automatic Testing and Improvement of Machine TranslationTechnical
ICSE Technical Papers
Zeyu SunPeking University, Jie M. ZhangUniversity College London, UK, Mark HarmanFacebook and University College London, Mike PapadakisUniversity of Luxembourg, Lu ZhangPeking University, China
00:36
12m
Talk
Testing DNN Image Classifier for Confusion & Bias ErrorsArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Yuchi TianColumbia University, Ziyuan ZhongColumbia University, Vicente OrdonezUniversity of Virginia, Gail KaiserColumbia University, Baishakhi RayColumbia University, New York
00:48
12m
Talk
Repairing Deep Neural Networks: Fix Patterns and ChallengesArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Md Johirul IslamIowa State University, Rangeet PanIowa State University, USA, Giang NguyenDept. of Computer Science, Iowa State University, Hridesh RajanIowa State University, USA
01:05 - 02:05
01:05
12m
Talk
SLACC: Simion-based Language Agnostic Code ClonesArtifact ReusableTechnical
ICSE Technical Papers
George MathewNorth Carolina State University, Chris ParninNorth Carolina State University, Kathryn StoleeNorth Carolina State University
Pre-print
01:17
8m
Talk
Near-Duplicate Detection in Web App Model InferenceTechnicalArtifact Available
ICSE Technical Papers
Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Andrea StoccoUniversità della Svizzera italiana, Ali MesbahUniversity of British Columbia
Pre-print
01:25
12m
Talk
JSidentify: A Hybrid Framework for Detecting Plagiarism Among JavaScript Code in Online Mini GamesSEIP
ICSE Software Engineering in Practice
Qun XiaTencent Inc., Zhongzhu Zhou, Zhihao LiTencent Inc., Bin XuTencent Inc., Wei ZouTencent Inc., Zishun ChenTencent Inc., Huafeng MaTencent Inc., Gangqiang LiangTencent Inc., Haochuan LuFudan University, Shiyu GuoTencent Inc., Ting XiongTencent Inc., Yuetang DengTencent, Inc., Tao XiePeking University
01:37
12m
Talk
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep LearningACM SIGSOFT Distinguished Paper AwardsTechnical
ICSE Technical Papers
Jieshan ChenAustralian National University, Chunyang ChenMonash University, Zhenchang XingAustralia National University, Xiwei XuData 61, Liming ZhuCSIRO's Data61 and UNSW, Guoqiang LiShanghai Jiao Tong University, Jinshui WangSchool of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
01:49
3m
Talk
DroidMutator: An Effective Mutation Analysis Tool for Android ApplicationsDemo
ICSE Demonstrations
Jian LiuEast China Normal University, Xusheng XiaoCase Western Reserve University, Lihua XuNew York University Shanghai, Liang DouEast China Normal University, Andy PodgurskiCase Western University
01:52
3m
Talk
BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache SparkDemo
ICSE Demonstrations
Muhammad Ali GulzarUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research, Miryung KimUniversity of California, Los Angeles
15:00 - 16:00
A26-Bugs and RepairICSE Paper Presentations / ICSE Journal First / ICSE Technical Papers at Goguryeo
Chair(s): Davide FalessiCalifornia Polytechnic State University
15:00
12m
Talk
Simulee: Detecting CUDA Synchronization Bugs via Memory-Access ModelingTechnical
ICSE Technical Papers
Mingyuan WuSouthern University of Science and Technology, Yicheng OuyangSouthern University of Science and Technology, Husheng ZhouThe University of Texas at Dallas, Lingming ZhangThe University of Texas at Dallas, Cong LiuUT Dallas, Yuqun ZhangSouthern University of Science and Technology
15:12
8m
Talk
Fine-Grained Dynamic Resource Allocation for Big-Data ApplicationsJ1
ICSE Journal First
Luciano BaresiPolitecnico di Milano, Alberto LevaPolitecnico di Milano, Giovanni QuattrocchiPolitecnico di Milano
15:20
8m
Talk
The Assessor's Dilemma: Improving Bug Repair via Empirical Game TheoryJ1
ICSE Journal First
Carlos Gavidia-CalderonUniversity College London, Federica SarroUniversity College London, UK, Mark HarmanFacebook and University College London, Earl T. BarrUniversity College London, UK
Link to publication DOI Pre-print Media Attached
15:28
8m
Talk
FixMiner: Mining Relevant Fix Patterns for Automated Program RepairJ1
ICSE Journal First
Anil KoyuncuUniversity of Luxembourg, Luxembourg, Kui LiuNanjing University of Aeronautics and Astronautics, Tegawendé F. BissyandéSnT, University of Luxembourg, Dongsun KimFuriosa.ai, Jacques KleinUniversity of Luxembourg, SnT, Martin MonperrusKTH Royal Institute of Technology, Yves Le TraonUniversity of Luxembourg
Pre-print
15:36
8m
Talk
IntRepair: Informed Repairing of Integer OverflowsJ1
ICSE Journal First
Paul MunteanTU Munich, Martin MonperrusKTH Royal Institute of Technology, Hao SunUnaffiliated, Jens GrossklagsTechnical University of Munich, Claudia EckertTechnical University of Munich
15:44
12m
Talk
DLFix: Context-based Code Transformation Learning for Automated Program RepairTechnical
ICSE Technical Papers
Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas
16:05 - 17:05
A29-Code Analysis and VerificationICSE Paper Presentations / ICSE Technical Papers / ICSE New Ideas and Emerging Results at Goguryeo
Chair(s): Elena ShermanBoise State University
16:05
12m
Talk
Heaps'n Leaks: How Heap Snapshots Improve Android Taint AnalysisArtifact ReusableTechnicalArtifact Available
ICSE Technical Papers
Manuel BenzUniversity of Paderborn, Erik Krogh KristensenGitHub, Linghui LuoPaderborn University, Germany, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Andreas ZellerCISPA Helmholtz Center for Information Security
Media Attached File Attached
16:17
12m
Talk
Verifying Object ConstructionTechnicalArtifact Available
ICSE Technical Papers
Martin KelloggUniversity of Washington, Seattle, Manli RanUniversity of California, Riverside, Manu SridharanUniversity of California Riverside, Martin SchäfAmazon Web Services, USA, Michael D. ErnstUniversity of Washington, USA
16:29
6m
Talk
Predictive Constraint Solving and AnalysisNew Ideas and Emerging Results Distinguished Paper AwardsNIER
ICSE New Ideas and Emerging Results
Alyas AlmaawiThe University of Texas at Austin, Nima DiniUniversity of Texas at Austin, Cagdas YelenThe University of Texas at Austin, Milos GligoricThe University of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin, USA
16:35
12m
Talk
When APIs are Intentionally Bypassed: An Exploratory Study of API WorkaroundsTechnical
ICSE Technical Papers
Maxime LamotheConcordia University, Weiyi ShangConcordia University
Pre-print
16:47
12m
Talk
Demystify Official API Usage Directives with Crowdsourced API Misuse Scenarios, Erroneous Code Examples and PatchesTechnical
ICSE Technical Papers
Xiaoxue RenZhejiang University, Zhenchang XingAustralia National University, Jiamou SunAustralian National University, Xin XiaMonash University, Jianling SunZhejiang University

Mon 13 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

07:00 - 09:00
Session 1: Keynote and Q+A of paper presentationsFormaliSE at Goguryeo
07:00
60m
Talk
SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
FormaliSE
K: Shahar MaozTel Aviv University
08:00
60m
Live Q&A
Q&A to authors of pre-recorded paper presentations
FormaliSE
15:00 - 17:00
Session 2: Keynote and Q+A of paper presentationsFormaliSE at Goguryeo
15:00
60m
Talk
On the Probabilistic Analysis of Neural Networks
FormaliSE
K: Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
16:00
60m
Live Q&A
Q&A to authors of pre-recorded paper presentations
FormaliSE

Mon 13 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room2:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Goguryeo

Wed 8 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Goguryeo

Thu 9 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:00153045
Goguryeo

Fri 10 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Goguryeo

Sat 11 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Goguryeo

Mon 13 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change