* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

ICSE 2018 OB

The Program Board meeting in London Dec 6-7, discussing the incoming papers and their reviews

Congratulation to the authors of the accepted papers. In total 105 papers have been accepted of 502 submitted, or 21%. 297 papers have been invited to submit a poster and an extended abstract of their work.

You can find the list of accepted papers at the following location.

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

Conference Day
Wed 30 May

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

11:00 - 12:30
Software Evolution and Maintenance ITechnical Papers / Journal first papers at G1 room
Chair(s): Chanchal K. RoyUniversity of Saskatchewan
11:00
20m
Talk
Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments
Technical Papers
Sahil Bhatia, Pushmeet KohliMicrosoft Research, Rishabh SinghGoogle Brain
11:20
20m
Talk
Automated Localization for Unreproducible BuildsAward
Technical Papers
Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang YangWestern Michigan University
11:40
20m
Talk
Enlightened Debugging
Technical Papers
Xiangyu LiGeorgia Institute of Technology, Shaowei ZhuGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
Pre-print File Attached
12:00
20m
Research paper
Experiences and Challenges in Building a Data Intensive System for Data Migration
Journal first papers
Marco ScavuzzoPolitecnico di Milano, Elisabetta Di NittoPolitecnico di Milano, Danilo Ardagna
Link to publication DOI
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Software Repair IJournal first papers / Technical Papers at H1 room
Chair(s): Lars GrunskeHumboldt-Universität zu Berlin
11:00
20m
Talk
Context-Aware Patch Generation for Better Automated Program Repair
Technical Papers
Ming WenThe Hong Kong University of Science and Technology, Junjie ChenPeking University, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dan HaoPeking University, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print
11:20
20m
Talk
Towards Practical Program Repair with On-Demand Candidate Generation
Technical Papers
Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin
File Attached
11:40
20m
Talk
A Correlation Study between Automated Program Repair and Test-Suite Metrics
Journal first papers
Jooyong YiInnopolis University, Shin Hwei Tan, Sergey MechtaevNational University of Singapore, Marcel BöhmeMonash University, Abhik RoychoudhuryNational University of Singapore
Pre-print
12:00
20m
Talk
Do Automated Program Repair Techniques Repair Hard and Important Bugs?
Journal first papers
Manish MotwaniUniversity of Massachusetts, Amherst, Sandhya Sankaranarayanan, René JustUniversity of Massachusetts, USA, Yuriy BrunUniversity of Massachusetts, Amherst
Link to publication DOI Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Apps and App Stores ITechnical Papers / Journal first papers at H2 room
Chair(s): Jocelyn SimmondsUniversity of Chile
11:00
20m
Talk
Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation
Technical Papers
Pre-print Media Attached
11:20
20m
Talk
GUILeak: Tracing Privacy-Policy Claims on User Input Data for Android Applications
Technical Papers
Xiaoyin WangUniversity of Texas at San Antonio, USA, Xue Qin, Mitra Bokaei Hosseini, Rocky Slavin, Travis BreauxCarnegie Mellon University, Jianwei Niu
11:40
20m
Talk
Online App Review Analysis for Identifying Emerging Issues
Technical Papers
Cuiyun GaoComputer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng, Michael Lyu, Irwin King
Pre-print
12:00
20m
Talk
EARMO: An Energy-Aware Refactoring Approach for Mobile Apps
Journal first papers
Rodrigo MoralesConcordia University, Rubén Saborido Infantes, Foutse KhomhPolytechnique Montréal, Francisco Chicano, Giuliano AntoniolPolytechnique Montréal
Link to publication DOI Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Human and Social Aspects of Computing ITechnical Papers / Journal first papers at J1 room
Chair(s): Ita RichardsonLero - The Irish Software Research Centre and University of Limerick
11:00
20m
Talk
Sentiment Analysis for Software Engineering: How Far Can We Go?
Technical Papers
Bin Lin, Fiorella ZampettiUniversity of Sannio, Gabriele BavotaUniversità della Svizzera italiana (USI), Massimiliano Di PentaUniversity of Sannio, Michele LanzaUniversità della Svizzera italiana (USI), Rocco OlivetoUniversity of Molise
11:20
20m
Talk
Identifying Features in Forks
Technical Papers
Shurui ZhouCarnegie Mellon University, USA, Ştefan Stănciulescu, Olaf Leßenich, Yingfei XiongPeking University, Andrzej WąsowskiIT University of Copenhagen, Denmark, Christian KästnerCarnegie Mellon University
Pre-print File Attached
11:40
20m
Talk
Roles and Impacts of Hands-on Software Architects in Five Industrial Case Studies
Technical Papers
Inayat Rehman, Mehdi MirakhorliRochester Institute of Technology, Mei NagappanUniversity of Waterloo, Azad Aralbay, Matthew Thornton
12:00
20m
Talk
Sentiment Polarity Detection for Software Development
Journal first papers
Fabio CalefatoUniversity of Bari, Filippo LanubileUniversity of Bari, Federico Maiorano, Nicole NovielliUniversity of Bari
DOI Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Regression TestingTechnical Papers at G1 room
Chair(s): Dan HaoPeking University
14:00
20m
Talk
Hybrid Regression Test Selection
Technical Papers
Lingming ZhangUniversity of Texas at Dallas
14:20
20m
Talk
Fine-Grained Test Minimization
Technical Papers
Arash Vahabzadeh, Andrea Stocco, Ali MesbahUniversity of British Columbia
Pre-print
14:40
20m
Talk
FAST Approaches to Scalable Similarity-based Test Case Prioritization
Technical Papers
Breno MirandaFederal University of Pernambuco, Emilio CrucianiGran Sasso Science Institute, L'Aquila, Italy, Roberto VerdecchiaGran Sasso Science Institute, Vrije Universiteit Amsterdam, Antonia BertolinoCNR-ISTI
DOI Pre-print File Attached
15:00
20m
Talk
Towards Refactoring-Aware Regression Test Selection
Technical Papers
Kaiyuan Wang, Chenguang ZhuUniversity of Texas, Austin, Ahmet CelikUniversity of Texas at Austin, USA, Jongwook Kim, Don BatoryUniversity of Texas, Austin, Milos GligoricUniversity of Texas at Austin
File Attached
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Software Repair IITechnical Papers / Journal first papers at H1 room
Chair(s): Alessandro OrsoGeorgia Tech
14:00
20m
Talk
Semantic Program Repair Using a Reference Implementation
Technical Papers
Sergey MechtaevNational University of Singapore, Manh-Dung Nguyen, Yannic NollerHumboldt-Universität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin, Abhik RoychoudhuryNational University of Singapore
File Attached
14:20
20m
Talk
Automated Repair of Mobile Friendly Problems in Web Pages
Technical Papers
Sonal MahajanUniversity of Southern California, USA, Negarsadat Abolhassani, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
14:40
20m
Talk
Static Automated Program Repair for Heap PropertiesAward
Technical Papers
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
Pre-print File Attached
15:00
20m
Talk
Overfitting in Semantics-based Automated Program Repair
Journal first papers
Xuan-Bach D. LeSingapore Management University, Singapore, Ferdian Thung, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Apps and App Stores IITechnical Papers / Journal first papers at H2 room
Chair(s): Patrick Maeder
14:00
20m
Talk
Studying the Dialogue Between Users and Developers of Free Apps in the Google Play Store
Journal first papers
Safwat HassanQueens University, Kingston, Canada, Chakkrit TantithamthavornUniversity of Adelaide, Australia, Cor-Paul BezemerQueen's University, Kingston, Ontario, Ahmed E. HassanQueen's University
14:20
20m
Talk
Automated Reporting of GUI Design Violations for Mobile Apps
Technical Papers
Kevin MoranCollege of William & Mary, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys PoshyvanykWilliam and Mary
Pre-print Media Attached
14:40
20m
Talk
Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications
Technical Papers
Yixue ZhaoUniversity of Southern California, USA, Marcelo Schmitt Laser, Yingjun LyuUniversity of Southern California, Nenad MedvidovićUniversity of Southern California
DOI Pre-print Media Attached
15:00
20m
Talk
Repairing Crashes in Android Apps
Technical Papers
Shin Hwei Tan, Zhen DongNational University of Singapore, Singapore, Xiang Gao, Abhik RoychoudhuryNational University of Singapore
Pre-print File Attached
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Open-Source SystemsTechnical Papers / Journal first papers at J1 room
Chair(s): Andrzej WąsowskiIT University of Copenhagen, Denmark
14:00
20m
Talk
Inheritance Usage Patterns in Open-Source Systems
Technical Papers
Jamie Stevenson, Murray WoodUniversity of Strathclyde
Pre-print File Attached
14:20
20m
Talk
Almost There: A Study on Quasi-Contributors in Open-Source Software Projects
Technical Papers
Igor SteinmacherFederal University of Technology - Paraná / Northern Arizona University, Gustavo PintoUFPA, Igor WieseFederal University of Technology - Paraná (UTFPR), Marco GerosaNorthern Arizona University
Pre-print
14:40
20m
Talk
Analyzing a Decade of Linux System Calls
Journal first papers
Mojtaba BagherzadehQueen's University, Nafiseh Kahani, Cor-Paul BezemerQueen's University, Kingston, Ontario, Ahmed E. HassanQueen's University, Juergen DingelQueen's University, Kingston, Ontario, James R. Cordy
Link to publication Pre-print
15:00
20m
Talk
To Distribute or Not to Distribute? Why Licensing Bugs Matter
Technical Papers
Christopher Vendome, Daniel M. German, Massimiliano Di PentaUniversity of Sannio, Gabriele BavotaUniversità della Svizzera italiana (USI), Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia , Denys PoshyvanykWilliam and Mary
15:20
10m
Talk
Q&A in groups
Technical Papers

