Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 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

Displayed time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00
Special topic: Work Life BalanceICSE 2020 Ask Me Anything at Goguryeo
02:10
50m
Social Event
Ask Me Anything - Jon Whittle
ICSE 2020 Ask Me Anything
Jon Whittle Monash University
File Attached
07:00 - 08:00
I2-SecurityNew Ideas and Emerging Results / Technical Papers at Goguryeo
Chair(s): Andrea Stocco Università della Svizzera italiana
07:00
12m
Talk
Targeted Greybox Fuzzing with Static Lookahead AnalysisTechnical
Technical Papers
Valentin Wüstholz ConsenSys Diligence, Maria Christakis MPI-SWS
Pre-print
07:12
12m
Talk
HyDiff: Hybrid Differential Software AnalysisArtifact ReusableTechnicalArtifact Available
Technical Papers
Yannic Noller Humboldt-Universität zu Berlin, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Marcel Böhme Monash University, Youcheng Sun Queen's University Belfast, Hoang Lam Nguyen Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin
Pre-print
07:24
12m
Talk
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of UncertaintyTechnical
Technical Papers
Xiyue Zhang Peking University, Xiaofei Xie Nanyang Technological University, Lei Ma Kyushu University, Xiaoning Du Nanyang Technological University, Qiang Hu Kyushu University, Japan, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University, Meng Sun Peking 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
Technical Papers
Anastasia Danilova University of Bonn, Alena Naiakshina University of Bonn, Matthew Smith University of Bonn, Fraunhofer FKIE
07:48
6m
Talk
Hey, my data are mine! Active data to empower the userNIER
New Ideas and Emerging Results
Gian Luca Scoccia University of L'Aquila, Matteo Maria Fiore University of L'Aquila, Patrizio Pelliccione University of L'Aquila and Chalmers | University of Gothenburg, Marco Autili University of L'Aquila, Italy, Paola Inverardi University of L'Aquila, Alejandro Russo Chalmers University of Technology, Sweden
07:54
6m
Talk
Threat modeling: from infancy to maturityNIER
New Ideas and Emerging Results
Koen Yskout imec - DistriNet, KU Leuven, Thomas Heyman Toreon, Dimitri Van Landuyt Katholieke Universiteit Leuven, Laurens Sion imec-DistriNet, KU Leuven, Kim Wuyts imec-DistriNet, KU Leuven, Wouter Joosen Katholieke Universiteit Leuven
Pre-print
08:05 - 09:05
I5-Deep Learning Testing and DebuggingTechnical Papers / Demonstrations at Goguryeo
Chair(s): Pooyan Jamshidi University of South Carolina
08:05
12m
Talk
DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer DissectionTechnical
Technical Papers
Huiyan Wang State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Jingwei Xu Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
08:17
12m
Talk
White-box Fairness Testing through Adversarial SamplingACM SIGSOFT Distinguished Paper AwardsTechnical
Technical Papers
Peixin Zhang Zhejiang University, Jingyi Wang National University of Singapore, Singapore, Jun Sun Singapore Management University, Guoliang Dong Computer College of Zhejiang University, Xinyu Wang Zhejiang University, Xingen Wang Zhejiang University, Jin Song Dong National University of Singapore, Dai Ting Huawei Corporation
08:29
3m
Talk
FeatureNET: Diversity-driven Generation of Deep Learning ModelsDemo
Demonstrations
Salah Ghamizi SntT - University of Luxembourg, Maxime Cordy SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg
08:32
3m
Talk
EvalDNN: A Toolbox for Evaluating Deep Neural Network ModelsDemo
Demonstrations
Yongqiang TIAN The Hong Kong University of Science and Technology, Zhihua Zeng Zhejiang University, Ming Wen Huazhong University of Science and Technology, China, Yepang Liu Southern University of Science and Technology, Tzu-yang Kuo The Hong Kong University of Science and Technology, Shing-Chi Cheung Department 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
Technical Papers
Nargiz Humbatova Università della Svizzera italiana, Gunel Jahangirova Università della Svizzera italiana, Gabriele Bavota Università della Svizzera italiana, Vincenzo Riccio Università della Svizzera italiana, Andrea Stocco Università della Svizzera italiana, Paolo Tonella Università della Svizzera italiana
08:47
12m
Talk
An Empirical Study on Program Failures of Deep Learning JobsACM SIGSOFT Distinguished Paper AwardsTechnical
Technical Papers
Ru Zhang Microsoft Research, Wencong Xiao Alibaba, Hongyu Zhang University of Newcastle, Australia, Yu Liu Microsoft Research, Haoxiang Lin Microsoft Research, Mao Yang Microsoft Research
09:10 - 10:00
Students meeting students-ICSE QuizStudents Meeting Students at Goguryeo
Chair(s): Faeq Alrimawi , Ali Farahani , Fanny Rivera Ortiz University College Dublin & Lero
09:10
50m
Social Event
ICSE Quiz
Students Meeting Students

