* ICSE 2018 * - Technical Papers

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.

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Wed 30 May
Times are displayed in 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 - 11:20 Talk		Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments Technical Papers Sahil Bhatia, Pushmeet KohliMicrosoft Research, Rishabh SinghGoogle Brain
	11:20 - 11:40 Talk		Automated Localization for Unreproducible Builds Technical Papers Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang YangWestern Michigan University
	11:40 - 12:00 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 - 12:20 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 - 12:30 Talk		Q&A in groups Technical Papers

	11:00 - 12:30: Software Repair ITechnical Papers / Journal first papers at H1 room Chair(s): Lars GrunskeHumboldt-Universität zu Berlin

	11:00 - 11:20 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 - 11:40 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 - 12:00 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 - 12:20 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 - 12:30 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 - 11:20 Talk		Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation Technical Papers Pei WangPennsylvania State University, Qinkun Bao, Li Wang, Shuai Wang, Zhaofeng Chen, Tao Wei, Dinghao Wu Pre-print Media Attached
	11:20 - 11:40 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 - 12:00 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 - 12:20 Talk		EARMO: An Energy-Aware Refactoring Approach for Mobile Apps Journal first papers Rodrigo MoralesConcordia University, Rubén Saborido Infantes, Foutse KhomhPolytechnique Montréal, Francisco Chicano, Giuliano AntoniolPolytechnique Montréal Link to publication DOI Pre-print
	12:20 - 12:30 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 - 11:20 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 - 11:40 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 - 12:00 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 - 12:20 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 - 12:30 Talk		Q&A in groups Technical Papers

	14:00 - 15:30: Regression TestingTechnical Papers at G1 room Chair(s): Dan HaoPeking University

	14:00 - 14:20 Talk		Hybrid Regression Test Selection Technical Papers Lingming ZhangUniversity of Texas at Dallas
	14:20 - 14:40 Talk		Fine-Grained Test Minimization Technical Papers Arash Vahabzadeh, Andrea Stocco, Ali MesbahUniversity of British Columbia Pre-print
	14:40 - 15:00 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 - 15:20 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 - 15:30 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 - 14:20 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 - 14:40 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 - 15:00 Talk		Static Automated Program Repair for Heap Properties Technical Papers Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University Pre-print File Attached
	15:00 - 15:20 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 - 15:30 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 - 14:20 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 (Kla) TantithamthavornUniversity of Adelaide, Australia, Cor-Paul BezemerQueen's University, Kingston, Ontario, Ahmed E. HassanQueen's University
	14:20 - 14:40 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 - 15:00 Talk		Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications Technical Papers Yixue ZhaoUniversity of Southern California, USA, Marcelo Laser, Yingjun LyuUniversity of Southern California, Nenad MedvidovićUniversity of Southern California DOI Pre-print Media Attached
	15:00 - 15:20 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 - 15:30 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 - 14:20 Talk		Inheritance Usage Patterns in Open-Source Systems Technical Papers Jamie Stevenson, Murray WoodUniversity of Strathclyde Pre-print File Attached
	14:20 - 14:40 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 - 15:00 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 - 15:20 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 - 15:30 Talk		Q&A in groups Technical Papers

	16:00 - 17:30: Security, Privacy and Trust ITechnical Papers / Journal first papers at G1 room Chair(s): Antonio CarzanigaUniversità della Svizzera italiana

	16:00 - 16:20 Talk		Secure Coding Practices in Java: Challenges and Vulnerabilities Technical Papers Na MengVirginia Tech, Stefan Nagy, Daphne YaoVirginia Tech, Wenjie Zhuang, Gustavo Arango Argoty
	16:20 - 16:40 Talk		EnMobile: Entity-based Characterization and Analysis of Mobile Malware Technical Papers Wei YangUniversity of Illinois at Urbana-Champaign, Mukul PrasadFujitsu Laboratories of America, Tao XieUniversity of Illinois at Urbana-Champaign
	16:40 - 17:00 Talk		Model Comprehension for Security Risk Assessment: An Empirical Comparison of Tabular vs. Graphical Representations Journal first papers Katsiaryna Labunets, Fabio MassacciUniversity of Trento, Federica Paci, Sabrina Marczak, Flávio Moreira de Oliveira Link to publication DOI Pre-print File Attached
	17:00 - 17:20 Talk		Privacy by Designers: Software Developers’ Privacy Mindset Journal first papers Irit Hadar, Tomer Hasson, Oshrat Ayalon, Eran Toch, Michael Birnhack, Sofia Sherman, Arod Balissa
	17:20 - 17:30 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 - 16:20 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 - 16:40 Talk		Towards Optimal Concolic Testing 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 - 17:00 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 - 17:20 Talk		Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Technical Papers Yunho KimKAIST, Yunja Choi, Moonzoo KimKAIST
	17:20 - 17:30 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 - 16:20 Talk		Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities 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 - 16:40 Talk		Program Splicing Technical Papers Yanxin Lu, Swarat ChaudhuriRice University, Christopher Jermaine, David Melski
	16:40 - 17:00 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 - 17:20 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 - 17:30 Talk		Q&A in groups Technical Papers

	16:00 - 18:00: Empirical Software EngineeringTechnical Papers / Journal first papers at J1 room Chair(s): Marija MikicGoogle

	16:00 - 16:20 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 - 16:40 Talk		Large-Scale Analysis of Framework-Specific Exceptions in Android Apps 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 - 17:00 Talk		Effect Sizes and their Variance for AB/BA Crossover Design Studies Journal first papers Lech Madeyski, Barbara Kitchenham Link to publication DOI
	17:00 - 17:20 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 - 17:40 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 - 18:00 Talk		Q&A in groups Technical Papers