16:00 - 17:30
Test GenerationTechnical Papers at H1 room
Chair(s): Federica SarroUniversity College London
16:00
20m
Talk
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele Zuddas
Pre-print
16:20
20m
Talk
Towards Optimal Concolic TestingAward
Technical Papers
Xinyu WangZhejiang University, Jun SunSingapore University of Technology and Design, Zhenbang ChenCollege of Computer, National University of Defense Technology, Peixin Zhang, Jingyi WangSingapore University of Technology and Design, Yun Lin
Pre-print
16:40
20m
Talk
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Technical Papers
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi RayColumbia University, New York
17:00
20m
Talk
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
Technical Papers
17:20
10m
Talk
Q&A in groups
Technical Papers

16:00 - 17:30
Program Reduction TechniquesTechnical Papers at H2 room
Chair(s): Jianjun ZhaoKyushu University
16:00
20m
Talk
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free VulnerabilitiesAward
Technical Papers
Hua YanUniversity of New South Wales, Yulei SuiUniversity of Technology Sydney, Australia, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia, Jingling XueUNSW Sydney
16:20
20m
Talk
Program Splicing
Technical Papers
16:40
20m
Talk
Chopped Symbolic Execution
Technical Papers
David TrabishTel Aviv University, Andrea MattavelliImperial College London, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London
Link to publication File Attached
17:00
20m
Talk
Perses: Syntax-Guided Program Reduction
Technical Papers
Chengnian SunUniversity of California, Davis, Yuanbo Li, Qirun ZhangUniversity of California, Davis, Tianxiao Gu, Zhendong SuUniversity of California, Davis
17:20
10m
Talk
Q&A in groups
Technical Papers

16:00 - 18:00
Empirical Software EngineeringJournal first papers / Technical Papers at J1 room
Chair(s): Marija MikicGoogle
16:00
20m
Full-paper
Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies?
Technical Papers
Christoph Mayr-DornJohannes Kepler University Linz, Alexander Egyed
DOI Pre-print
16:20
20m
Talk
Large-Scale Analysis of Framework-Specific Exceptions in Android AppsAward
Technical Papers
Lingling FanEast China Normal University, China/Nanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Sen ChenNanyang Technological University, Guozhu MengNanyang Technological University, Singapore, Yang LiuNanyang Technological University, Singapore, Lihua Xu, Geguang Pu, Zhendong SuUniversity of California, Davis
DOI Pre-print File Attached
16:40
20m
Talk
Effect Sizes and their Variance for AB/BA Crossover Design Studies
Journal first papers
Link to publication DOI
17:00
20m
Talk
A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products
Technical Papers
Mahmoud HammadUniversity of California, Irvine, Joshua Garcia, Sam MalekUniversity of California, Irvine
DOI Pre-print Media Attached File Attached
17:20
20m
Talk
An empirical study on the interplay between semantic coupling and co-change of software classes
Journal first papers
Nemitari Ajienka, Andrea CapiluppiBrunel University, Steve CounsellBrunel University London
Link to publication DOI Media Attached
17:40
20m
Talk
Q&A in groups
Technical Papers

Conference Day
Thu 31 May

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