15:00 - 16:00
15:00
12m
Talk
Studying the Use of Java Logging Utilities in the WildTechnical
Technical Papers
Boyuan Chen York University, Zhen Ming (Jack) Jiang York University
Authorizer link Pre-print
15:12
12m
Talk
Causal Testing: Understanding Defects' Root CausesACM SIGSOFT Distinguished Artifact AwardsArtifact ReusableTechnicalArtifact Available
Technical Papers
Brittany Johnson University of Massachusetts Amherst, Yuriy Brun University of Massachusetts Amherst, Alexandra Meliou University 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
Journal First
Yi Zeng Concordia University, Jinfu Chen Concordia University, Canada, Weiyi Shang Concordia University, Tse-Hsun (Peter) Chen Concordia University
Authorizer link Pre-print
15:32
6m
Talk
Automatically Predicting Bug Severity Early in the Development ProcessNIER
New Ideas and Emerging Results
Jude Arokiam Ontario Tech University, Jeremy Bradbury Ontario Tech University
15:38
8m
Talk
A Survey on Adaptive Random TestingJ1
Journal First
Rubing Huang Jiangsu University, Weifeng Sun Jiangsu University, Yinyin Xu Jiangsu University, Haibo Chen Jiangsu University, Dave Towey University of Nottingham Ningbo China, Xin Xia Monash University
15:46
12m
Talk
Code Level Model-Checking in the Software Development WorkflowArtifact ReusableArtifact AvailableSEIP
Software Engineering in Practice
Nathan Chong Amazon, Byron Cook Amazon, Konstantinos Kallas University of Pennsylvania, Kareem Khazem Amazon, Felipe R. Monteiro Amazon, Daniel Schwartz-Narbonne Amazon, n.n., Serdar Tasiran Amazon, n.n., Michael Tautschnig Amazon Web Services, Mark R. Tuttle Amazon
Pre-print Media Attached
16:05 - 17:05
A5-Testing and Debugging 2Demonstrations / New Ideas and Emerging Results / Technical Papers at Goguryeo
Chair(s): Marcelo d'Amorim Federal University of Pernambuco
16:05
12m
Talk
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic ExecutionArtifact ReusableTechnicalArtifact Available
Technical Papers
Hui Guo University of California, Davis, Cindy Rubio-González University of California, Davis
16:17
12m
Talk
A Study on the Lifecycle of Flaky TestsTechnical
Technical Papers
Wing Lam University of Illinois at Urbana-Champaign, Kıvanç Muşlu Microsoft, Hitesh Sajnani Microsoft , Suresh Thummalapenta Microsoft
16:29
6m
Talk
Is Your Quantum Program Bug-Free?New Ideas and Emerging Results Distinguished Paper AwardsNIER
New Ideas and Emerging Results
Andriy Miranskyy Ryerson University, Lei Zhang Ryerson University, Javad Doliskani Ryerson University, Toronto, Canada
Pre-print
16:35
3m
Talk
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test ScenariosDemo
Demonstrations
Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
16:38
12m
Talk
Ankou: Guiding Grey-box Fuzzing towards Combinatorial DifferenceArtifact ReusableTechnicalArtifact Available
Technical Papers
Valentin Manès CSRC, KAIST, Soomin Kim KAIST, Sang Kil Cha KAIST
16:50
3m
Talk
PG-KLEE: Trading Soundness for CoverageDemo
Demonstrations
Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
16:53
6m
Talk
Blending Kinematic and Software Models for Tighter Reachability AnalysisNIER
New Ideas and Emerging Results
Carl Hildebrandt University of Virginia, Sebastian Elbaum University of Virginia, USA, Nicola Bezzo University of Virginia

