ICSE has formed partnerships with prestigious software engineering journals to incorporate journal-first papers into the ICSE program. Through this initiative, authors of journal-first papers accepted in the partnering journals will be invited to present their work at ICSE, thus providing an opportunity for the authors to engage directly with the community and offering the ICSE attendees an additional dimension to the research track program.
The journals that support the journal-first model as partners with ICSE are:
- IEEE Transaction of Software Engineering (IEEE TSE),
- ACM Transactions on Software Engineering and Methodology (ACM TOSEM),
- Empirical Software Engineering (EMSE).
Dates
Tracks
Wed 29 May Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 29 May
Times are displayed in time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Automated Program Repair 1Journal-First Papers / Technical Track / Papers at Laurier Chair(s): Lars GrunskeHumboldt-Universität zu Berlin | ||
11:00 20mTalk | Learning to Spot and Refactor Inconsistent Method NamesTechnical Track Technical Track Kui LiuUniversity of Luxembourg, Dongsun KimFuriosa.ai, Tegawendé F. BissyandéSnT, University of Luxembourg, Taeyoung KimChonbuk National University, Kisub KimUniversity of Luxembourg, SnT, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Suntae Kim, Yves Le TraonUniversity of Luxembourg Pre-print | ||
11:20 20mTalk | Harnessing Evolution for Multi-Hunk Program RepairTechnical Track Technical Track Seemanta SahaUniversity of California Santa Barbara, Ripon SahaFujitsu Laboratories of America, Inc., Mukul PrasadFujitsu Laboratories of America | ||
11:40 20mTalk | On Learning Meaningful Code Changes via Neural Machine TranslationTechnical Track Technical Track Michele TufanoCollege of William and Mary, Jevgenija PantiuchinaUniversità della Svizzera italiana, Cody Watson , Gabriele BavotaUniversità della Svizzera italiana (USI), Denys PoshyvanykWilliam and Mary Pre-print | ||
12:00 10mTalk | Mining Fix Patterns for FindBugs ViolationsJournal-First Journal-First Papers Kui LiuUniversity of Luxembourg, Dongsun KimFuriosa.ai, Tegawendé F. BissyandéSnT, University of Luxembourg, Shin YooKorea Advanced Institute of Science and Technology, Yves Le TraonUniversity of Luxembourg Pre-print | ||
12:10 10mTalk | Test-equivalence Analysis for Automatic Patch GenerationJournal-First Journal-First Papers Sergey MechtaevUniversity College London, Xiang GaoNational University of Singapore, Shin Hwei TanSouthern University of Science and Technology, Abhik RoychoudhuryNational University of Singapore | ||
12:20 10mTalk | Discussion Period Papers | ||
11:00 - 12:30 | Security 1Journal-First Papers / Papers / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne Chair(s): Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
11:00 20mTalk | Interventions for Software Security: Creating a Lightweight Program of Assurance Techniques for DevelopersSEIPIndustry Program Software Engineering in Practice Charles WeirLancaster University, Lynne BlairLancaster University, Ingolf BeckerUniversity College London, M. Angela SasseUniversity College London, James NobleVictoria University of Wellington, Awais RashidUniversity of Bristol, UK | ||
11:20 20mTalk | Towards Better Utilizing Static Application Security TestingSEIPIndustry Program Software Engineering in Practice Jinqiu YangConcordia University, Montreal, Canada, Lin TanPurdue University, John PeytonHCL America, Kristofer A DuerAppScan Source | ||
11:40 20mTalk | LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program MetricsTechnical Track Technical Track Xiaoning DuNanyang Technological University, Bihuan ChenFudan University, Yuekang LiNanyang Technological University, Jianmin GuoTsinghua University, Yaqin ZhouNanyang Technological University, Yang LiuNanyang Technological University, Singapore, Yu Jiang | ||
12:00 10mTalk | A Screening Test for Disclosed Vulnerabilities in FOSS ComponentsIndustry ProgramJournal-First Journal-First Papers Stanislav DashevskyiUniversity of Luxembourg, Achim D. BruckerThe University of Sheffield, Fabio MassacciUniversity of Trento Link to publication DOI Pre-print | ||
12:10 10mTalk | VULTRON: Catching Vulnerable Smart Contracts Once and for AllNIER New Ideas and Emerging Results Haijun WangNanyang Technological University, Yi LiNanyang Technological University, Shang-Wei LinNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore | ||
12:20 10mTalk | Discussion Period Papers | ||
11:00 - 12:30 | Static AnalysisTechnical Track / Papers / Demonstrations at Viger Chair(s): Mauro PezzeUniversità della Svizzera italiana (USI) (Switzerland) and Università degli Studi di Milano Bicocca (Italy) | ||
11:00 20mTalk | SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code Technical Track Gang FanHong Kong University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Xiao XiaoSourcebrella Inc., Jinguo ZhouSourcebrella Inc., Charles ZhangThe Hong Kong University of Science and Technology Pre-print | ||
11:20 20mTalk | Reasonably-Most-General Clients for JavaScript Library Analysis Technical Track | ||
11:40 20mTalk | Resource-aware Program Analysis via Online Abstraction Coarsening Technical Track | ||
12:00 20mTalk | SMT-Based Refutation of Spurious Bug Reports in the Clang Static AnalyzerDemos Demonstrations Mikhail R. GadelhaSIDIA Instituto de Ciência e Tecnologia, Enrico Steffinlongo, Lucas C. CordeiroUniversity of Manchester, UK, Bernd FischerStellenbosch University, Denis A. NicoleUniversity of Southampton | ||
12:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | Debugging and Fault LocalizationJournal-First Papers / Papers / Demonstrations / Technical Track at Laurier Chair(s): Marsha ChechikUniversity of Toronto | ||
14:00 20mTalk | A System Identification based Oracle for Control-CPS Software Fault LocalizationTechnical TrackIndustry Program Technical Track Zhijian HeThe Hong Kong Polytechnic University, Yao ChenThe Hong Kong Polytechnic University, Enyan HuangThe Hong Kong Polytechnic University, Qixin WangThe Hong Kong Polytechnic University, Yu PeiThe Hong Kong Polytechnic University, Haidong YuanThe Chinese University of Hong Kong | ||
14:20 20mTalk | VeDebug: Regression Debugging Tool for JavaDemos Demonstrations Ben BuhseThe University of Texas at Austin, Thomas WeiThe University of Texas at Austin, Zhiqiang ZangThe University of Texas at Austin, Aleksandar Milicevic, Milos GligoricUniversity of Texas at Austin | ||
14:40 20mTalk | ReCDroid: Automatically Reproducing Android Application Crashes from Bug Reports Technical Track Yu ZhaoUniversity of Kentucky, Tingting YuUniversity of Kentucky, Ting SuNanyang Technological University, Singapore, Yang LiuNanyang Technological University, Singapore, Wei ZhengNorthwestern Polytechnical University, Jingzhi ZhangNorthwestern Polytechnical University, William G.J. HalfondUniversity of Southern California | ||
15:00 10mTalk | How Practitioners Perceive Automated Bug Report Management TechniquesIndustry ProgramJournal-First Journal-First Papers Weiqin Zounju, David LoSingapore Management University, Zhenyu ChenNanjing University, Xin XiaMonash University, Yang FengUniversity of California, Irvine, Baowen Xu | ||
15:10 10mTalk | Chaff from the Wheat: Characterizing and Determining Valid Bug ReportsJournal-First Journal-First Papers Yuanrui Fan, Xin XiaMonash University, David LoSingapore Management University, Ahmed E. HassanQueen's University | ||
15:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | DevOps and LoggingSoftware Engineering in Practice / Technical Track / Papers at Mansfield / Sherbrooke Chair(s): Diomidis SpinellisAthens University of Economics and Business | ||
14:00 20mTalk | An Empirical Investigation of Incident Triage for Online Service SystemsSEIPIndustry Program Software Engineering in Practice Junjie ChenPeking University, Xiaoting HeMicrosoft, Qingwei LinMicrosoft Research, China, Yong XuMicrosoft, China, Hongyu ZhangThe University of Newcastle, Dan HaoPeking University, Feng GaoMicrosoft, Zhangwei XuMicrosoft, Yingnong DangMicrosoft Azure, Dongmei ZhangMicrosoft Research, China | ||
14:20 20mTalk | Tools and Benchmarks for Automated Log ParsingSEIPIndustry Program Software Engineering in Practice Jieming ZhuHuawei Noah's Ark Lab, Shilin HeChinese University of Hong Kong, Jinyang LiuSun Yat-Sen University, Pinjia HeComputer Science and Engineering, The Chinese University of Hong Kong, Qi XieSouthwest Minzu University, Zibin ZhengSchool of Data and Computer Science, Sun Yat-sen University, Michael Lyu | ||
14:40 20mTalk | Mining Historical Test Logs to Predict Bugs and Localize Faults in the Test LogsTechnical TrackIndustry Program Technical Track | ||
15:00 20mTalk | DLFinder: Characterizing and Detecting Duplicate Logging Code SmellsTechnical TrackIndustry Program Technical Track Zhenhao LiConcordia University, Tse-Hsun (Peter) ChenConcordia University, Jinqiu Yang , Weiyi ShangConcordia University, Canada | ||
15:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | Test GenerationDemonstrations / Papers / Technical Track / Software Engineering in Practice at Place du Canada Chair(s): Adam PorterUniversity of Maryland | ||
14:00 20mTalk | Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive IndustrySEIPIndustry Program Software Engineering in Practice Yunho KimKAIST, Dongju LeeSoftware Verification Team, Hyundai Mobis, Junki BaekSoftware Verification Team, Hyundai Mobis, Moonzoo KimKAIST | ||
14:20 20mTalk | AsFault: Testing Self-Driving Car Software Using Search-based Procedural Content GenerationDemosIndustry Program Demonstrations | ||
14:40 20mTalk | AC3R: Automatically Reconstructing Car Crashes from Police ReportsDemosIndustry Program Demonstrations | ||
15:00 20mTalk | Automatically Generating Precise Oracles from Structured Natural Language Specifications Technical Track Link to publication Pre-print | ||
15:20 10mTalk | Discussion Period Papers | ||
16:00 - 18:00 | Mobile AppsJournal-First Papers / Technical Track / Software Engineering in Practice / Papers / New Ideas and Emerging Results at Mansfield / Sherbrooke Chair(s): Sandeep KuttalThe University of Tulsa | ||
16:00 20mTalk | Large-scale Empirical Study on Industrial Fake AppsSEIPIndustry Program Software Engineering in Practice Chongbin TangEast China Normal University, Sen ChenNanyang Technological University, Singapore, Lingling FanNanyang Technological University, Singapore, Lihua Xu, Yang LiuNanyang Technological University, Singapore, Zhushou TangPwnzen Infotech Inc., Liang DouEast China Normal University | ||
16:20 20mTalk | Practical Android Test Recording with Espresso Test RecorderSEIPIndustry Program Software Engineering in Practice | ||
16:40 20mTalk | Mimic: UI Compatibility Testing System for Android AppsTechnical Track Technical Track Taeyeon KiSamsung Research America, Chang Min ParkUniversity at Buffalo, The State University of New York, Karthik DantuUniversity at Buffalo, The State University of New York, Steve KoUniversity at Buffalo, The State University of New York, Lukasz ZiarekSUNY Buffalo, USA | ||
17:00 20mTalk | IconIntent: Automatic Identification of Sensitive UI Widgets based on Icon Classification for Android AppsTechnical Track Technical Track Xusheng XiaoCase Western Reserve University, Xiaoyin WangUniversity of Texas at San Antonio, USA, Zhihao CaoCase Western Reserve University, Hanlin WangCase Western Reserve University, Peng GaoPrinceton University Pre-print | ||
17:20 10mTalk | Studying Bad Updates of Top Free-to-Download Apps in the Google Play StoreIndustry ProgramJournal-First Journal-First Papers Safwat HassanQueens University, Kingston, Canada, Cor-Paul BezemerUniversity of Alberta, Canada, Ahmed E. HassanQueen's University | ||
17:30 10mTalk | Navigation-aware and Personalized Prefetching of Network Requests in Android AppsIndustry ProgramNIER New Ideas and Emerging Results Ivano MalavoltaVrije Universiteit Amsterdam, Francesco NoceraPolytechnic University of Bari, Patricia LagoVrije Universiteit Amsterdam, Marina MongielloPolytechnic University of Bari, Italy Pre-print Media Attached | ||
17:40 20mTalk | Discussion Period Papers | ||
Thu 30 May Times are displayed in time zone: Eastern Time (US & Canada) change
Thu 30 May
Times are displayed in time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Unit TestingTechnical Track / Software Engineering in Practice / Papers / Journal-First Papers at Laurier Chair(s): Martin KroppUniversity of Applied Sciences Northwestern Switzerland | ||
11:00 30mTalk | (SEIP Talk) Mythical Unit Test CoverageSEIPIndustry Program Software Engineering in Practice | ||
11:30 20mResearch paper | Hunting for Bugs in Code Coverage Tools via Randomized Differential TestingTechnical Track Technical Track Yibiao YangNanjing University, China, Yuming Zhou, Hao SunUnaffiliated, Zhendong SuETH Zurich, Zhiqiang ZuoNanjing University, China, Lei XuNanjing University, Baowen Xu | ||
11:50 20mTalk | Rotten Green TestsTechnical Track Technical Track Julien DelplanqueUniversity of Lille, Stéphane Ducasse INRIA Lille, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Andrew P. BlackPortland State University and INRIA, Anne EtienEcole Polytechnique Universitaire de Lille | ||
12:10 10mTalk | A comprehensive study of pseudo-tested methodsJournal-First Journal-First Papers Oscar Luis Vera PérezINRIA, Benjamin DanglotUniversity Lille 1 and INRIA, Martin MonperrusKTH Royal Institute of Technology, Benoit BaudryKTH Royal Institute of Technology, Sweden Link to publication DOI Pre-print | ||
12:20 10mTalk | Discussion Period Papers | ||
11:00 - 12:30 | RequirementsDemonstrations / Papers / New Ideas and Emerging Results / Technical Track / Journal-First Papers at Van-Horne Chair(s): Liliana PasqualeUniversity College Dublin & Lero, Ireland | ||
11:00 20mTalk | MCP: A Security Testing Tool Driven by RequirementsDemos Demonstrations Phu X. MaiUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Arda GoknilUniversity of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg | ||
11:20 20mTalk | RM2PT: A Tool for Automated Prototype Generation from Requirements ModelDemos Demonstrations Yilong YangUniversity of Macau, Xiaoshan LiFaculty of Science and Technology, Univesity of Macau, Zhiming LiuSouthwest University, Wei KeMacao Polytechnic Institute | ||
11:40 20mTalk | Supporting Analysts by Dynamic Extraction and Classification of Requirements-Related KnowledgeTechnical Track Technical Track Zahra ShakeriUniversity of Calgary, Vincenzo GervasiUniversity of Pisa, Didar ZowghiUniversity of Technology, Sydney, Behrouz FarUniversity of Calgary | ||
12:00 10mTalk | An Active Learning Approach for Improving the Accuracy of Automated Domain Model ExtractionJournal-First Journal-First Papers Chetan AroraSES Networks and University of Luxembourg, Mehrdad SabetzadehSnT Centre / University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg | ||
12:10 10mTalk | Requirements Engineering as Science in the SmallNIER New Ideas and Emerging Results | ||
12:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | |||
14:00 20mTalk | ENRE: A Tool Framework for Extensible eNtity Relation ExtractionDemos Demonstrations Wuxia JinXi'an Jiaotong University, Yuanfang Cai Drexel University, Rick KazmanUniversity of Hawai‘i at Mānoa, Qinghua ZhengMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Di CuiXi'an Jiaotong University, Ting LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China | ||
14:20 20mTalk | Detection and Repair of Architectural Inconsistencies in Java Technical Track Negar GhorbaniUniversity of California, Irvine, Joshua GarciaUniversity of California, Irvine, Sam MalekUniversity of California, Irvine | ||
14:40 20mTalk | Can I Have a Stack Trace to Examine the Dependency Conflict Issue?Technical Track Technical Track Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Shin Hwei TanSouthern University of Science and Technology, Zhiliang ZhuNortheastern University, China, Hai YuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | ||
15:00 20mTalk | Investigating the Impact of Multiple Dependency Structures on Software DefectsTechnical Track Technical Track Di CuiXi'an Jiaotong University, Ting LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Yuanfang Cai Drexel University, Qinghua ZhengMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Qiong FengDrexel University, Wuxia JinXi'an Jiaotong University, Jiaqi GuoXi'an Jiaotong University, Yu QuXi'an Jiaotong University | ||
15:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | Trends and Challenges in SENew Ideas and Emerging Results / Technical Track / Software Engineering in Practice / Papers at Place du Canada Chair(s): Barbora BuhnovaMasaryk University | ||
14:00 20mTalk | Software Engineering for Machine Learning: A Case Study Software Engineering in Practice Saleema AmershiMicrosoft, Andrew BegelMicrosoft Research, Christian BirdMicrosoft Research, Rob DeLineMicrosoft Research, Harald GallUniversity of Zurich, Ece KamarMicrosoft, Nachiappan NagappanMicrosoft Research, Besmira NushiMicrosoft Research, Thomas ZimmermannMicrosoft Research Pre-print | ||
14:20 10mTalk | Blockchain-based Software EngineeringNIER New Ideas and Emerging Results Moritz BellerDelft University of Technology, Joseph HejderupDelft University of Technology, Netherlands Pre-print | ||
14:30 10mTalk | On Testing Quantum ProgramsNIER New Ideas and Emerging Results Pre-print | ||
14:40 10mTalk | Towards a Systematic Study of Values in SE: Tools for Industry and EducationNIER New Ideas and Emerging Results Emily WinterLancaster University, Stephen ForshawLancaster University, Lucy HuntLancaster University, Maria Angela FerarrioLancaster University | ||
14:50 10mTalk | Robustness and Games Against Nature in Molecular ProgrammingNIER New Ideas and Emerging Results Jack H. LutzIowa State University, Neil LutzUniversity of Pennsylvania, Robyn LutzIowa State University, Matthew RileyIowa State University | ||
15:00 20mTalk | Statistical Algorithmic Profiling for Randomized Approximate Programs Technical Track Keyur JoshiUniversity of Illinois at Urbana-Champaign, Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign Pre-print | ||
15:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | Requirements Engineering for Mass-Market SoftwareSoftware Engineering in Practice / Technical Track / Papers / Journal-First Papers / Demonstrations at Van-Horne Chair(s): Paul RalphUniversity of Auckland | ||
14:00 30mTalk | (SEIP Talk) Data-Driven Requirements EngineeringSEIPIndustry Program Software Engineering in Practice Walid MaalejUniversity of Hamburg, Maleknaz NayebiPolytechnique Montréal, Guenther RuheUniversity of Calgary | ||
14:30 20mTalk | Guigle: A GUI Search Engine for Android AppsDemosIndustry Program Demonstrations Carlos Bernal-CárdenasWilliam and Mary, Kevin MoranCollege of William & Mary, Michele TufanoCollege of William and Mary, Zichang LiuCollege of William & Mary, Linyong NanCollege of William & Mary, Zhehan ShiCollege of William & Mary, Denys PoshyvanykWilliam and Mary Pre-print Media Attached | ||
14:50 20mTalk | StoryDroid: Automated Generation of Storyboard for Android AppsTechnical TrackIndustry Program Technical Track Sen ChenNanyang Technological University, Singapore, Lingling FanNanyang Technological University, Singapore, Chunyang ChenMonash University, Ting SuNanyang Technological University, Singapore, Wenhe LiNew York University Shanghai, Yang LiuNanyang Technological University, Singapore, Lihua Xu | ||
15:10 10mTalk | Metamorphic Relations for Enhancing System Understanding and UseJournal-First Journal-First Papers Zhi Quan (George) ZhouUniversity of Wollongong, Australia, Liqun SunUniversity of Wollongong, Tsong Yueh ChenSwinburne University of Technology, Dave ToweyUniversity of Nottingham Ningbo China | ||
15:20 10mTalk | Discussion Period Papers | ||
Fri 31 May Times are displayed in time zone: Eastern Time (US & Canada) change
Fri 31 May
Times are displayed in time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Mining Software Changes and PatternsTechnical Track / Demonstrations / Papers at Centre-Ville Chair(s): Ayşe BaşarRyerson University | ||
11:00 20mTalk | The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists Technical Track Ralf RamsauerOTH Regensburg, Daniel LohmannLeibniz Universität Hannover, Wolfgang MauererOTH Regensburg / Siemens AG | ||
11:20 20mTalk | Graph-based Mining of In-the-Wild, Fine-grained, Semantic Code Change PatternsTechnical Track Technical Track Hoan NguyenIowa State University, Tien N. NguyenUniversity of Texas at Dallas, Danny DigSchool of EECS at Oregon State University, Son NguyenThe University of Texas at Dallas, Hieu TranThe University of Texas at Dallas, Michael HiltonCarnegie Mellon University, USA | ||
11:40 20mTalk | Coming: a Tool for Mining Change Pattern Instances from Git CommitsDemos Demonstrations | ||
12:00 20mTalk | PatchNet: A Tool for Deep Patch ClassificationDemos Demonstrations Thong HoangSingapore Management University, Singapore, Julia LawallInria/LIP6, Richard J OentaryoMcLaren Applied Technologies, Singapore, Yuan TianQueens University, Kingston, Canada, David LoSingapore Management University | ||
12:20 10mTalk | Discussion Period Papers | ||
11:00 - 12:30 | |||
11:00 20mTalk | SLF: Fuzzing without Valid Seed InputsTechnical TrackIndustry Program Technical Track Wei YouPurdue University, Xuwei LiuZhejiang University, Shiqing MaPurdue University, USA, David Mitchel PerryPurdue University, Xiangyu ZhangPurdue University, Bin LiangRenmin University of China, China | ||
11:20 20mTalk | Superion: Grammar-Aware Greybox FuzzingTechnical Track Technical Track Junjie WangNanyang Technological University, Bihuan ChenFudan University, Lei WeiNanyang Technological University, Yang LiuNanyang Technological University, Singapore | ||
11:40 20mTalk | Grey-box Concolic Testing on Binary Code Technical Track Jaeseung ChoiKAIST, Joonun JangSamsung Research, Samsung Electronics, Choongwoo HanNAVER Corporation, Sang Kil ChaKAIST | ||
12:00 20mTalk | REST-ler: Stateful REST API FuzzingTechnical TrackIndustry Program Technical Track Vaggelis AtlidakisColumbia University, Patrice GodefroidMicrosoft Research, Marina PolishchukMicrosoft Link to publication | ||
12:20 10mTalk | Discussion Period Papers | ||
11:00 - 12:30 | Machine Learning in Static AnalysisPapers / Technical Track at Place du Canada Chair(s): Na MengVirginia Tech | ||
11:00 20mTalk | Training Binary Classifiers as Data Structure InvariantsTechnical Track Technical Track Facundo MolinaUniversidad Nacional de Rio Cuarto, Argentina, Renzo DegiovanniSnT, University of Luxembourg, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán RegisUniversidad Nacional de Río Cuarto, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires | ||
11:20 20mTalk | Graph Embedding based Familial Analysis of Android Malware using Unsupervised LearningTechnical Track Technical Track Ming FanMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Xiapu Luo, Jun LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Meng WangUniversity of Bristol, UK, Chunyin Nong, Qinghua ZhengMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Ting LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China | ||
11:40 20mTalk | A Novel Neural Source Code Representation based on Abstract Syntax Tree Technical Track Jian ZhangBeihang University, Xu WangBeihang University, Hongyu ZhangThe University of Newcastle, Hailong SunBeihang University, Kaixuan WangBeihang University, Xudong LiuBeihang University Pre-print | ||
12:00 20mTalk | A Neural Model for Generating Natural Language Summaries of Program SubroutinesTechnical Track Technical Track | ||
12:20 10mTalk | Discussion Period Papers | ||
11:00 - 12:30 | ConcurrencyTechnical Track / Demonstrations / Papers at St-Denis / Notre-Dame Chair(s): Tuba YavuzUniversity of Florida | ||
11:00 20mTalk | Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams Technical Track Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Yiming TangCity University of New York (CUNY) Graduate Center, Mehdi BagherzadehOakland University, Syed AhmedOakland University Pre-print Media Attached | ||
11:20 20mTalk | Detecting Atomicity Violations for Event-Driven Node.js ApplicationsTechnical TrackIndustry Program Technical Track Xiaoning ChangInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Yu GaoInstitute of Software, Chinese Academy of Sciences, China, Jie WangInstitute of Software, Chinese Academy of Sciences, Jun WeiInstitute of Software, Chinese Academy of Sciences, China, Tao HuangInstitute of Software Chinese Academy of Sciences | ||
11:40 20mTalk | Parallel Refinement for Multi-Threaded Program Verification Technical Track Liangze YinNational University of Defense Technology, Wei Dong, Wanwei LiuNational University of Defense Technology, Ji Wang | ||
12:00 20mTalk | SWORD: A Scalable Whole Program Race Detector for JavaDemos Demonstrations | ||
12:20 10mTalk | Discussion Period Papers | ||
11:00 - 12:30 | Software Product LinesDemonstrations / Technical Track / Papers at Van-Horne Chair(s): Shahar MaozTel Aviv University | ||
11:00 20mTalk | Intention-Based Integration of Software Variants Technical Track Max LillackUniversity of Leipzig, Ştefan StănciulescuABB Corporate Research, Switzerland, Wilhelm Hedman, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Andrzej WąsowskiIT University of Copenhagen, Denmark Pre-print File Attached | ||
11:20 20mTalk | Supporting the Statistical Analysis of Variability Models Technical Track Ruben HeradioUNED (Universidad Nacional de Educacion a Distancia), David Fernandez-AmorosUNED (Universidad Nacional de Educacion a Distancia), Christoph Mayr-DornJohannes Kepler University Linz, Alexander Egyed | ||
11:40 20mTalk | xLineMapper: A Product Line Feature-Architecture-Implementation Mapping ToolsetDemos Demonstrations Cuong CuCybersource Corporation, Xin YeCalifornia State University San Marcos, Yongjie ZhengCalifornia State University San Marcos | ||
12:00 20mTalk | Multifaceted Automated Analyses for Variability-Intensive Embedded SystemsTechnical Track Technical Track Sami LazregVisteon Electronics and Universite Cote d Azur, Maxime CordySnT, University of Luxembourg, Philippe ColletUniversity of Nice, Patrick HeymansUniversity of Namur, Sébastien MosserUniversité Côte d'Azur, France Pre-print | ||
12:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | Human FactorsJournal-First Papers / Technical Track / Papers at Centre-Ville Chair(s): Christoph TreudeThe University of Adelaide | ||
14:00 20mTalk | How Practitioners Perceive Coding ProficiencyTechnical TrackIndustry Program Technical Track Xin XiaMonash University, Zhiyuan WanZhejiang University, Pavneet Singh KochharMicrosoft, David LoSingapore Management University | ||
14:20 20mTalk | Socio-Technical Work-Rate Increase Associates With Changes in Work Patterns in Online ProjectsTechnical TrackIndustry Program Technical Track Farhana Sarker, Bogdan VasilescuCarnegie Mellon University, Kelly BlincoeUniversity of Auckland, Vladimir FilkovUniversity of California at Davis, USA Pre-print | ||
14:40 20mTalk | Why Do Episodic Volunteers Stay in FLOSS Communities?Technical Track Technical Track Ann BarcombFriedrich-Alexander University Erlangen-Nurnberg and Lero - The Irish Software Research Centre and University of Limerick, Klaas-Jan StolUniversity College Cork and Lero, Ireland, Dirk Riehle, Brian FitzgeraldLero - The Irish Software Research Centre and University of Limerick Pre-print | ||
15:00 10mTalk | Uncovering the Periphery: A Qualitative Survey of Episodic Volunteering in Free/Libre and Open Source Software CommunitiesJournal-First Journal-First Papers Ann BarcombFriedrich-Alexander University Erlangen-Nurnberg and Lero - The Irish Software Research Centre and University of Limerick, Andreas KaufmannFriedrich-Alexander University Erlangen-Nuremberg, Dirk Riehle, Klaas-Jan StolUniversity College Cork and Lero, Ireland, Brian FitzgeraldLero - The Irish Software Research Centre and University of Limerick DOI Pre-print | ||
15:10 10mTalk | Discovering Community Patterns in Open-Source: A Systematic Approach and Its EvaluationJournal-First Journal-First Papers Damian Andrew TamburriTU/e, Fabio PalombaUniversity of Zurich, Alexander SerebrenikEindhoven University of Technology, Andy ZaidmanTU Delft Pre-print | ||
15:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | API AnalysisTechnical Track / Demonstrations / Papers at Duluth Chair(s): Sam MalekUniversity of California, Irvine | ||
14:00 20mTalk | Exposing Library API Misuses via Mutation AnalysisTechnical Track Technical Track Ming WenThe Hong Kong University of Science and Technology, Yepang LiuSouthern University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xuan XieSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zhendong SuETH Zurich | ||
14:20 20mDemonstration | Vetting API Usages in C Programs with IMCheckerDemos Demonstrations Zuxing GuSchool of Software, Tsinghua University, Jiecheng WuTsinghua University, Li ChiTsinghua University, Min ZhouTsinghua University, Yu Jiang, Ming GuTsinghua University, Jiaguang Sun Pre-print | ||
14:40 20mTalk | PIVOT: Learning API-Device Correlations to Facilitate Android Compatibility Issue Detection Technical Track Lili WeiThe Hong Kong University of Science and Technology, Yepang LiuSouthern University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology Pre-print | ||
15:00 20mTalk | SafeCheck: Safety Enhancement of Java Unsafe APITechnical Track Technical Track Shiyou HuangTexas A&M University, Jianmei GuoAlibaba Group, Sanhong LiAlibaba Inc., Xiang LiAlibaba, Yumin QiAlibaba, Kingsum Chow, Jeff HuangTexas A&M University | ||
15:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | Specifications and ModelsPapers / Demonstrations / Technical Track at Van-Horne Chair(s): Sylvain HalléUniversité du Québec à Chicoutimi, Canada | ||
14:00 20mTalk | PsALM: Specification of Dependable Robotic MissionsDemos Demonstrations Claudio MenghiUniversity of Luxembourg, SnT, Christos TsigkanosTechnische Universität Wien, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila | ||
14:20 20mTalk | Symbolic Repairs for GR(1) Specifications Technical Track Shahar MaozTel Aviv University, Jan Oliver RingertTel Aviv University, Rafi ShalomTel Aviv University | ||
14:40 20mTalk | ARepair: A Repair Framework for AlloyDemos Demonstrations Kaiyuan WangGoogle, Inc., Allison SullivanNorth Carolina Agriculture and Technical State University, Sarfraz KhurshidUniversity of Texas at Austin | ||
15:00 20mTalk | Visual Debugging of Behavioural ModelsDemos Demonstrations Gianluca BarbonUniversité Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes, Emmanuel YahUniversité Grenoble Alpes | ||
15:20 10mTalk | Discussion Period Papers | ||
14:00 - 15:30 | Crowdsourcing in Software EngineeringPapers / Software Engineering in Practice / Technical Track at Viger Chair(s): Tayana ConteUniversidade Federal do Amazonas | ||
14:00 30mTalk | (SEIP Talk) Crowdsourcing in Software Engineering: Models, Motivations, and ChallengesSEIPIndustry Program Software Engineering in Practice Thomas LaTozaGeorge Mason University | ||
14:30 20mTalk | CTRAS: Crowdsourced Test Report Aggregation and SummarizationTechnical TrackIndustry Program Technical Track hao rui, Yang FengUniversity of California, Irvine, James JonesUniversity of California, Irvine, Yuying LiState Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu ChenNanjing University | ||
14:50 20mTalk | iSENSE: Completion-Aware Crowdtesting Management Technical Track Junjie WangInstitute of Software, Chinese Academy of Sciences, Ye YangStevens institute of technology, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University, Qing WangInstitute of Software, Chinese Academy of Sciences | ||
15:10 20mTalk | Discussion Period Papers | ||
16:00 - 17:20 | Software DocumentationTechnical Track / Papers / Software Engineering in Practice / Journal-First Papers at Centre-Ville Chair(s): Bonita SharifUniversity of Nebraska-Lincoln, USA | ||
16:00 20mTalk | Web Feature Deprecation: A Case Study for ChromeSEIPIndustry Program Software Engineering in Practice Ariana MirianUniversity of California San Diego, Nikunj BhagatGoogle, Caitlin Sadowski, Adrienne Porter FeltGoogle, Stefan SavageUniversity of California San Diego, Geoffrey M. VoelkerUniversity of California San Diego | ||
16:20 20mTalk | Software Documentation Issues UnveiledTechnical TrackIndustry Program Technical Track Emad AghajaniSoftware Institute, USI - Lugano, Switzerland, Csaba NagyUniversità della Svizzera italiana (USI), Olga Lucero Vega-MarquezUniversidad de los Andes, Universidad de los Llanos, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia , Laura MorenoColorado State University, Gabriele BavotaUniversità della Svizzera italiana (USI), Michele LanzaUniversita della Svizzera italiana (USI) Pre-print | ||
16:40 20mTalk | 9.6 Million Links in Source Code Comments: Purpose, Evolution, and Decay Technical Track Hideaki HataNara Institute of Science and Technology, Christoph TreudeThe University of Adelaide, Raula Gaikovina KulaNAIST, Takashi IshioNara Institute of Science and Technology DOI Pre-print Media Attached | ||
17:00 10mTalk | Categorizing the Content of GitHub README FilesJournal-First Journal-First Papers Gede Artha Azriadi PranaSingapore Management University, Christoph TreudeThe University of Adelaide, Ferdian Thung, Thushari AtapattuThe University of Adelaide, David LoSingapore Management University Link to publication DOI Pre-print | ||
17:10 10mTalk | Discussion Period Papers | ||
16:00 - 17:20 | APIsNew Ideas and Emerging Results / Technical Track / Papers / Demonstrations at Duluth Chair(s): Chris ParninNCSU | ||
16:00 20mTalk | FOCUS: A Recommender System for Mining API Function Calls and Usage Patterns Technical Track Phuong T. NguyenUniversity of L’Aquila, Juri Di RoccoUniversità di L'Aquila, Davide Di RuscioUniversity of L'Aquila, Lina Ochoa, Thomas DegueuleCWI, Netherlands, Massimiliano Di PentaUniversity of Sannio Pre-print | ||
16:20 20mTalk | DRONE: A Tool to Detect and Repair Directive Defects in Java APIs DocumentationDemos Demonstrations Yu Zhou, Xin YanNanjing University of Aeronautics and Astronautics, Taolue ChenBirkbeck, University of London, Sebastiano PanichellaZurich University of Applied Science/University of Zurich, Harald GallUniversity of Zurich | ||
16:40 20mTalk | MULAPI: A Tool for API Method and Usage Location RecommendationDemos Demonstrations Congying XuYangzhou University, Bosen MinYangzhou University, Xiaobing SunYangzhou University, Jiajun HuThe Hong Kong University of Science and Technology, Bin LiYangzhou University, Yucong DuanHainan University | ||
17:00 10mTalk | API FluencyNIER New Ideas and Emerging Results Romain RobbesFree University of Bozen-Bolzano, Mircea F. LunguUniversity of Groningen, Andrea A. Janes | ||
17:10 10mTalk | Discussion Period Papers | ||
16:00 - 17:20 | Testing and Analysis: Domain-Specific ApproachesTechnical Track / Journal-First Papers / Papers at Place du Canada Chair(s): Gregory GayUniversity of South Carolina, Chalmers | University of Gothenburg | ||
16:00 20mTalk | Detecting Incorrect Build Rules Technical Track Pre-print Media Attached | ||
16:20 20mTalk | Adversarial Sample Detection for Deep Neural Network through Model Mutation TestingTechnical Track Technical Track Jingyi WangNational University of Singapore, Singapore, Guoliang DongComputer College of Zhejiang University, Jun SunSingapore Management University, Singapore, Xinyu WangZhejiang University, Peixin ZhangZhejiang University | ||
16:40 10mTalk | Oracles for Testing Software Timeliness with UncertaintyJournal-First Journal-First Papers Chunhui WangUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg | ||
16:50 20mTalk | Deep Differential Testing of JVM ImplementationsTechnical Track Technical Track Yuting ChenShanghai Jiao Tong University, Ting SuNanyang Technological University, Singapore, Zhendong SuETH Zurich | ||
17:10 10mTalk | Discussion Period Papers | ||
16:00 - 17:20 | Reverse EngineeringTechnical Track / Papers at St-Paul / Ste-Catherine Chair(s): Sandeep KuttalThe University of Tulsa | ||
16:00 20mTalk | Recovering Variable Names for Minified Code with Usage ContextsTechnical Track Technical Track Hieu TranThe University of Texas at Dallas, Ngoc Tran, Son NguyenThe University of Texas at Dallas, Hoan NguyenIowa State University, Tien N. NguyenUniversity of Texas at Dallas | ||
16:20 20mTalk | Gigahorse: Thorough, Declarative Decompilation of Smart Contracts Technical Track Neville GrechUniversity of Athens, Lexi BrentUniversity of Sydney, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens | ||
16:40 20mTalk | Probabilistic Disassembly Technical Track Kenneth MillerPurdue University, Yonghwi KwonUniversity of Virginia, Yi SunPurdue University, USA, Zhuo ZhangPurdue University, Xiangyu ZhangPurdue University, Zhiqiang LinThe Ohio State University | ||
17:00 20mTalk | Discussion Period Papers | ||
16:00 - 17:20 | Program TransformationsNew Ideas and Emerging Results / Technical Track / Papers at Van-Horne Chair(s): Cindy Rubio-GonzálezUniversity of California, Davis | ||
16:00 20mTalk | Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic Transformations Technical Track Xie WangNanjing University, Huaijin WangNanjing University, Zhendong SuETH Zurich, Enyi TangNanjing University, Xin ChenNanjing University, Weijun ShenNanjing University, Zhenyu ChenNanjing University, Linzhang Wang, Xianpei ZhangNanjing University, Xuandong LiNanjing University | ||
16:20 20mTalk | Type Migration in Ultra-Large-Scale Codebases Technical Track Ameya KetkarOregon State University, USA, Ali MesbahUniversity of British Columbia, Davood MazinanianUniversity of British Columbia, Danny DigSchool of EECS at Oregon State University, Edward AftandilianGoogle Pre-print | ||
16:40 20mTalk | Dynamic Slicing for AndroidTechnical Track Technical Track Tanzirul AzimMicrosoft, USA, Arash AlaviUniversity of California, Riverside, Iulian NeamtiuNew Jersey Institute of Technology, Rajiv GuptaUC Riverside | ||
17:00 10mTalk | Conditional Compilation is Dead, Long Live Conditional Compilation!NIER New Ideas and Emerging Results Pre-print | ||
17:10 10mTalk | Discussion Period Papers | ||
16:00 - 17:20 | Software QualitySoftware Engineering in Practice / New Ideas and Emerging Results / Papers / Technical Track at Viger Chair(s): Ying ZouQueen's University, Kingston, Ontario | ||
16:00 20mTalk | WSQF: Comprehensive Software Quality Evaluation Framework and Benchmark based on the SQuaRESEIPIndustry Program Software Engineering in Practice Naohiko TsudaWaseda University, Hironori WashizakiWaseda University, Kiyoshi Honda, Hidenori NakaiWaseda University, Yoshiaki FukazawaWaseda University, Motoei AzumaWaseda University, Toshihiro KomiyamaNEC Corporation, Tokyo, Japan, Tadashi Nakano Computer Software Association of Japan, Tokyo, Japan, Hirotsugu SuzukiComputer Software Association of Japan, Tokyo, Japan, Sumie MoritaFUJITSU GENERAL LIMITED, Kanagawa, Japan (until the end of FY2017, FUJITSU LABORATORIES LTD.,Kanagawa, Japan), Katsue KojimaFujitsu Limited, Tokyo, Japan, Akiyoshi HandoFUJITSU BROAD SOLUTION & CONSULTING Inc., Tokyo, Japan | ||
16:20 20mTalk | Leveraging Artifact Trees to Evolve and Reuse Safety Cases Technical Track Ankit AgrawalUniversity of Notre Dame, Seyedehzahra KhoshmaneshIowa State University, Michael VierhauserUniversity of Notre Dame, Mona Rahimi, Jane Cleland-HuangUniversity of Notre Dame, Robyn LutzIowa State University | ||
16:40 10mTalk | Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-ClassNIER New Ideas and Emerging Results Tobias DürschmidCarnegie Mellon University, Institute for Software Research, Eunsuk KangCarnegie Mellon University, David GarlanCarnegie Mellon University Pre-print | ||
16:50 10mTalk | Current Challenges in Practical Object-Oriented Software DesignNIER New Ideas and Emerging Results Maurício AnicheDelft University of Technology, Netherlands, Joe YoderThe Refactory, Inc., Fabio KonUniversity of São Paulo | ||
17:00 20mTalk | Discussion Period Papers | ||
Not scheduled yet
| Not scheduled yet Talk | Extending Abstract Interpretation to Dependency Analysis of Database ApplicationsJournal-First Journal-First Papers Raju HalderIndian Institute of Technology Patna |
Call for Contributions
Scope
A submission to the ICSE 2019 call for journal-first paper presentations must adhere to the following criteria:
- The associated accepted journal paper was submitted to a journal from the list below no earlier than June 1, 2017:
- IEEE Transaction of Software Engineering (IEEE TSE),
- ACM Transactions on Software Engineering and Methodology (ACM TOSEM),
- Empirical Software Engineering (EMSE).
- The paper is in the scope of the conference.
- The paper reports completely new research results and/or presents novel contributions that significantly extend and were not previously reported in prior work; and
- The paper does not extend prior work solely with additional proofs or algorithms (or other such details presented for completeness), additional empirical results, or minor enhancements or variants of the results presented in the prior work.
- The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences.
How to Submit
The authors of a paper that respects these criteria are invited to submit a one-page presentation proposal (in IEEE 2-column format) consisting of the paper’s title, the paper’s authors, an extended abstract, and a pointer to the original journal paper at the journal’s Web site. Submissions will open on November 1.
Evaluation
Authors will be invited to present their paper at ICSE 2019 after a check that the paper is in scope with respect to the conference. As the papers have been already reviewed and accepted by the journals, they will not be reviewed again for technical content. In case an exceptionally high number of submissions is received, not all will be selected. Priority will be given to the papers that best fit the technical program, offer a balance across the topics, and increase opportunities for authors to attend ICSE who might not otherwise attend.
Important Dates
- Submission opens: November 1, 2018
- Submission deadline: November 30, 2018
- Notification: January 15, 2019
- Submissions close at 23:59 AoE (Anywhere on Earth, UTC-12)
Presentation
If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and attend the conference to present the paper. A journal-first presentation will be scheduled in a session with topically-related Technical Track papers, but will be allocated a short-paper time slot (comparable to the time slot allotted to a short paper, such as a NIER paper).
The journal-first manuscripts are published through the journals and will not be part of the ICSE proceedings. The journal-first papers will be listed in the conference program
Journal-First chair
- Betty H.C. Cheng, Michigan State University, USA
Accepted Papers
Important Dates AoE (UTC-12h)
| Tue 15 Jan 2019 Notification |
| Fri 30 Nov 2018 Submission deadline |
Submission Link
Betty H.C. ChengJournal First Chair
Michigan State University
Joanne M. Atlee
University of Waterloo, Canada
Tevfik Bultan
University of California, Santa Barbara
Gerardo Canfora
University of Sannio
Italy
Andrian Marcus
University of Texas at Dallas
United States
Nenad Medvidović
University of Southern California
David Rosenblum
National University of Singapore
Singapore
Jon Whittle
Monash University
Australia
Laurie Williams
North Carolina State University
United States
Thomas Zimmermann
Microsoft Research
United States