11:00 - 12:30
Test ImprovementTechnical Papers at Congress Hall
Chair(s): Yves Le TraonUniversity of Luxembourg
11:00
20m
Talk
DeFlaker: Automatically Detecting Flaky Tests
Technical Papers
Jonathan BellGeorge Mason University, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Michael HiltonCarnegie Mellon University, USA, Lamyaa Eloussi, Tifany Yung, Darko MarinovUniversity of Illinois at Urbana-Champaign
Pre-print Media Attached
11:20
20m
Talk
DetReduce: Minimizing Android GUI Test Suites for Regression Testing
Technical Papers
Wontae Choi, Koushik SenUniversity of California, Berkeley, George NeculaUniversity of California, Berkeley, Wenyu WangUniversity of Illinois at Urbana-Champaign
11:40
20m
Talk
Time to Clean your Test Objectives
Technical Papers
Link to publication DOI File Attached
12:00
20m
Talk
Prioritizing Browser Environments for Web Application Test Execution
Technical Papers
Junghyun Kwon, In-Young KoKorea Advanced Institute of Science and Technology, Gregg RothermelUniversity of Nebraska - Lincoln
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Security, Privacy and Trust IITechnical Papers / Journal first papers at G1 room
Chair(s): Julia RubinUniversity of British Columbia
11:00
20m
Talk
ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
Journal first papers
Radu CalinescuUniversity of York, UK, Danny WeynsKU Leuven, Simos Gerasimou, Muhammad Usman IftikharLinnaeus University, Sweden, Ibrahim Habli, Tim Kelly
11:20
20m
Talk
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game
Journal first papers
Sylvain Frey, Awais RashidUniversity of Bristol, UK, Pauline Anthonysamy, Maria Pinto-AlbuquerqueInstituto Universitário de Lisboa (ISCTE-IUL), Syed Asad Naqvi
11:40
20m
Talk
Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware
Journal first papers
Joshua Garcia, Mahmoud HammadUniversity of California, Irvine, Sam MalekUniversity of California, Irvine
Link to publication File Attached
12:00
20m
Talk
Are Vulnerabilities Discovered and Resolved like Other Defects?
Journal first papers
Patrick Morrison, Rahul PanditaPhase Change Software, Xusheng XiaoCase Western Reserve University, Ram Chillarege, Laurie WilliamsNorth Carolina State University
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Communities and EcosystemsTechnical Papers / Journal first papers at H1 room
Chair(s): Alexander SerebrenikEindhoven University of Technology
11:00
20m
Talk
How Modern News Aggregators Help Development Communities Shape and Share Knowledge
Technical Papers
Maurício AnicheDelft University of Technology, Netherlands, Christoph TreudeThe University of Adelaide, Igor SteinmacherFederal University of Technology - Paraná / Northern Arizona University, Igor WieseFederal University of Technology - Paraná (UTFPR), Gustavo PintoUFPA, Margaret-Anne StoreyUniversity of Victoria, Marco GerosaNorthern Arizona University
Pre-print
11:20
20m
Talk
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
Technical Papers
Asher TrockmanUniversity of Evansville, Shurui ZhouCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University
Pre-print Media Attached
11:40
20m
Talk
"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews
Technical Papers
Daniel M. German, Gregorio RoblesUniversidad Rey Juan Carlos, Germán Poo-Caamaño, Xin YangUnionbigdata.com, Hajimu Iida, Katsuro InoueOsaka University
Pre-print File Attached
12:00
20m
Talk
Collaborative Model-Driven Software Engineering: a Classification Framework and a Research Map
Journal first papers
Mirco FranzagoUniversity of L'Aquila, Italy, Ivano MalavoltaVrije Universiteit Amsterdam, Davide Di RuscioUniversity of L'Aquila, Henry MucciniUniversity of L'Aquila
Link to publication DOI Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Empirical Studies of CodeJournal first papers / Technical Papers at H2 room
Chair(s): Natalia JuristoFacultad de Informática - UPM
11:00
20m
Talk
An empirical study of early access games on the Steam platform
Journal first papers
Dayi LinQueen's University, Cor-Paul BezemerQueen's University, Kingston, Ontario, Ahmed E. HassanQueen's University
Link to publication DOI Pre-print
11:20
20m
Talk
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation
Journal first papers
Benjamin DanglotUniversity Lille 1 and INRIA, Phlippe Preux, Benoit BaudryKTH Royal Institute of Technology, Sweden, Martin MonperrusKTH Royal Institute of Technology
DOI Pre-print
11:40
20m
Talk
On the Diffuseness and the Impact on Maintainability of Code Smells: A Large Scale Empirical Investigation
Journal first papers
Fabio Palomba, Gabriele BavotaUniversità della Svizzera italiana (USI), Massimiliano Di PentaUniversity of Sannio, Fausto Fasano, Rocco OlivetoUniversity of Molise, Andrea De LuciaUniversity of Salerno
12:00
20m
Talk
Accurate and Efficient Refactoring Detection in Commit History
Technical Papers
Nikolaos TsantalisConcordia University, Canada, Matin Mansouri, Laleh M-Eshkevari, Davood MazinanianUniversity of British Columbia, Danny DigSchool of EECS at Oregon State University
Pre-print Media Attached
12:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
14:00
20m
Talk
ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports
Journal first papers
Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Ming WenThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongyu ZhangThe University of Newcastle
14:20
20m
Talk
Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults
Technical Papers
Mike PapadakisUniversity of Luxembourg, Donghwan ShinKAIST, Shin YooKorea Advanced Institute of Science and Technology, Doo-Hwan BaeKorea Advanced Institute of Science and Technology
Pre-print
14:40
20m
Talk
Efficient Sampling of SAT Solutions for Testing
Technical Papers
Rafael DutraUC Berkeley, Kevin LaeuferUniversity of California, Berkeley, Jonathan Bachrach, Koushik SenUniversity of California, Berkeley
Link to publication DOI Media Attached File Attached
15:00
20m
Talk
Are Fix-Inducing Changes a Moving Target? A Longitudinal Case Study of Just-In-Time Defect Prediction
Journal first papers
Shane McIntoshMcGill University, Yasutaka KameiKyushu University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Program Analysis ITechnical Papers at G1 room
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign
14:00
20m
Talk
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
Technical Papers
Xiao YuNorth Carolina State University, Guoliang JinNorth Carolina State University
Pre-print File Attached
14:20
20m
Talk
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps
Technical Papers
Yifei ZhangUNSW Sydney, Yulei SuiUniversity of Technology Sydney, Australia, Jingling XueUNSW Sydney
DOI Pre-print File Attached
14:40
20m
Talk
UFO: Predictive Concurrency Use-After-Free Detection
Technical Papers
Jeff HuangTexas A&M University
Pre-print
15:00
20m
Talk
Collective Program Analysis
Technical Papers
Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Human and Social Aspects of Computing IITechnical Papers at H1 room
Chair(s): Margaret-Anne StoreyUniversity of Victoria
14:00
20m
Talk
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
Technical Papers
Hung Phan, Hoan NguyenIowa State University, Ngoc Tran, Linh Truong, Anh Nguyen, Tien N. NguyenThe University of Texas - Dallas
14:20
20m
Talk
When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects
Technical Papers
Andrew HeadUC Berkeley, Caitlin SadowskiGoogle, Emerson Murphy-HillNorth Carolina State University, Andrea Knight
Pre-print
14:40
20m
Talk
Deuce: A Lightweight User Interface for Structured Editing
Technical Papers
Brian HempelUniversity of Chicago, Justin Lubin, Grace Lu, Ravi ChughUniversity of Chicago
Pre-print Media Attached
15:00
20m
Talk
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation
Technical Papers
Chunyang ChenNanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Guozhu MengNanyang Technological University, Singapore, Zhenchang XingAustralia National University, Yang LiuNanyang Technological University, Singapore
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Studying Software Engineers IJournal first papers / Technical Papers at H2 room
Chair(s): Amy KoUniversity of Washington
14:00
20m
Talk
Understanding Developers’ Needs on Deprecation as a Language Feature
Technical Papers
Anand Ashok Sawant, Maurício AnicheDelft University of Technology, Netherlands, Arie van DeursenDelft University of Technology, Alberto BacchelliUniversity of Zurich
Pre-print
14:20
20m
Talk
On The Dichotomy of Debugging Behavior Among Programmers
Technical Papers
Moritz BellerDelft University of Technology, Niels Spruit, Diomidis SpinellisAthens University of Economics and Business, Andy ZaidmanTU Delft
Pre-print
14:40
20m
Talk
Measuring Program Comprehension: A Large-Scale Field Study with Professionals
Journal first papers
Xin XiaMonash University, Lingfeng Bao , David LoSingapore Management University, Zhenchang XingAustralia National University, Ahmed E. HassanQueen's University, Shanping Li
15:00
20m
Talk
Data Scientists in Software Teams: State of the Art and Challenges
Journal first papers
Miryung KimUniversity of California at Los Angeles, USA, Thomas ZimmermannMicrosoft Research, Robert Deline, Andrew BegelMicrosoft Research
Link to publication DOI Authorizer link Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