Thu 31 May
Times are displayed in 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 - 11:20 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 - 11:40 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 - 12:00 Talk		Time to Clean your Test Objectives Technical Papers Michaël MarcozziImperial College London, Sebastien Bardin, Nikolai Kosmatov, Mike PapadakisUniversity of Luxembourg, Virgile Prevosto, Loïc Correnson Link to publication DOI File Attached
	12:00 - 12:20 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 - 12:30 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 - 11:20 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 - 11:40 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 - 12:00 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 - 12:20 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 - 12:30 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 - 11:20 Talk		How Modern News Aggregators Help Development Communities Shape and Share Knowledge Technical Papers Mauricio 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 - 11:40 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 - 12:00 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 - 12:20 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 - 12:30 Talk		Q&A in groups Technical Papers

	11:00 - 12:30: Empirical Studies of CodeTechnical Papers / Journal first papers at H2 room Chair(s): Natalia JuristoFacultad de Informática - UPM

	11:00 - 11:20 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 - 11:40 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 - 12:00 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 - 12:20 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 - 12:30 Talk		Q&A in groups Technical Papers

	14:00 - 15:30: Testing ITechnical Papers / Journal first papers at Congress Hall Chair(s): Antonia BertolinoCNR-ISTI

	14:00 - 14:20 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 - 14:40 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 - 15:00 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 - 15:20 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 - 15:30 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 - 14:20 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 - 14:40 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 - 15:00 Talk		UFO: Predictive Concurrency Use-After-Free Detection Technical Papers Jeff HuangTexas A&M University Pre-print
	15:00 - 15:20 Talk		Collective Program Analysis Technical Papers Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University Pre-print
	15:20 - 15:30 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 - 14:20 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 - 14:40 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 - 15:00 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 - 15:20 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 - 15:30 Talk		Q&A in groups Technical Papers

	14:00 - 15:30: Studying Software Engineers ITechnical Papers / Journal first papers at H2 room Chair(s): Amy KoUniversity of Washington

	14:00 - 14:20 Talk		Understanding Developers’ Needs on Deprecation as a Language Feature Technical Papers Anand Ashok Sawant, Mauricio AnicheDelft University of Technology, Netherlands, Arie van DeursenDelft University of Technology, Alberto BacchelliUniversity of Zurich Pre-print
	14:20 - 14:40 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 - 15:00 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 - 15:20 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 - 15:30 Talk		Q&A in groups Technical Papers

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 10:30: Testing IITechnical Papers / Journal first papers at E4 room Chair(s): Mike PapadakisUniversity of Luxembourg

	09:00 - 09:20 Talk		When Testing Meets Code Review: Why and How Developers Review Tests Technical Papers Davide Spadini, Mauricio AnicheDelft University of Technology, Netherlands, Margaret-Anne StoreyUniversity of Victoria, Magiel Bruntink, Alberto BacchelliUniversity of Zurich DOI Pre-print
	09:20 - 09:40 Talk		Redefining Prioritization: Continuous Prioritization for Continuous Integration Technical Papers Jingjing Liang, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Gregg RothermelUniversity of Nebraska - Lincoln
	09:40 - 10:00 Talk		MAHAKIL: Diversity based Oversampling Approach to Alleviate the Class Imbalance Issue in Software Defect Prediction Journal first papers Kwabena E. Bennin, Jacky Keung, Passakorn Phannachitta, Akito Monden, Solomon Mensah
	10:00 - 10:20 Talk		On the Use of Hidden Markov Model to Predict the Time to Fix Bugs Journal first papers Mayy Habayeb, Syed Shariyar Murtaza, Andriy Miranskyy, Ayşe BaşarRyerson University
	10:20 - 10:30 Talk		Q&A in groups Technical Papers

	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 - 09:20 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 - 09:40 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 - 10:00 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 - 10:20 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 - 10:30 Talk		Q&A in groups Technical Papers

	09:00 - 10:30: Software ComprehensionTechnical Papers / Journal first papers at H1 room Chair(s): Margaret BurnettOregon State University

	09:00 - 09:20 Talk		Debugging Data Flows in Reactive Programs Technical Papers Herman Banken, Georgios GousiosTU Delft, Erik Meijer Pre-print
	09:20 - 09:40 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 - 10:00 Talk		Inferring Hierarchical Motifs from Execution Traces Technical Papers Saba AlimadadiNortheastern University, Ali MesbahUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
	10:00 - 10:20 Talk		A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers Journal first papers Ameer Armaly, Paige Rodeghero University of Notre Dame, Collin McMillan
	10:20 - 10:30 Talk		Q&A in groups Technical Papers

	09:00 - 10:30: Studying Software Engineers IITechnical Papers / Journal first papers at H2 room Chair(s): Minghui ZhouPeking University

	09:00 - 09:20 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 - 09:40 Talk		Older adults and hackathons: a qualitative study Journal first papers Wiesław KopećPolish-Japanese Academy of Information Technology, Bartłomiej Balcerzak, Radosław Nielek, Grzegorz Kowalik, Adam Wierzbicki, Fabio Casati Link to publication DOI
	09:40 - 10:00 Talk		Does Syntax Highlighting Help Programming Novices? Journal first papers Christoph Hannebauer, Marc Hesenius, Volker GruhnUniversity Duisburg-Essen
	10:00 - 10:20 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 - 10:30 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 - 09:20 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 - 09:40 Talk		Traceability in the Wild: Automatically Augmenting Incomplete Trace links 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 - 10:00 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 - 10:20 Talk		Global-Aware Recommendations for Repairing Violations in Exception Handling Journal first papers Eiji Adachi Barbosa, Alessandro GarciaPUC-Rio
	10:20 - 10:30 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 - 09:20 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 - 09:40 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 - 10:00 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 - 10:20 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 - 10:30 Talk		Q&A in groups Technical Papers

	11:00 - 12:30: Testing IIITechnical Papers / Journal first papers at Congress Hall Chair(s): Myra CohenUniversity of Nebraska-Lincoln

	11:00 - 11:20 Talk		RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations Technical Papers Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao DOI File Attached
	11:20 - 11:40 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 - 12:00 Talk		Metamorphic Testing of RESTful Web APIs Journal first papers Sergio Segura, José Antonio Parejo Maestre, Javier Troya, Antonio Ruiz-CortésUniversidad de Sevilla
	12:00 - 12:20 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 - 12:30 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 - 11:20 Talk		Propagating Configuration Decisions with Modal Implication Graphs Technical Papers Sebastian KrieterMagdeburg University, Thomas ThümTU Braunschweig, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Reimar SchröterMagdeburg University, Gunter SaakeUniversity of Magdeburg, Germany
	11:20 - 11:40 Talk		A Combinatorial Approach for Exposing Off-Nominal Behaviors Technical Papers Kaushik Madala, Hyunsook DoUniversity of North Texas, Daniel Aceituna
	11:40 - 12:00 Research paper		Identifying Design Problems in the Source Code: A Grounded Theory Technical Papers Leonardo Da Silva Sousa, Anderson Oliveira, Willian OizumiPUC-Rio, Simone Diniz Junqueira BarbosaPUC-Rio, Alessandro GarciaPUC-Rio, Jaejoon LeeLancaster University, UK, Marcos KalinowskiPontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello, Baldoino Fonseca, Roberto Oliveira, Carlos Lucena, Rodrigo Paes File Attached
	12:00 - 12:20 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 - 12:30 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 - 11:20 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 - 11:40 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 - 12:00 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 - 12:20 Talk		Generalized Data Structure Synthesis Technical Papers Calvin LoncaricUniversity of Washington, Michael D. ErnstUniversity of Washington, USA, Emina TorlakUniversity of Washington DOI Pre-print Media Attached
	12:20 - 12:30 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 - 11:20 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 - 11:40 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 - 12:00 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 - 12:20 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 - 12:30 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 - 11:20 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 - 11:40 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 - 12:00 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 - 12:20 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 - 12:30 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 - 11:20 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 - 11:40 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 - 12:00 Talk		Context-Aware Conversational Developer Assistants Technical Papers Nicholas BradleyUniversity of British Columbia, Thomas FritzUniversity of Zurich, University of British Columbia, Reid HolmesUniversity of British Columbia Pre-print Media Attached
	12:00 - 12:20 Full-paper		Open Source barriers to entry, revisited: A tools perspective Technical Papers Christopher Mendez, Hema Susmita Padala, Zoe Steine-Hanson, Claudia Hilderbrand, Amber Horvath, Charles Hill, Logan Simpson, Nupoor Patil, Anita SarmaOregon State University, Margaret BurnettOregon State University Pre-print
	12:20 - 12:30 Talk		Q&A in groups Technical Papers

	14:00 - 15:30: Testing IVTechnical Papers / Journal first papers at Congress Hall Chair(s): Xiaoying BaiTsinghua University

	14:00 - 14:20 Talk		Analyzing The Effects of Test Driven Development In GitHub Journal first papers Neil Borle, Meysam Feghhi, Eleni StrouliaUniversity of Alberta, Russell Grenier, Abram HindleUniversity of Alberta Pre-print
	14:20 - 14:40 Talk		A Comparative Study to Benchmark Cross-project Defect Prediction Approaches Journal first papers Steffen HerboldUniversity of Göttingen, Alexander Trautsch, Jens Grabowski Link to publication DOI Pre-print
	14:40 - 15:00 Talk		MSeer - An Advanced Technique for Locating Multiple Bugs in Parallel Journal first papers Ruizhi Gao, W. Eric Wong
	15:00 - 15:20 Talk		Journal First Presentation of An Experience Report On Applying Software Testing Academic Results In Industry: We Need Usable Automated Test Generation Journal first papers Andrea Arcuri
	15:20 - 15:30 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 - 14:20 Talk		Programming Not Only by Example Technical Papers Hila PelegTechnion, Israel, Sharon ShohamTel Aviv university, Eran YahavTechnion Pre-print Media Attached
	14:20 - 14:40 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 - 15:00 Talk		A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications Journal first papers Juan de Lara, Esther Guerra
	15:00 - 15:20 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 - 15:30 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 - 14:20 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 - 14:40 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 - 15:00 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 - 15:20 Talk		Reducer-Based Construction of Conditional Verifiers Technical Papers Dirk BeyerLMU Munich, Marie-Christine JakobsLMU, Munich, Germany, Thomas Lemberger, Heike Wehrheim Pre-print File Attached
	15:20 - 15:30 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 - 14:20 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 - 14:40 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 - 15:00 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 - 15:20 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 - 15:30 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 - 14:20 Talk		Search-Based Test Data Generation for SQL Queries Technical Papers Jeroen Castelein, Mauricio 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 - 14:40 Talk		Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem Technical Papers Yinxing Xue, Yan-Fu Li DOI Pre-print Media Attached
	14:40 - 15:00 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 - 15:20 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 - 15:30 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 - 14:20 Talk		Challenges and pitfalls on surveying evidence in the software engineering technical literature:an exploratory study with novices Journal first papers Talita Vieira RibeiroFederal University of Rio de Janeiro, Jobson Massollar, Guilherme Horta Travassos Link to publication DOI Pre-print
	14:20 - 14:40 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 - 15:00 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 - 15:20 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 - 15:30 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