Wed 8 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
P8-SEET - Novel Approaches in SE Education and OthersSoftware Engineering Education and Training at Goguryeo
Chair(s): Casper Lassenius Aalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
00:00
12m
Talk
Enriching Programming Student Feedback with Audio CommentsSEET
Software Engineering Education and Training
Jake Renzella Deakin University, Andrew Cain Deakin University
00:12
12m
Talk
GidgetML: An Adaptive Serious Game for Enhancing First Year Programming LabsSEET
Software Engineering Education and Training
Michael Miljanovic Ontario Tech University, Jeremy Bradbury Ontario Tech University
00:24
6m
Experience report
Exploiting Group Shuffling Dynamics to Convey the Importance of Good Software DesignSEET
Software Engineering Education and Training
Jose Benedetto PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE, Jaime Navon PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
00:30
12m
Talk
Authentic Individual Assessment for Team-based Software Engineering ProjectsSEET
Software Engineering Education and Training
Laura Tubino Deakin University, Andrew Cain Deakin University, Jean-Guy Schneider Deakin University, Dhananjay Thiruvady Deakin University, Niroshinie Fernando Deakin University
00:42
12m
Talk
Adopting Industry Agile Practices in Large-scale Capstone EducationSEET
Software Engineering Education and Training
Jean-Guy Schneider Deakin University, Peter Eklund Deakin University, Kevin Lee Deakin University, Feifei Chen Deakin University, Andrew Cain Deakin University, Mohamed Abdelrazek Deakin University
01:05 - 02:05
P11-Natural Language ArtifactsJournal First / Technical Papers at Goguryeo
Chair(s): Jane Cleland-Huang University of Notre Dame
01:05
8m
Talk
Neural Network Based Classification of Self-admitted Technical Debt: From Performance to Explainability and DeployabilityJ1
Journal First
Xiaoxue Ren Zhejiang University, Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University, Xinyu Wang Zhejiang University, John Grundy Monash University
01:13
8m
Talk
Domain-specific Machine Translation with Recurrent Neural Network for Software LocalizationJ1
Journal First
Xu Wang College of Engineering & Computer ScienceAustralian National University, Canberra, Australia, Chunyang Chen Monash University, Zhenchang Xing Australia National University
01:21
12m
Talk
Mitigating Turnover with Code Review Recommendation: Balancing Expertise, Workload, and Knowledge DistributionTechnicalArtifact Available
Technical Papers
Ehsan Mirsaeedi Concordia University, Peter Rigby Concordia University, Montreal, Canada
09:10 - 10:00
Ask me about impact (or anything) - Andreas ZellerICSE 2020 Ask Me Anything at Goguryeo
09:10
50m
Live Q&A
Ask Me Anything - Andreas Zeller
ICSE 2020 Ask Me Anything
Andreas Zeller CISPA Helmholtz Center for Information Security
Media Attached
15:00 - 16:00
A8-Machine Learning and ModelsJournal First / Technical Papers at Goguryeo
Chair(s): Liliana Pasquale University College Dublin & Lero
15:00
8m
Talk
Improving Vulnerability Inspection Efficiency Using Active LearningJ1
Journal First
Zhe Yu NORTH CAROLINA STATE UNIVERSITY, Chris Theisen Microsoft, Laurie Williams North Carolina State University, Tim Menzies North Carolina State University
15:08
8m
Talk
How Bugs Are Born: A Model to Identify How Bugs Are Introduced in Software ComponentsJ1
Journal First
Gema Rodríguez-Pérez University of Waterloo, Canada, Gregorio Robles Universidad Rey Juan Carlos, Alexander Serebrenik Eindhoven University of Technology, Andy Zaidman TU Delft, Daniel M. German University of Victoria, Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos
DOI Pre-print
15:16
8m
Talk
How to “DODGE” Complex Software AnalyticsJ1
Journal First
Amritanshu Agrawal Wayfair, Wei Fu Landing AI, Di Chen North Carolina State University, USA, Xipeng Shen North Carolina State University, Tim Menzies North Carolina State University
15:24
12m
Talk
Importance-Driven Deep Learning System TestingTechnical
Technical Papers
Simos Gerasimou University of York, UK, Hasan Ferit Eniser MPI-SWS, Alper Sen Bogazici University, Turkey, Alper Çakan Bogazici University, Turkey
15:36
12m
Talk
Quickly Generating Diverse Valid Test Inputs with Reinforcement LearningArtifact ReusableTechnicalArtifact Available
Technical Papers
Sameer Reddy University of California, Berkeley, Caroline Lemieux University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley
15:48
8m
Talk
Impact of Discretization Noise of the Dependent variable on Machine Learning Classifiers in Software EngineeringJ1
Journal First
Gopi Krishnan Rajbahadur Queen's University, Shaowei Wang Mississippi State University, Yasutaka Kamei Kyushu University, Ahmed E. Hassan Queen's University
16:05 - 17:05
A11-Performance and AnalysisNew Ideas and Emerging Results / Journal First / Technical Papers / Demonstrations at Goguryeo
Chair(s): Pooyan Jamshidi University of South Carolina
16:05
3m
Talk
Nimbus: Improving the Developer Experience for Serverless ApplicationsDemo
Demonstrations
Robert Chatley Imperial College London, Thomas Allerton Starling Bank
Pre-print
16:08
8m
Talk
Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case GenerationJ1
Journal First
Giovanni Grano University of Zurich, Christoph Laaber University of Zurich, Annibale Panichella Delft University of Technology, Sebastiano Panichella Zurich 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
Journal First
Diego Costa Concordia University, Canada, Cor-Paul Bezemer University of Alberta, Canada, Philipp Leitner Chalmers University of Technology & University of Gothenburg, Artur Andrzejak Heidelberg 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
Technical Papers
Zishuo Ding Concordia University, Canada, Jinfu Chen Concordia University, Canada, Weiyi Shang Concordia University
Pre-print
16:36
8m
Talk
ModGuard: Identifying Integrity & Confidentiality Violations in Java ModulesJ1
Journal First
Andreas Dann Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI
16:44
6m
Talk
Program Debloating via Stochastic OptimizationNIER
New Ideas and Emerging Results
Qi Xin Georgia Institute of Technology, Myeongsoo Kim Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, USA, Alessandro Orso Georgia Tech
16:50
8m
Talk
The ORIS Tool: Quantitative Evaluation of Non-Markovian SystemsJ1
Journal First
Marco Paolieri University of Southern California, Marco Biagi University of Florence, Laura Carnevali University of Florence, Enrico Vicario University of Florence