Conference Day
Fri 1 Jun

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

09:00 - 10:30
Program Analysis IITechnical Papers / Journal first papers at G1 room
Chair(s): Christine JulienThe University of Texas at Austin
09:00
20m
Talk
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation
Technical Papers
Leen Lambers, Daniel StrüberUniversity of Koblenz-Landau, Germany, Gabriele TaentzerUniversität Marburg, Kristopher Born, Jevgenij Huebert
DOI Pre-print File Attached
09:20
20m
Talk
Self-Hiding Behavior in Android Apps: Detection and Characterization
Technical Papers
Zhiyong ShanWichita State University, Iulian NeamtiuNew Jersey Institute of Technology, Raina SamuelNew Jersey Institute of Technology
File Attached
09:40
20m
Talk
The Scent of a Smell: An Extensive Comparison between Textual and Structural Smells
Journal first papers
Fabio Palomba, Annibale PanichellaDeflt University of Technology, Andy ZaidmanTU Delft, Rocco OlivetoUniversity of Molise, Andrea De LuciaUniversity of Salerno
Pre-print
10:00
20m
Talk
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries
Technical Papers
Jibesh PatraTechnical University of Darmstadt, Pooja N. Dixit, Michael PradelTU Darmstadt
Pre-print File Attached
10:20
10m
Talk
Q&A in groups
Technical Papers

09:00 - 10:30
Software ComprehensionJournal first papers / Technical Papers at H1 room
Chair(s): Margaret BurnettOregon State University
09:00
20m
Talk
Debugging Data Flows in Reactive Programs
Technical Papers
Pre-print
09:20
20m
Talk
Do You Remember This Source Code?
Technical Papers
Jacob KrügerHarz University of Applied Sciences, Germany, Jens Wiemann, Wolfram FenskeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany, Thomas LeichHarz University of Applied Sciences, Germany
09:40
20m
Talk
Inferring Hierarchical Motifs from Execution Traces
Technical Papers
Saba AlimadadiNortheastern University, Ali MesbahUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
10:00
20m
Talk
A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers
Journal first papers
10:20
10m
Talk
Q&A in groups
Technical Papers

09:00 - 10:30
Studying Software Engineers IIJournal first papers / Technical Papers at H2 room
Chair(s): Minghui ZhouPeking University
09:00
20m
Talk
What makes a great manager of software engineers?
Journal first papers
Eirini KalliamvakouUniversity of Victoria, Christian BirdMicrosoft Research, Thomas ZimmermannMicrosoft Research, Andrew BegelMicrosoft Research, Robert Deline, Daniel M. German
09:20
20m
Talk
Older adults and hackathons: a qualitative study
Journal first papers
Link to publication DOI
09:40
20m
Talk
Does Syntax Highlighting Help Programming Novices?
Journal first papers
10:00
20m
Talk
Do programmers work at night or during weekend?
Technical Papers
Maëlick Claes, Mika MäntyläUniversity of Oulu, Miikka Kuutila, Bram AdamsMCIS, École Polytechnique de Montréal
Pre-print
10:20
10m
Talk
Q&A in groups
Technical Papers

09:00 - 10:30
Requirements and Recommender SystemsTechnical Papers / Journal first papers at J1 room
Chair(s): Joanne M. AtleeUniversity of Waterloo, Canada
09:00
20m
Talk
The Evolution of Requirements Practices in Software Startups
Technical Papers
Catarina GralhaNOVA-LINCS, FCT/UNL, Daniela DamianUniversity of Victoria, Anthony I. (Tony) WassermanCarnegie Mellon Silicon Valley, Miguel GoulaoNOVA-LINCS, FCT/UNL, João Araújo
Pre-print Media Attached
09:20
20m
Talk
Traceability in the Wild: Automatically Augmenting Incomplete Trace linksAward
Technical Papers
Michael RathTechnische Universität Ilmenau, Jacob RendallUniversity of Notre Dame, Jin L.C. GuoMcGill University, Jane Cleland-HuangUniversity of Notre Dame, Patrick MäderTechnische Universität Ilmenau
Pre-print
09:40
20m
Talk
A Temporal Permission Analysis and Enforcement Framework for Android
Technical Papers
Alireza SadeghiGoogle, Inc, Reyhaneh JabbarvandUniversity of California, Irvine, Negar Ghorbani, Hamid BagheriUniversity of Nebraska-Lincoln, USA, Sam MalekUniversity of California, Irvine
10:00
20m
Talk
Global-Aware Recommendations for Repairing Violations in Exception Handling
Journal first papers
10:20
10m
Talk
Q&A in groups
Technical Papers