Marsha Chechik, University of Toronto, Canada
Mark Harman, Facebook and University College London, United Kingdom

Accepted Papers

	Title
	"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews Technical Papers Daniel M. German, Gregorio Robles, Germán Poo-Caamaño, Xin Yang, Hajimu Iida, Katsuro Inoue Pre-print File Attached
	A Combinatorial Approach for Exposing Off-Nominal Behaviors Technical Papers Kaushik Madala, Hyunsook Do, Daniel Aceituna
	A Graph Solver for the Automated Generation of Consistent Domain-Specific Models Technical Papers Oszkár Semeráth, András Szabolcs Nagy, Daniel Varro
	A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products Technical Papers Mahmoud Hammad, Joshua Garcia, Sam Malek DOI Pre-print Media Attached File Attached
	A Static Verification Framework for Message Passing in Go using Behavioural Types Technical Papers Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida DOI Pre-print Media Attached
	A Temporal Permission Analysis and Enforcement Framework for Android Technical Papers Alireza Sadeghi, Reyhaneh Jabbarvand, Negar Ghorbani, Hamid Bagheri, Sam Malek
	Accurate and Efficient Refactoring Detection in Commit History Technical Papers Nikolaos Tsantalis, Matin Mansouri, Laleh M-Eshkevari, Davood Mazinanian, Danny Dig Pre-print Media Attached
	Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem Technical Papers Asher Trockman, Shurui Zhou, Christian Kästner, Bogdan Vasilescu Pre-print Media Attached
	Almost There: A Study on Quasi-Contributors in Open-Source Software Projects Technical Papers Igor Steinmacher, Gustavo Pinto, Igor Wiese, Marco Gerosa Pre-print
	Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow Technical Papers Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim 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 Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae Pre-print
	Assessing the Threat of Untracked Changes in Software Evolution Technical Papers Andre Hora, Danilo Silva, Marco Tulio Valente, Romain Robbes Pre-print
	Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles Technical Papers Leonardo Mariani, Mauro Pezzè, Daniele Zuddas Pre-print
	Automated Localization for Unreproducible Builds Technical Papers Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang Yang
	Automated Repair of Mobile Friendly Problems in Web Pages Technical Papers Sonal Mahajan, Negarsadat Abolhassani, Phil McMinn, William G.J. Halfond
	Automated Reporting of GUI Design Violations for Mobile Apps Technical Papers Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk Pre-print Media Attached
	Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge Technical Papers Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T Johnson, Christoph Csallner Pre-print
	Automatically Generating Search Heuristics for Concolic Testing Technical Papers Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh Pre-print
	CCAligner: a token based large-gap clone detector Technical Papers Pengcheng Wang, Jeffrey Svajlenko, Yanzhao Wu, Yun Xu, Chanchal K. Roy
	Chopped Symbolic Execution Technical Papers David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar Link to publication File Attached
	Collective Program Analysis Technical Papers Ganesha Upadhyaya, Hridesh Rajan Pre-print
	ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries Technical Papers Jibesh Patra, Pooja N. Dixit, Michael Pradel Pre-print File Attached
	Context-Aware Conversational Developer Assistants Technical Papers Nicholas Bradley, Thomas Fritz, Reid Holmes Pre-print Media Attached
	Context-Aware Patch Generation for Better Automated Program Repair Technical Papers Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung Pre-print
	Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications Technical Papers Xiao Yu, Guoliang Jin Pre-print File Attached
	DeFlaker: Automatically Detecting Flaky Tests Technical Papers Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov Pre-print Media Attached
	Debugging Data Flows in Reactive Programs Technical Papers Herman Banken, Georgios Gousios, Erik Meijer Pre-print
	Debugging with Intelligence via Probabilistic Inference Technical Papers Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu
	Deep Code Search Technical Papers Xiaodong Gu, Hongyu Zhang, Sunghun Kim Pre-print
	DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Technical Papers Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
	DetReduce: Minimizing Android GUI Test Suites for Regression Testing Technical Papers Wontae Choi, Koushik Sen, George Necula, Wenyu Wang
	Deuce: A Lightweight User Interface for Structured Editing Technical Papers Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh Pre-print Media Attached
	Do You Remember This Source Code? Technical Papers Jacob Krüger, Jens Wiemann, Wolfram Fenske, Gunter Saake, Thomas Leich
	Do programmers work at night or during weekend? Technical Papers Maëlick Claes, Mika Mäntylä, Miikka Kuutila, Bram Adams Pre-print
	Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies? Technical Papers Christoph Mayr-Dorn, Alexander Egyed DOI Pre-print
	DroidStar: Callback Typestates for Android Classes Technical Papers Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny
	Efficient Sampling of SAT Solutions for Testing Technical Papers Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen Link to publication DOI Media Attached File Attached
	EnMobile: Entity-based Characterization and Analysis of Mobile Malware Technical Papers Wei Yang, Mukul Prasad, Tao Xie
	Enlightened Debugging Technical Papers Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso Pre-print File Attached
	FAST Approaches to Scalable Similarity-based Test Case Prioritization Technical Papers Breno Miranda, Emilio Cruciani, Roberto Verdecchia, Antonia Bertolino DOI Pre-print File Attached
	FaCoY – A Code-to-Code Search Engine Technical Papers Kisub Kim, Dongsun Kim, Tegawendé F. Bissyandé, Eunjong Choi, Li Li, Jacques Klein, Yves Le Traon Link to publication DOI Pre-print Media Attached
	Fine-Grained Test Minimization Technical Papers Arash Vahabzadeh, Andrea Stocco, Ali Mesbah Pre-print
	From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation Technical Papers Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu Pre-print
	GUILeak: Tracing Privacy-Policy Claims on User Input Data for Android Applications Technical Papers Xiaoyin Wang, Xue Qin, Mitra Bokaei Hosseini, Rocky Slavin, Travis Breaux, Jianwei Niu
	Generalized Data Structure Synthesis Technical Papers Calvin Loncaric, Michael D. Ernst, Emina Torlak DOI Pre-print Media Attached
	Goal-Conflict Likelihood Assessment based on Model Counting Technical Papers Renzo Degiovanni, Pablo Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias Pre-print File Attached
	HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts Technical Papers Foyzul Hassan, Xiaoyin Wang Pre-print
	How Modern News Aggregators Help Development Communities Shape and Share Knowledge Technical Papers Mauricio Aniche, Christoph Treude, Igor Steinmacher, Igor Wiese, Gustavo Pinto, Margaret-Anne Storey, Marco Gerosa Pre-print
	How not to structure your database-backed web applications: a study of performance bugs in the wild Technical Papers Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung Pre-print
	Hybrid Regression Test Selection Technical Papers Lingming Zhang
	Identifying Design Problems in the Source Code: A Grounded Theory Technical Papers Leonardo Da Silva Sousa, Anderson Oliveira, Willian Oizumi, Simone Diniz Junqueira Barbosa, Alessandro Garcia, Jaejoon Lee, Marcos Kalinowski, Rafael de Mello, Baldoino Fonseca, Roberto Oliveira, Carlos Lucena, Rodrigo Paes File Attached
	Identifying Features in Forks Technical Papers Shurui Zhou, Ştefan Stănciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wąsowski, Christian Kästner Pre-print File Attached
	Identifying Patch Correctness in Test-Based Program Repair Technical Papers Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang Pre-print
	Inferring Hierarchical Motifs from Execution Traces Technical Papers Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman
	Inferring and Asserting Distributed System Invariants Technical Papers Stewart Grant, Hendrik Cech, Ivan Beschastnikh Link to publication Media Attached
	Inheritance Usage Patterns in Open-Source Systems Technical Papers Jamie Stevenson, Murray Wood Pre-print File Attached
	Is "Better Data" Better Than "Better Data Miners"? Technical Papers Amritanshu Agrawal, Tim Menzies Link to publication DOI Pre-print File Attached
	Large-Scale Analysis of Framework-Specific Exceptions in Android Apps Technical Papers Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su DOI Pre-print File Attached
	Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps Technical Papers Yifei Zhang, Yulei Sui, Jingling Xue DOI Pre-print File Attached
	Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications Technical Papers Yixue Zhao, Marcelo Laser, Yingjun Lyu, Nenad Medvidović DOI Pre-print Media Attached
	Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation Technical Papers Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert DOI Pre-print File Attached
	Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem Technical Papers Yinxing Xue, Yan-Fu Li DOI Pre-print Media Attached
	Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming Technical Papers Jun-Wei Lin, Reyhaneh Jabbarvand, Joshua Garcia, Sam Malek Pre-print File Attached
	Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments Technical Papers Sahil Bhatia, Pushmeet Kohli, Rishabh Singh
	On The Dichotomy of Debugging Behavior Among Programmers Technical Papers Moritz Beller, Niels Spruit, Diomidis Spinellis, Andy Zaidman Pre-print
	Online App Review Analysis for Identifying Emerging Issues Technical Papers Cuiyun Gao, Jichuan Zeng, Michael Lyu, Irwin King Pre-print
	Open Source barriers to entry, revisited: A tools perspective Technical Papers Christopher Mendez, Hema Susmita Padala, Zoe Steine-Hanson, Claudia Hilderbrand, Amber Horvath, Charles Hill, Logan Simpson, Nupoor Patil, Anita Sarma, Margaret Burnett Pre-print
	Perses: Syntax-Guided Program Reduction Technical Papers Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
	Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Technical Papers Yunho Kim, Yunja Choi, Moonzoo Kim
	Prioritizing Browser Environments for Web Application Test Execution Technical Papers Junghyun Kwon, In-Young Ko, Gregg Rothermel
	Program Splicing Technical Papers Yanxin Lu, Swarat Chaudhuri, Christopher Jermaine, David Melski
	Programming Not Only by Example Technical Papers Hila Peleg, Sharon Shoham, Eran Yahav Pre-print Media Attached
	Propagating Configuration Decisions with Modal Implication Graphs Technical Papers Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
	RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations Technical Papers Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao DOI File Attached
	Redefining Prioritization: Continuous Prioritization for Continuous Integration Technical Papers Jingjing Liang, Sebastian Elbaum, Gregg Rothermel
	Reducer-Based Construction of Conditional Verifiers Technical Papers Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim Pre-print File Attached
	Repairing Crashes in Android Apps Technical Papers Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury Pre-print File Attached
	Roles and Impacts of Hands-on Software Architects in Five Industrial Case Studies Technical Papers Inayat Rehman, Mehdi Mirakhorli, Mei Nagappan, Azad Aralbay, Matthew Thornton
	Search-Based Test Data Generation for SQL Queries Technical Papers Jeroen Castelein, Mauricio Aniche, Mozhan Soltani, Annibale Panichella, Arie van Deursen DOI Pre-print Media Attached
	Secure Coding Practices in Java: Challenges and Vulnerabilities Technical Papers Na Meng, Stefan Nagy, Daphne Yao, Wenjie Zhuang, Gustavo Arango Argoty
	Self-Hiding Behavior in Android Apps: Detection and Characterization Technical Papers Zhiyong Shan, Iulian Neamtiu, Raina Samuel File Attached
	Semantic Program Repair Using a Reference Implementation Technical Papers Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury File Attached
	Sentiment Analysis for Software Engineering: How Far Can We Go? Technical Papers Bin Lin, Fiorella Zampetti, Gabriele Bavota, Massimiliano Di Penta, Michele Lanza, Rocco Oliveto
	Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation Technical Papers Pei Wang, Qinkun Bao, Li Wang, Shuai Wang, Zhaofeng Chen, Tao Wei, Dinghao Wu Pre-print Media Attached
	Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities Technical Papers Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue
	Speedoo: Prioritizing Performance Optimization Opportunities Technical Papers Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu, Baowen Xu
	Static Automated Program Repair for Heap Properties Technical Papers Rijnard van Tonder, Claire Le Goues Pre-print File Attached
	Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review Technical Papers Rolando Reyes, Oscar Dieste, Efraín R. Fonseca C., Natalia Juristo DOI Pre-print Media Attached File Attached
	Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums Technical Papers Hung Phan, Hoan Nguyen, Ngoc Tran, Linh Truong, Anh Nguyen, Tien N. Nguyen
	Symbolic Verification of Regular Properties Technical Papers Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong Pre-print
	Synthesizing Qualitative Research in Software Engineering: A Critical Review Technical Papers Xin Huang, He Zhang, Xin Zhou, Yang Song, Muhammad Ali Babar
	Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms Technical Papers Raja Ben Abdessalem, Shiva Nejati, Lionel Briand, Thomas Stifter Pre-print File Attached
	The Evolution of Requirements Practices in Software Startups Technical Papers Catarina Gralha, Daniela Damian, Anthony I. (Tony) Wasserman, Miguel Goulao, João Araújo Pre-print Media Attached
	The Road to Live Programming: Insights From the Practice Technical Papers Juraj Kubelka, Romain Robbes, Alexandre Bergel
	Time to Clean your Test Objectives Technical Papers Michaël Marcozzi, Sebastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson Link to publication DOI File Attached
	To Distribute or Not to Distribute? Why Licensing Bugs Matter Technical Papers Christopher Vendome, Daniel M. German, Massimiliano Di Penta, Gabriele Bavota, Mario Linares-Vásquez, Denys Poshyvanyk
	To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines Technical Papers Jianmei Guo, Kai Shi
	Towards Optimal Concolic Testing Technical Papers Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin Pre-print
	Towards Practical Program Repair with On-Demand Candidate Generation Technical Papers Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid File Attached
	Towards Refactoring-Aware Regression Test Selection Technical Papers Kaiyuan Wang, Chenguang Zhu, Ahmet Celik, Jongwook Kim, Don Batory, Milos Gligoric File Attached
	Traceability in the Wild: Automatically Augmenting Incomplete Trace links Technical Papers Michael Rath, Jacob Rendall, Jin L.C. Guo, Jane Cleland-Huang, Patrick Mäder Pre-print
	UFO: Predictive Concurrency Use-After-Free Detection Technical Papers Jeff Huang Pre-print
	Understanding Developers’ Needs on Deprecation as a Language Feature Technical Papers Anand Ashok Sawant, Mauricio Aniche, Arie van Deursen, Alberto Bacchelli Pre-print
	When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects Technical Papers Andrew Head, Caitlin Sadowski, Emerson Murphy-Hill, Andrea Knight Pre-print
	When Testing Meets Code Review: Why and How Developers Review Tests Technical Papers Davide Spadini, Mauricio Aniche, Margaret-Anne Storey, Magiel Bruntink, Alberto Bacchelli DOI Pre-print