Thu 9 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
P14-TestingTechnical Papers / Software Engineering in Practice at Goguryeo
Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology
00:00
12m
Talk
Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don’t GuidelinesTechnical
Technical Papers
Dehai Zhao Australian National University, Zhenchang Xing Australia National University, Chunyang Chen Monash University, Xiwei Xu Data 61, Liming Zhu CSIRO's Data61 and UNSW, Guoqiang Li Shanghai Jiao Tong University, Jinshui Wang School 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
Technical Papers
Xiang Gao National University of Singapore, Singapore, Ripon Saha Fujitsu Laboratories of America, Inc., Mukul R. Prasad Fujitsu Laboratories of America, Inc, Abhik Roychoudhury National University of Singapore, Singapore
00:24
12m
Talk
Modeling and Ranking Flaky Tests at AppleSEIP
Software Engineering in Practice
Emily Kowalczyk Apple Inc., Karan Nair Apple, Zebao Gao Apple, Leopold Silberstein Apple Inc., Teng Long Apple, Atif Memon Apple Inc.
00:36
12m
Talk
Testing File System Implementations on Layered ModelsTechnicalArtifact Available
Technical Papers
Dongjie Chen Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
00:48
12m
Talk
A Cost-efficient Approach to Building in Continuous IntegrationTechnical
Technical Papers
Xianhao Jin Virginia Tech, USA, Francisco Servant Virginia Tech
Pre-print
01:05 - 02:05
P17-Software DevelopmentJournal First / Technical Papers / Demonstrations at Goguryeo
Chair(s): Minghui Zhou Peking University
01:05
8m
Talk
Improving the Pull Requests Review Process Using Learning-to-rank AlgorithmsJ1
Journal First
Guoliang Zhao Computer Science of Queen's University, Daniel Alencar Da Costa University of Otago, Ying Zou Queen's University, Kingston, Ontario
01:13
8m
Talk
Understanding the motivations, challenges and needs of Blockchain software developers: a surveyJ1
Journal First
Amiangshu Bosu Wayne State University, Anindya Iqbal Bangladesh University of Engineering and Technology Dhaka, Bangladesh, Rifat Shahriyar Bangladesh University of Engineering and Technology Dhaka, Bangladesh, Partho Chakraborty Bangladesh 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
Technical Papers
01:33
12m
Talk
A Tale from the Trenches: Cognitive Biases and Software DevelopmentACM SIGSOFT Distinguished Paper AwardsTechnical
Technical Papers
Souti Chattopadhyay Graduate Student, Nicholas Nelson Oregon State University, Audrey Au Oregon State University, Natalia Morales Oregon State University, Christopher Sanchez Oregon State University, Rahul Pandita Phase Change Software, Anita Sarma Oregon State University
01:45
3m
Talk
VITALSE: Visualizing Eye Tracking and Biometric DataDemo
Demonstrations
Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington State University
Pre-print
02:10 - 03:00
Ask me about tips for grant writing, etcICSE 2020 Ask Me Anything at Goguryeo
02:10
50m
Social Event
Ask Me Anything - John Grundy
ICSE 2020 Ask Me Anything
John Grundy Monash University
07:00 - 08:00
I14-SEET - Industry Relevant Teaching and OthersSoftware Engineering Education and Training at Goguryeo
Chair(s): Letizia Jaccheri Norwegian University of Science and Technology
07:00
12m
Talk
Addressing the Double Challenge of Learning and Teaching Enterprise Technologies through Peer TeachingSEET
Software Engineering Education and Training
Richard Glassey KTH Royal Institute of Technology, Olle Bälter KTH Royal Institute of Technology, Philipp Haller KTH Royal Institute of Technology, Mattias Wiggberg KTH Royal Institute of Technology
07:12
12m
Talk
Characterizing the Pedagogical Benefits of Adaptive Feedback for Compilation Errors by Novice ProgrammersSEET
Software Engineering Education and Training
Umair Z. Ahmed National University of Singapore, Nisheeth Srivastava Indian Institute of Technology, Kanpur, Renuka Sindhgatta Queensland University of Technology, Australia, Amey Karkare IIT Kanpur
07:24
12m
Talk
VeriSIM: A Learning Environment for Comprehending Class and Sequence Diagrams using Design TracingSEET
Software Engineering Education and Training
Prajish Prasad IIT Bombay, Sridhar Iyer IIT Bombay
07:36
12m
Talk
Towards an Open Repository for Teaching Software Modeling applying Active Learning StrategiesSEET
Software Engineering Education and Training
Williamson Silva UFAM, Bruno Gadelha UFAM, Igor Steinmacher Northern Arizona University, Tayana Conte Universidade Federal do Amazonas
07:48
12m
Talk
What prevents Finnish women from applying to software engineering roles? A preliminary analysis of survey dataSEET
Software Engineering Education and Training
Annika Wolff LUT University, Antti Knutas LUT University, Paula Savolainen Turku University of Applied Sciences
Pre-print
08:05 - 09:05
I17-Contracts and AnalysisDemonstrations / Technical Papers / Software Engineering in Practice / Journal First at Goguryeo
Chair(s): Jaechang Nam Handong Global University
08:05
10m
Talk
How to reduce risk effectively in fixed price software developmentSEIP
Software Engineering in Practice
Volker Gruhn University Duisburg-Essen, Niklas Spitczok von Brisinski adesso AG
08:15
10m
Talk
Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart ContractsDemo
Demonstrations
Zhiqiang Yang Oxford-Hainan Blockchain Research Institute, Han Liu Tsinghua University, Yue Li Oxford-Hainan Blockchain Research Institute, Huixuan Zheng Oxford-Hainan Blockchain Research Institute, Lei Wang Oxford-Hainan Blockchain Research Institute, Bangdao Chen Oxford-Hainan Blockchain Research Institute
08:25
10m
Talk
Escape from Escape Analysis of GolangSEIP
Software Engineering in Practice
Cong Wang Tsinghua University, Mingrui Zhang Tsinghua University, Beijing, China, Yu Jiang , Huafeng Zhang Huawei Technologies, Hangzhou, China, Zhenchang Xing Australia National University, Ming Gu
08:35
10m
Talk
Smart Contract Development: Challenges and OpportunitiesJ1
Journal First
Weiqin Zou Nanjing University, David Lo Singapore Management University, Pavneet Singh Kochhar Microsoft, Xuan-Bach D. Le Singapore Management University, Singapore, Xin Xia Monash University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University
08:45
10m
Talk
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart ContractsArtifact ReusableTechnicalArtifact Available
Technical Papers
Thomas Durieux KTH Royal Institute of Technology, Sweden, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID, Pedro Cruz IST, 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
Journal First
Chang-ai Sun University of Science and Technology Beijing, An Fu University of Science and Technology Beijing, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Huai Liu Swinburne University of Technology, Tsong Yueh Chen Swinburne University of Technology