09:00 - 10:30
Performance and MaintenanceTechnical Papers / Journal first papers at J2 room
Chair(s): Miryung KimUniversity of California at Los Angeles, USA
09:00
20m
Talk
Identifying Patch Correctness in Test-Based Program Repair
Technical Papers
Yingfei XiongPeking University, Xinyuan Liu, Muhan Zeng, Lu ZhangPeking University, Gang Huang
Pre-print
09:20
20m
Research paper
How not to structure your database-backed web applications: a study of performance bugs in the wild
Technical Papers
Junwen YangUniversity of Chicago, Cong Yan, Pranav Subramaniam, Shan LuUniversity of Chicago, Alvin CheungUniversity of Washington
Pre-print
09:40
20m
Talk
Speedoo: Prioritizing Performance Optimization Opportunities
Technical Papers
Zhifei Chen, Bihuan ChenFudan University, Lu Xiao, Xiao WangPurdue University, USA, Lin Chen, Yang LiuNanyang Technological University, Singapore, Baowen Xu
10:00
20m
Talk
Empirical Study on the Discrepancy between Performance Testing Results from Virtual and Physical Environments
Journal first papers
Muhammad Moiz ArifConcordia University, Montreal, Canada, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University
10:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Testing IIIJournal first papers / Technical Papers at Congress Hall
Chair(s): Myra CohenUniversity of Nebraska-Lincoln
11:00
20m
Talk
RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations
Technical Papers
DOI File Attached
11:20
20m
Research paper
Symbolic Verification of Regular Properties
Technical Papers
Hengbiao Yu, Zhenbang ChenCollege of Computer, National University of Defense Technology, Ji Wang, Zhendong SuUniversity of California, Davis, Wei Dong
Pre-print
11:40
20m
Talk
Metamorphic Testing of RESTful Web APIs
Journal first papers
Sergio Segura, José Antonio Parejo MaestreUniversity of Sevilla, Javier Troya, Antonio Ruiz-CortésUniversidad de Sevilla
12:00
20m
Talk
Integrating Technical Debt Management and Software Quality Management Processes: A Normative Framework and Field Tests
Journal first papers
Narayan RamasubbuUniversity of Pittsburgh, USA , Chris KemererUniversity of Pittsburgh
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Models and Modeling ITechnical Papers / Journal first papers at G1 room
Chair(s): Jon WhittleMonash University
11:00
20m
Talk
Propagating Configuration Decisions with Modal Implication Graphs
Technical Papers
Sebastian KrieterMagdeburg University, Thomas ThümUniversity of Ulm, Sandro SchulzeUniversity of Magdeburg, Germany, Reimar SchröterMagdeburg University, Gunter SaakeUniversity of Magdeburg, Germany
11:20
20m
Talk
A Combinatorial Approach for Exposing Off-Nominal Behaviors
Technical Papers
Kaushik Madala, Hyunsook DoUniversity of North Texas, Daniel Aceituna
11:40
20m
Research paper
Identifying Design Problems in the Source Code: A Grounded TheoryAward
Technical Papers
File Attached
12:00
20m
Talk
Predicting Future Developer Behavior in the IDE Using Topic Models
Journal first papers
Kostadin DamevskiVirginia Commonwealth University, Hui Chen, David C. ShepherdABB, Inc, Nicholas A. KraftABB Corporate Research, Lori Pollock
DOI Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Code Search, Synthesis, PerformanceTechnical Papers / Journal first papers at H1 room
Chair(s): Shahar MaozTel Aviv University
11:00
20m
Research paper
Deep Code Search
Technical Papers
Xiaodong GuThe Hong Kong University of Science and Technology, Hongyu ZhangThe University of Newcastle, Sunghun KimHong Kong University of Science and Technology
Pre-print
11:20
20m
Talk
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search
Journal first papers
Raphaël Sirres, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, David LoSingapore Management University, Jacques KleinUniversity of Luxembourg, SnT, Kisub KimUniversity of Luxembourg, SnT, Yves Le TraonUniversity of Luxembourg
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
FaCoY – A Code-to-Code Search Engine
Technical Papers
Kisub KimUniversity of Luxembourg, SnT, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Eunjong ChoiNara Institute of Science and Technology, Li LiUniversity of Luxembourg, Luxembourg, Jacques KleinUniversity of Luxembourg, SnT, Yves Le TraonUniversity of Luxembourg
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Generalized Data Structure SynthesisAward
Technical Papers
Calvin LoncaricUniversity of Washington, Michael D. ErnstUniversity of Washington, USA, Emina TorlakUniversity of Washington
DOI Pre-print Media Attached
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Mining Software RepositoriesTechnical Papers / Journal first papers at H2 room
Chair(s): Tim MenziesNorth Carolina State University
11:00
20m
Talk
Understanding the Factors for Fast Answers in Technical Q&A Websites: An Empirical Study of Four Stack Exchange Websites
Journal first papers
Shaowei WangQueen's University, Tse-Hsun (Peter) ChenConcordia University, Ahmed E. HassanQueen's University
11:20
20m
Talk
Towards Reusing Hints from Past Fixes- An Exploratory Study on Thousands of Real Samples
Journal first papers
Hao ZhongShanghai Jiao Tong University, Na MengVirginia Tech
11:40
20m
Research paper
Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow
Technical Papers
Tianyi ZhangUniversity of California, Los Angeles, Ganesha UpadhyayaFuturewei Technologies, Anastasia Reinhardt, Hridesh RajanIowa State University, Miryung KimUniversity of California at Los Angeles, USA
Pre-print File Attached
12:00
20m
Talk
Inference of development activities from interaction with uninstrumented applications
Journal first papers
Lingfeng Bao , Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Ahmed E. HassanQueen's University
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Search-Based Software Engineering ITechnical Papers at J1 room
Chair(s): Shin YooKorea Advanced Institute of Science and Technology
11:00
20m
Talk
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms
Technical Papers
Raja Ben AbdessalemSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Thomas Stifter
Pre-print File Attached
11:20
20m
Talk
To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines
Technical Papers
Jianmei GuoAlibaba Group, Kai Shi
11:40
20m
Talk
Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming
Technical Papers
Jun-Wei LinUniversity of California, Irvine, Reyhaneh JabbarvandUniversity of California, Irvine, Joshua Garcia, Sam MalekUniversity of California, Irvine
Pre-print File Attached
12:00
20m
Talk
Is "Better Data" Better Than "Better Data Miners"?
Technical Papers
Amritanshu AgrawalNorth Carolina State University, Tim MenziesNorth Carolina State University
Link to publication DOI Pre-print File Attached
12:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Software Tools and EnvironmentsTechnical Papers at J2 room
Chair(s): Barbora BuhnovaMasaryk University
11:00
20m
Talk
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
Technical Papers
Oszkár SemeráthBudapest University of Technology and Economics, András Szabolcs Nagy, Daniel VarroMcGill University / Budapest University of Technology and Economics
11:20
20m
Talk
Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge
Technical Papers
Shafiul Azam ChowdhuryUniversity of Texas at Arlington, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T JohnsonVanderbilt University, Christoph CsallnerUniversity of Texas at Arlington
Pre-print
11:40
20m
Talk
Context-Aware Conversational Developer Assistants
Technical Papers
Nick BradleyUniversity of British Columbia, Thomas FritzUniversity of Zurich, University of British Columbia, Reid HolmesUniversity of British Columbia
Pre-print Media Attached
12:00
20m
Full-paper
Open Source barriers to entry, revisited: A tools perspective
Technical Papers
Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Models and Modeling IITechnical Papers / Journal first papers at G1 room
Chair(s): Jon WhittleMonash University
14:00
20m
Talk
Programming Not Only by Example
Technical Papers
Hila PelegTechnion, Israel, Sharon ShohamTel Aviv university, Eran YahavTechnion
Pre-print Media Attached
14:20
20m
Talk
Goal-Conflict Likelihood Assessment based on Model Counting
Technical Papers
Renzo DegiovanniUniversidad Nacional de Río Cuarto, Pablo Castro, Marcelo Arroyo, Marcelo RuizDept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina , Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print File Attached
14:40
20m
Talk
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications
Journal first papers
15:00
20m
Talk
A Static Verification Framework for Message Passing in Go using Behavioural Types
Technical Papers
Julien LangeUniversity of Kent, Nicholas NgImperial College London, Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London
DOI Pre-print Media Attached
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Inference and InvariantsTechnical Papers at H1 room
Chair(s): Robert FeldtChalmers University of Technology
14:00
20m
Talk
Inferring and Asserting Distributed System Invariants
Technical Papers
Stewart Grant, Hendrik Cech, Ivan BeschastnikhUniversity of British Columbia
Link to publication Media Attached
14:20
20m
Talk
DroidStar: Callback Typestates for Android Classes
Technical Papers
Arjun RadhakrishnaMicrosoft, Nicholas Lewchenko, Shawn Meier, Sergio MoverUniversity of Colorado Boulder, Krishna Chaitanya Sripada, Damien ZuffereyMPI-SWS, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder
14:40
20m
Talk
Debugging with Intelligence via Probabilistic Inference
Technical Papers
Zhaogui XuNanjing University, China, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University, Shuofei ZhuNanjing University, China, Baowen Xu
15:00
20m
Talk
Reducer-Based Construction of Conditional Verifiers
Technical Papers
Pre-print File Attached
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Software Evolution and Maintenance IITechnical Papers at H2 room
Chair(s): Massimiliano Di PentaUniversity of Sannio
14:00
20m
Talk
CCAligner: a token based large-gap clone detector
Technical Papers
Pengcheng WangUniversity of Science and Technology of China, Jeffrey SvajlenkoMicrosoft, Yanzhao Wu, Yun XuUniversity of Science and Technology of China, Chanchal K. RoyUniversity of Saskatchewan
14:20
20m
Talk
HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts
Technical Papers
Foyzul HassanUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA
Pre-print
14:40
20m
Talk
The Road to Live Programming: Insights From the Practice
Technical Papers
Juraj KubelkaUniversity of Chile, Romain RobbesFree University of Bozen-Bolzano, Alexandre BergelUniversity of Chile
15:00
20m
Talk
Assessing the Threat of Untracked Changes in Software Evolution
Technical Papers
Andre HoraUFMS, Danilo Silva, Marco Tulio ValenteFederal University of Minas Gerais, Brazil, Romain RobbesFree University of Bozen-Bolzano
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Search-Based Software Engineering IITechnical Papers / Journal first papers at J1 room
Chair(s): Daniel VarroMcGill University / Budapest University of Technology and Economics
14:00
20m
Talk
Search-Based Test Data Generation for SQL Queries
Technical Papers
Jeroen Castelein, Maurício AnicheDelft University of Technology, Netherlands, Mozhan Soltani, Annibale PanichellaDeflt University of Technology, Arie van DeursenDelft University of Technology
DOI Pre-print Media Attached
14:20
20m
Talk
Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem
Technical Papers
DOI Pre-print Media Attached
14:40
20m
Talk
Automated Refactoring of OCL Constraints with Search
Journal first papers
Hong Lu, Shuai Wang, Tao YueSimula Research Laboratory and University of Oslo, Shaukat AliSimula Research Lab, Jan Nygard
15:00
20m
Talk
Automatically Generating Search Heuristics for Concolic Testing
Technical Papers
Sooyoung ChaKorea University, South Korea, Seongjoon Hong, Junhee Lee, Hakjoo OhKorea University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Surveys and ReviewsTechnical Papers / Journal first papers at J2 room
Chair(s): Anne KoziolekKarlsruhe Institute of Technology
14:00
20m
Talk
Challenges and pitfalls on surveying evidence in the software engineering technical literature:an exploratory study with novices
Journal first papers
Link to publication DOI Pre-print
14:20
20m
Research paper
Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review
Technical Papers
Rolando Reyes, Oscar DiesteUniversidad Politécnica de Madrid, Efraín R. Fonseca C., Natalia JuristoFacultad de Informática - UPM
DOI Pre-print Media Attached File Attached
14:40
20m
Talk
Synthesizing Qualitative Research in Software Engineering: A Critical Review
Technical Papers
Xin Huang, He ZhangNanjing University, Xin Zhou, Yang SongUniversity of North Carolina Wilmington, Muhammad Ali Babar
15:00
20m
Talk
Automatic Software Repair: A Survey
Journal first papers
Luca Gazzola Università degli Studi di Milano-Bicocca, Daniela MicucciUniversity of Milano-Bicocca, Italy, Leonardo MarianiUniversity of Milano Bicocca
Link to publication Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