Technical Papers * ICSE 2018 *

Program Display Configuration

Wed 30 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 1 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Not scheduled yet

Technical track submissions

Goals and Scope

Evaluation

Double Blind Review Process

Submission

Important Dates:

Organization:

Program Committee Chairs

Accepted Papers

Marsha ChechikProgram Chair

University of Toronto

Canada

Mark HarmanProgram Chair

Facebook and University College London

United Kingdom

Joanne M. Atlee

University of Waterloo, Canada

Canada

Antonia Bertolino

CNR-ISTI

Italy

Lionel Briand

SnT Centre/University of Luxembourg

Luxembourg

Margaret Burnett

Oregon State University

United States

Betty H.C. Cheng

Michigan State University

United States

Jane Cleland-Huang

University of Notre Dame

United States

Myra Cohen

University of Nebraska-Lincoln

United States

Daniela Damian

University of Victoria

Canada

Elisabetta Di Nitto

Politecnico di Milano

Italy

Massimiliano Di Penta

University of Sannio

Italy

Robert Feldt

Chalmers University of Technology

Sweden

Gordon Fraser

University of Sheffield

United Kingdom

Lars Grunske

Humboldt-Universität zu Berlin

Germany

Marieke Huisman

University of Twente

Netherlands

Miryung Kim

University of California at Los Angeles, USA

United States

Anna Liu

Amazon Web Services

United States

David Lo

Singapore Management University

Singapore

Martin Robillard

McGill University

Canada

Alessandro Orso

Georgia Tech

United States

Corina S Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change