Fri 10 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

07:00 - 08:00
I20-Android TestingTechnical Papers at Goguryeo
Chair(s): Shing-Chi Cheung Department 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
Technical Papers
Jiwei Yan Institute of Software, Chinese Academy of Sciences, Hao Liu Beijing University of Technology, Linjie Pan Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software, Chinese Academy of Sciences, Bin Liang Renmin University of China, China
07:12
12m
Talk
Time-travel Testing of Android AppsACM SIGSOFT Distinguished Paper AwardsArtifact ReusableTechnicalArtifact Available
Technical Papers
Zhen Dong National University of Singapore, Marcel Böhme Monash University, Lucia Cojocaru Politehnica University of Bucharest, Abhik Roychoudhury National University of Singapore, Singapore
07:24
12m
Talk
Collaborative Bug Finding for Android AppsTechnical
Technical Papers
Shin Hwei Tan Southern University of Science and Technology, Ziqiang Li Southern University of Science and Technology
Media Attached File Attached
07:36
12m
Talk
An Empirical Assessment of Security Risks of Global Android Banking AppsTechnical
Technical Papers
Sen Chen Nanyang Technological University, Singapore, Lingling Fan Nanyang Technological University, Singapore, Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Ting Su ETH Zurich, Switzerland, Jason Minhui Xue The University of Adelaide, Yinxing Xue , Yang Liu Nanyang Technological University, Singapore, Lihua Xu New York University Shanghai
Pre-print
07:48
12m
Talk
RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing System for Touch Screen ApplicationsTechnical
Technical Papers
Ju Qian Nanjing University of Aeronautics and Astronautics, Zhengyu Shang Nanjing University of Aeronautics and Astronautics, Shuoyan Yan Nanjing University of Aeronautics and Astronautics, Yan Wang , Lin Chen Nanjing University
08:05 - 09:05
I23-Code Artifact AnalysisJournal First / Technical Papers at Goguryeo
Chair(s): Benoit Baudry KTH Royal Institute of Technology
08:05
12m
Talk
Conquering the Extensional Scalability Problem for Value-Flow Analysis FrameworksTechnical
Technical Papers
Qingkai Shi The Hong Kong University of Science and Technology, Rongxin Wu Department of Cyber Space Security, Xiamen University, Gang Fan Hong Kong University of Science and Technology, Charles Zhang The Hong Kong University of Science and Technology
08:17
12m
Talk
Pipelining Bottom-up Data Flow AnalysisTechnical
Technical Papers
Qingkai Shi The Hong Kong University of Science and Technology, Charles Zhang The Hong Kong University of Science and Technology
08:29
8m
Talk
An Empirical Validation of Oracle ImprovementJ1
Journal First
Gunel Jahangirova Università della Svizzera italiana, David Clark University College London, Mark Harman , Paolo Tonella Università della Svizzera italiana
08:37
8m
Talk
Is Static Analysis Able to Identify Unnecessary Source Code?J1
Journal First
Roman Haas CQSE GmbH, Rainer Niedermayr CQSE GmbH, Tobias Roehm CQSE GmbH, Sven Apel Saarland University
Pre-print
08:45
8m
Talk
Memory and Resource Leak Defects and Their Repairs in Java ProjectsJ1
Journal First
Mohammadreza Ghanavati Heidelberg University, Diego Costa Concordia University, Canada, Janos Seboek Heidelberg University, David Lo Singapore Management University, Artur Andrzejak Heidelberg University
08:53
8m
Talk
Towards Understanding and Detecting Fake Reviews in App StoresJ1
Journal First
Daniel Martens University of Hamburg, Walid Maalej University of Hamburg
15:00 - 16:00
A20-SEET - Novel Approaches in SE EducationSoftware Engineering Education and Training at Goguryeo
Chair(s): Seonah Lee Gyeongsang National University
15:00
12m
Talk
Using Public and Free Platform-as-a-Service (PaaS) based Lightweight Projects for Software Architecture EducationSEET
Software Engineering Education and Training
Zheng Li University of Concepción
15:12
12m
Talk
An Interactive Learning Method to Engage Students in ModelingSEET
Software Engineering Education and Training
Stephan Krusche Technische Universität München, Nadine von Frankenberg Technical University of Munich, Lara Marie Reimer Technical University of Munich, Bernd Bruegge TU Munich
15:24
12m
Talk
Turn up the Heat!: Using Heat Maps to Visualize Suspicious Code to Help Students Successfully Complete Programming Problems FasterSEET
Software Engineering Education and Training
Bob Edmison Virginia Tech, Stephen Edwards Virginia Tech
15:36
6m
Experience report
Teaching Software Engineering for AI-Enabled SystemsSEET
Software Engineering Education and Training
Christian Kästner Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
15:42
12m
Talk
Innovation and Active Learning for Training Mobile App DevelopersSEET
Software Engineering Education and Training
Fabio Binder Pontifícia Universidade Católica do Paraná (PUCPR), Regina Albuquerque Pontifícia Universidade Católica do Paraná (PUCPR), Sheila Reinehr Pontifícia Universidade Católica do Paraná (PUCPR), Andreia Malucelli Pontifícia Universidade Católica do Paraná (PUCPR)
16:05 - 17:05
A23-RequirementsJournal First / Technical Papers / New Ideas and Emerging Results at Goguryeo
Chair(s): Dalal Alrajeh Imperial College London
16:05
12m
Talk
Caspar: Extracting and Synthesizing User Stories of Problems from App ReviewsTechnical
Technical Papers
Hui Guo North Carolina State University, Munindar P. Singh North Carolina State University
16:17
8m
Talk
Dealing with Non-Functional Requirements in Model-Driven Development: A SurveyJ1
Journal First
David Ameller Universitat Politècnica de Catalunya, Xavier Franch Universitat Politècnica de Catalunya, Cristina Gómez Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, João Araújo Universidade Nova de Lisboa, Stefan Biffl Vienna University of Technology, Jordi Cabot ICREA - UOC, Vittorio Cortellesa University of L’Aquila, Daniel Mendez Technische Universität München, Ana Moreira FCT / Universidade Nova de Lisboa, Henry Muccini University of L'Aquila, Italy, Antonio Vallecillo University of Málaga, Spain, Manuel Wimmer Johannes Kepler University Linz, Vasco Amaral Universidade Nova de Lisboa, Wolfang Böhm Technische Universität München, Hugo Brunelière Inria, Mines Nantes & LINA, Loli Burgueño Universidad de Malaga, Miguel Goulao NOVA-LINCS, FCT/UNL, Sabine Teufl Fortiss GmbH, Luca Berardinelli Johannes Kepler University Linz
16:25
8m
Talk
Locating Latent Design Information in Developer Discussions: A Study on Pull RequestsJ1
Journal First
Giovanni Viviani University of British Columbia, Michalis Famelis Université de Montréal, Xin Xia Monash University, Calahan Janik-Jones University of Toronto, Gail Murphy University of British Columbia
16:33
8m
Talk
Status Quo in Requirements Engineering: A Theory and a Global Family of SurveysJ1
Journal First
Stefan Wagner University of Stuttgart
Link to publication DOI Pre-print
16:41
8m
Talk
Corba: Crowdsourcing to Obtain Requirements from Regulations and BreachesJ1
Journal First
Hui Guo North Carolina State University, Ozgur Kafali University of Kent, Anne-Liz Jeukeng University of Florida, Laurie Williams North Carolina State University, Munindar P. Singh North Carolina State University
16:49
6m
Talk
With Registered Reports Towards Large Scale Data CurationNIER
New Ideas and Emerging Results
Steffen Herbold University of Göttingen
Pre-print
17:10 - 18:00
Birds of a feather: Reviewing SE research papersBirds of a Feather at Goguryeo
Chair(s): Matthew B Dwyer University of Virginia, Mei Nagappan University of Waterloo, Paul Ralph Dalhousie University, Romain Robbes Free University of Bozen-Bolzano
17:10
50m
Social Event
Birds of a feather: Reviewing SE research papers
Birds of a Feather