Not scheduled yet

Not scheduled yet
Day opening
Opening
Technical Papers

Not scheduled yet
Day opening
Opening Conference
Technical Papers

Technical track submissions

Goals and Scope

ICSE is the premier forum for researchers and practitioners to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering. We invite submissions of high quality research papers that describe original and unpublished results on any topic of empirical or theoretical software engineering research.We welcome submissions addressing topics across the full spectrum of software engineering, broadly construed. In addressing the question of scope, we seek to be inclusive, provided that your submission addresses issues of concern to software engineering researchers or practitioners (or both).

Topics of interest to ICSE 2018 include (but are certainly not limited to):

- Agile software development - Apps and app store analysis
- Autonomic and (self-)adaptive systems - Cloud computing
- Component-based software engineering - Configuration management and deployment
- Crowd sourced software engineering - Cyber physical systems
- Debugging, fault localization, and repair - Dependability, safety, and reliability
- Distributed and collaborative software engineering - Embedded software
- Empirical software engineering - End-user software engineering
- Formal methods - Green and sustainable technologies
- Human and social aspects of software engineering - Human-computer interaction
- Middleware, frameworks, and APIs - Mining software engineering repositories
- Mobile applications - Model-driven engineering
- Parallel, distributed, and concurrent systems - Performance
- Program analysis - Program comprehension
- Program synthesis - Programming languages
- Recommendation systems - Refactoring
- Requirements engineering - Reverse engineering
- Search-based software engineering - Security, privacy and trust
- Software architecture - Software economics and metrics
- Software evolution and maintenance - Software modeling and design
- Software performance - Software process
- Software product lines - Software reuse
- Software services - Software testing
- Software visualization - Specification and modeling languages
- Tools and environments - Traceability
- Ubiquitous/pervasive software systems - Validation and verification

 

And, any paper about “software engineering for X” needs to clarify its contributions to software engineering, and needs to cover X in a manner that makes it sufficient for the SE readership to understand these contributions.

 

Evaluation

All research track submissions will be reviewed using a double-blind review process, in compliance with the submission policy and the scope of the conference. Eligible submissions will be reviewed by at least three members of the Program Committee (PC). Authors will have the opportunity to see their reviews and provide a short clarification, during the clarification period. The final decisions will be made by the Program Board, at the Program Board meeting, based on the reviews from the PC members and the discussions on the meeting.

Research track submissions will be evaluated based on the following criteria:

  • Soundness: Are all claimed contributions supported by the rigorous application of appropriate research methods? The claims should be scoped to what can be supported, and limitations should be discussed.
  • Significance: Are contributions evaluated for their importance and impact with respect to the existing body of knowledge? The authors are expected to explicitly argue for the relevance and usefulness of theresearch and discuss the novelty of the claimed contributions through a comparison with pertinent related work.
  • Novelty: Is there sufficient originality in the contribution, and is it clearly and correctly explained with respect to the state of the art?
  • Replicability: Is there sufficient information in the paper for the results tobe independently replicated? The evaluation of submissions will take into account the extent to which sufficient information is available to support the full or partial independent replication of the claimed findings.
  • Presentation Quality: Are results clearly presented? Submissions are expected to meet high standards of presentation, including adequate use of the English language, absence of major ambiguity, clearly readable figures and tables, and respect of the formatting instructions provided below.

Double Blind Review Process

ICSE 2018 will use double blind reviewing. Referees will not know the identity of authors when writing their reviews. In order to comply with ICSE 2018’s double blind review process, authors should ensure that their identities cannot be easily determined. Submissions from which at least one author can be easily determined and, in the view of the Program Board, for which insufficient care and attention has been paid to ensuring compliance with double blind reviewing may be rejected without review.

You can find further advice, guidance and explanation in the ICSE 2018 double blind review process description.

Submission

  • All submissions must conform to the ICSE 2018 formatting and submission instructions and must not exceed 10 pages for the main text, inclusive of figures, tables, appendices, etc. Two more pages containing only references are permitted. All submissions must be in PDF. The page limit is strict, and it will not be possible to purchase additional pages at any point in the process (including after the paper is accepted).
  • Use ACM_SigConf.docx example file as a template. Additional instructions about formatting, if you need, you can find at NEW ACM formatting guidelines. For LaTex users: Use NEW ACM formatting guidelines. Upon unzipping the zip file, run ‘make all’. This will produce the acmart.cls file. You should use the conference format described in sample-sigconf.tex to format your paper. You are recommended to use the ‘review’ option (\documentclass[sigconf,review]{acmart}) which will add line numbers, thereby allowing referees to refer to specific lines in their comments, but we do not enforce the use of the ‘review’ option (that is, we will not desk reject papers for failing to use this option).
  • There is no limit on the number of submissions an author may submit, but authors are advised, as always, to focus on quality and not quantity.
  • By submitting to the ICSE Research Track, authors acknowledge that they are aware of and agree to be bound by the ACM plagiarism policy and procedures. In particular, papers submitted to ICSE 2018 must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for ICSE2018. Contravention of this concurrent submission policy will be deemed a serious breech of scientific ethics, and appropriate action will be taken in all such cases.
  • Submissions must comply with the IEEE Policy on Authorship.
  • Please take a particular care to blind your submission.  You can submit, optionally, a zip file containing additional data (tool, experiments, etc.), which should also be blinded.
  • Papers must be submitted electronically via EasyChair by the stated deadline. The deadline is firm and not negotiable.

Important Dates:

  • Submission Deadline: 25th August 2017 at 11.59 p.m. AoE (Anywhere on Earth)
  • Author response: 12th November 2017 to 15th November 2017.
  • Notification: 15th December 2017.
  • Camera Ready Due: 12th February 2018.

Organization:

Program Committee Chairs

Accepted Papers