Media Attached

Sat 11 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
P26-Deep Learning Testing and DebuggingTechnical Papers at Goguryeo
Chair(s): Tim Menzies North Carolina State University
00:00
12m
Talk
ReluDiff: Differential Verification of Deep Neural NetworksArtifact ReusableTechnical
Technical Papers
Brandon Paulsen University of Southern California, Jingbo Wang University of Southern California, Chao Wang USC
Pre-print
00:12
12m
Talk
Structure-Invariant Testing for Machine TranslationTechnical
Technical Papers
Pinjia He ETH Zurich, Clara Meister ETH Zurich, Zhendong Su ETH Zurich, Switzerland
00:24
12m
Talk
Automatic Testing and Improvement of Machine TranslationTechnical
Technical Papers
Zeyu Sun Peking University, Jie M. Zhang University College London, UK, Mark Harman Facebook and University College London, Mike Papadakis University of Luxembourg, Lu Zhang Peking University, China
00:36
12m
Talk
Testing DNN Image Classifier for Confusion & Bias ErrorsArtifact ReusableTechnicalArtifact Available
Technical Papers
Yuchi Tian Columbia University, Ziyuan Zhong Columbia University, Vicente Ordonez University of Virginia, Gail Kaiser Columbia University, Baishakhi Ray Columbia University, New York
00:48
12m
Talk
Repairing Deep Neural Networks: Fix Patterns and ChallengesArtifact ReusableTechnicalArtifact Available
Technical Papers
Md Johirul Islam Iowa State University, Rangeet Pan Iowa State University, USA, Giang Nguyen Dept. of Computer Science, Iowa State University, Hridesh Rajan Iowa State University, USA
01:05 - 02:05
P29-Android and Web TestingDemonstrations / Technical Papers / Software Engineering in Practice at Goguryeo
Chair(s): Hironori Washizaki Waseda University
01:05
12m
Talk
SLACC: Simion-based Language Agnostic Code ClonesArtifact ReusableTechnical
Technical Papers
George Mathew North Carolina State University, Chris Parnin North Carolina State University, Kathryn Stolee North Carolina State University
Pre-print
01:17
8m
Talk
Near-Duplicate Detection in Web App Model InferenceTechnicalArtifact Available
Technical Papers
Rahulkrishna Yandrapally University of British Columbia, Canada, Andrea Stocco Università della Svizzera italiana, Ali Mesbah University of British Columbia
Pre-print
01:25
12m
Talk
JSidentify: A Hybrid Framework for Detecting Plagiarism Among JavaScript Code in Online Mini GamesSEIP
Software Engineering in Practice
Qun Xia Tencent Inc., Zhongzhu Zhou , Zhihao Li Tencent Inc., Bin Xu Tencent Inc., Wei Zou Tencent Inc., Zishun Chen Tencent Inc., Huafeng Ma Tencent Inc., Gangqiang Liang Tencent Inc., Haochuan Lu Fudan University, Shiyu Guo Tencent Inc., Ting Xiong Tencent Inc., Yuetang Deng Tencent, Inc., Tao Xie Peking University
01:37
12m
Talk
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep LearningACM SIGSOFT Distinguished Paper AwardsTechnical
Technical Papers
Jieshan Chen Australian National University, Chunyang Chen Monash University, Zhenchang Xing Australia National University, Xiwei Xu Data 61, Liming Zhu CSIRO's Data61 and UNSW, Guoqiang Li Shanghai Jiao Tong University, Jinshui Wang School of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
01:49
3m
Talk
DroidMutator: An Effective Mutation Analysis Tool for Android ApplicationsDemo
Demonstrations
Jian Liu East China Normal University, Xusheng Xiao Case Western Reserve University, Lihua Xu New York University Shanghai, Liang Dou East China Normal University, Andy Podgurski Case Western University
01:52
3m
Talk
BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache SparkDemo
Demonstrations
Muhammad Ali Gulzar University of California, Los Angeles, Madan Musuvathi Microsoft Research, Miryung Kim University of California, Los Angeles
15:00 - 16:00
A26-Bugs and RepairJournal First / Technical Papers at Goguryeo
Chair(s): Davide Falessi California Polytechnic State University
15:00
12m
Talk
Simulee: Detecting CUDA Synchronization Bugs via Memory-Access ModelingTechnical
Technical Papers
Mingyuan Wu Southern University of Science and Technology, Yicheng Ouyang Southern University of Science and Technology, Husheng Zhou The University of Texas at Dallas, Lingming Zhang The University of Texas at Dallas, Cong Liu UT Dallas, Yuqun Zhang Southern University of Science and Technology
15:12
8m
Talk
Fine-Grained Dynamic Resource Allocation for Big-Data ApplicationsJ1
Journal First
Luciano Baresi Politecnico di Milano, Alberto Leva Politecnico di Milano, Giovanni Quattrocchi Politecnico di Milano
15:20
8m
Talk
The Assessor's Dilemma: Improving Bug Repair via Empirical Game TheoryJ1
Journal First
Carlos Gavidia-Calderon University College London, Federica Sarro University College London, UK, Mark Harman Facebook and University College London, Earl T. Barr University College London, UK
Link to publication DOI Pre-print Media Attached
15:28
8m
Talk
FixMiner: Mining Relevant Fix Patterns for Automated Program RepairJ1
Journal First
Anil Koyuncu University of Luxembourg, Luxembourg, Kui Liu Nanjing University of Aeronautics and Astronautics, Tegawendé F. Bissyandé SnT, University of Luxembourg, Dongsun Kim Furiosa.ai, Jacques Klein University of Luxembourg, SnT, Martin Monperrus KTH Royal Institute of Technology, Yves Le Traon University of Luxembourg
Pre-print
15:36
8m
Talk
IntRepair: Informed Repairing of Integer OverflowsJ1
Journal First
Paul Muntean TU Munich, Martin Monperrus KTH Royal Institute of Technology, Hao Sun Unaffiliated, Jens Grossklags Technical University of Munich, Claudia Eckert Technical University of Munich
15:44
12m
Talk
DLFix: Context-based Code Transformation Learning for Automated Program RepairTechnical
Technical Papers
Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA, Tien N. Nguyen University of Texas at Dallas
16:05 - 17:05
A29-Code Analysis and VerificationTechnical Papers / New Ideas and Emerging Results at Goguryeo
Chair(s): Elena Sherman Boise State University
16:05
12m
Talk
Heaps'n Leaks: How Heap Snapshots Improve Android Taint AnalysisArtifact ReusableTechnicalArtifact Available
Technical Papers
Manuel Benz University of Paderborn, Erik Krogh Kristensen GitHub, Linghui Luo Paderborn University, Germany, Nataniel Borges Jr. CISPA Helmholtz Center for Information Security, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Andreas Zeller CISPA Helmholtz Center for Information Security
Media Attached File Attached
16:17
12m
Talk
Verifying Object ConstructionTechnicalArtifact Available
Technical Papers
Martin Kellogg University of Washington, Seattle, Manli Ran University of California, Riverside, Manu Sridharan University of California Riverside, Martin Schäf Amazon Web Services, USA, Michael D. Ernst University of Washington, USA
16:29
6m
Talk
Predictive Constraint Solving and AnalysisNew Ideas and Emerging Results Distinguished Paper AwardsNIER
New Ideas and Emerging Results
Alyas Almaawi The University of Texas at Austin, Nima Dini University of Texas at Austin, Cagdas Yelen The University of Texas at Austin, Milos Gligoric The University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin, USA
16:35
12m
Talk
When APIs are Intentionally Bypassed: An Exploratory Study of API WorkaroundsTechnical
Technical Papers
Maxime Lamothe Concordia University, Weiyi Shang Concordia University
Pre-print
16:47
12m
Talk
Demystify Official API Usage Directives with Crowdsourced API Misuse Scenarios, Erroneous Code Examples and PatchesTechnical
Technical Papers
Xiaoxue Ren Zhejiang University, Zhenchang Xing Australia National University, Jiamou Sun Australian National University, Xin Xia Monash University, Jianling Sun Zhejiang University

Mon 13 Jul

Displayed 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 Maoz Tel 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. Pasareanu Carnegie 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

Displayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul

Displayed 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

Displayed 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

Displayed time zone: (UTC) Coordinated Universal Time change

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

Fri 10 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

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

Sat 11 Jul

Displayed 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

Displayed time zone: (UTC) Coordinated Universal Time change