Title
"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews
Technical Papers
Pre-print File Attached
A Combinatorial Approach for Exposing Off-Nominal Behaviors
Technical Papers
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
Technical Papers
A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products
Technical Papers
DOI Pre-print Media Attached File Attached
A Static Verification Framework for Message Passing in Go using Behavioural Types
Technical Papers
DOI Pre-print Media Attached
A Temporal Permission Analysis and Enforcement Framework for Android
Technical Papers
Accurate and Efficient Refactoring Detection in Commit History
Technical Papers
Pre-print Media Attached
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
Technical Papers
Pre-print Media Attached
Almost There: A Study on Quasi-Contributors in Open-Source Software Projects
Technical Papers
Pre-print
Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow
Technical Papers
Pre-print File Attached
Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults
Technical Papers
Pre-print
Assessing the Threat of Untracked Changes in Software Evolution
Technical Papers
Pre-print
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
Technical Papers
Pre-print
Automated Localization for Unreproducible BuildsAward
Technical Papers
Automated Repair of Mobile Friendly Problems in Web Pages
Technical Papers
Automated Reporting of GUI Design Violations for Mobile Apps
Technical Papers
Pre-print Media Attached
Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge
Technical Papers
Pre-print
Automatically Generating Search Heuristics for Concolic Testing
Technical Papers
Pre-print
CCAligner: a token based large-gap clone detector
Technical Papers
Chopped Symbolic Execution
Technical Papers
Link to publication File Attached
Collective Program Analysis
Technical Papers
Pre-print
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries
Technical Papers
Pre-print File Attached
Context-Aware Conversational Developer Assistants
Technical Papers
Pre-print Media Attached
Context-Aware Patch Generation for Better Automated Program Repair
Technical Papers
Pre-print
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
Technical Papers
Pre-print File Attached
DeFlaker: Automatically Detecting Flaky Tests
Technical Papers
Pre-print Media Attached
Debugging Data Flows in Reactive Programs
Technical Papers
Pre-print
Debugging with Intelligence via Probabilistic Inference
Technical Papers
Deep Code Search
Technical Papers
Pre-print
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Technical Papers
DetReduce: Minimizing Android GUI Test Suites for Regression Testing
Technical Papers
Deuce: A Lightweight User Interface for Structured Editing
Technical Papers
Pre-print Media Attached
Do You Remember This Source Code?
Technical Papers
Do programmers work at night or during weekend?
Technical Papers
Pre-print
Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies?
Technical Papers
DOI Pre-print
DroidStar: Callback Typestates for Android Classes
Technical Papers
Efficient Sampling of SAT Solutions for Testing
Technical Papers
Link to publication DOI Media Attached File Attached
EnMobile: Entity-based Characterization and Analysis of Mobile Malware
Technical Papers
Enlightened Debugging
Technical Papers
Pre-print File Attached
FAST Approaches to Scalable Similarity-based Test Case Prioritization
Technical Papers
DOI Pre-print File Attached
FaCoY – A Code-to-Code Search Engine
Technical Papers
Link to publication DOI Pre-print Media Attached
Fine-Grained Test Minimization
Technical Papers
Pre-print
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation
Technical Papers
Pre-print
GUILeak: Tracing Privacy-Policy Claims on User Input Data for Android Applications
Technical Papers
Generalized Data Structure SynthesisAward
Technical Papers
DOI Pre-print Media Attached
Goal-Conflict Likelihood Assessment based on Model Counting
Technical Papers
Pre-print File Attached
HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts
Technical Papers
Pre-print
How Modern News Aggregators Help Development Communities Shape and Share Knowledge
Technical Papers
Pre-print
How not to structure your database-backed web applications: a study of performance bugs in the wild
Technical Papers
Pre-print
Hybrid Regression Test Selection
Technical Papers
Identifying Design Problems in the Source Code: A Grounded TheoryAward
Technical Papers
File Attached
Identifying Features in Forks
Technical Papers
Pre-print File Attached
Identifying Patch Correctness in Test-Based Program Repair
Technical Papers
Pre-print
Inferring Hierarchical Motifs from Execution Traces
Technical Papers
Inferring and Asserting Distributed System Invariants
Technical Papers
Link to publication Media Attached
Inheritance Usage Patterns in Open-Source Systems
Technical Papers
Pre-print File Attached
Is "Better Data" Better Than "Better Data Miners"?
Technical Papers
Link to publication DOI Pre-print File Attached
Large-Scale Analysis of Framework-Specific Exceptions in Android AppsAward
Technical Papers
DOI Pre-print File Attached
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps
Technical Papers
DOI Pre-print File Attached
Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications
Technical Papers
DOI Pre-print Media Attached
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation
Technical Papers
DOI Pre-print File Attached
Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem
Technical Papers
DOI Pre-print Media Attached
Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming
Technical Papers
Pre-print File Attached
Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments
Technical Papers
On The Dichotomy of Debugging Behavior Among Programmers
Technical Papers
Pre-print
Online App Review Analysis for Identifying Emerging Issues
Technical Papers
Pre-print
Open Source barriers to entry, revisited: A tools perspective
Technical Papers
Pre-print
Perses: Syntax-Guided Program Reduction
Technical Papers
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
Technical Papers
Prioritizing Browser Environments for Web Application Test Execution
Technical Papers
Program Splicing
Technical Papers
Programming Not Only by Example
Technical Papers
Pre-print Media Attached
Propagating Configuration Decisions with Modal Implication Graphs
Technical Papers
RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations
Technical Papers
DOI File Attached
Redefining Prioritization: Continuous Prioritization for Continuous Integration
Technical Papers
Reducer-Based Construction of Conditional Verifiers
Technical Papers
Pre-print File Attached
Repairing Crashes in Android Apps
Technical Papers
Pre-print File Attached
Roles and Impacts of Hands-on Software Architects in Five Industrial Case Studies
Technical Papers
Search-Based Test Data Generation for SQL Queries
Technical Papers
DOI Pre-print Media Attached
Secure Coding Practices in Java: Challenges and Vulnerabilities
Technical Papers
Self-Hiding Behavior in Android Apps: Detection and Characterization
Technical Papers
File Attached
Semantic Program Repair Using a Reference Implementation
Technical Papers
File Attached
Sentiment Analysis for Software Engineering: How Far Can We Go?
Technical Papers
Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation
Technical Papers
Pre-print Media Attached
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free VulnerabilitiesAward
Technical Papers
Speedoo: Prioritizing Performance Optimization Opportunities
Technical Papers
Static Automated Program Repair for Heap PropertiesAward
Technical Papers
Pre-print File Attached
Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review
Technical Papers
DOI Pre-print Media Attached File Attached
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
Technical Papers
Symbolic Verification of Regular Properties
Technical Papers
Pre-print
Synthesizing Qualitative Research in Software Engineering: A Critical Review
Technical Papers
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms
Technical Papers
Pre-print File Attached
The Evolution of Requirements Practices in Software Startups
Technical Papers
Pre-print Media Attached
The Road to Live Programming: Insights From the Practice
Technical Papers
Time to Clean your Test Objectives
Technical Papers
Link to publication DOI File Attached
To Distribute or Not to Distribute? Why Licensing Bugs Matter
Technical Papers
To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines
Technical Papers
Towards Optimal Concolic TestingAward
Technical Papers
Pre-print
Towards Practical Program Repair with On-Demand Candidate Generation
Technical Papers
File Attached
Towards Refactoring-Aware Regression Test Selection
Technical Papers
File Attached
Traceability in the Wild: Automatically Augmenting Incomplete Trace linksAward
Technical Papers
Pre-print
UFO: Predictive Concurrency Use-After-Free Detection
Technical Papers
Pre-print
Understanding Developers’ Needs on Deprecation as a Language Feature
Technical Papers
Pre-print
When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects
Technical Papers
Pre-print
When Testing Meets Code Review: Why and How Developers Review Tests
Technical Papers
DOI Pre-print