Technical Papers * ICSE 2018 *
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.
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 | ||
11:20 - 11:40 Talk | Automated Localization for Unreproducible Builds Technical Papers | ||
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 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: 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 KaestnerCarnegie 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 - 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 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 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: 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 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 | ||
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 | ||
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 | ||
17:00 - 17:20 Talk | Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Technical Papers | ||
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 | ||
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 |
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, Sébastien 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 |
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 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 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 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, Maurício 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, Maurício 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 | ||
10:00 - 10:20 Talk | On the Use of Hidden Markov Model to Predict the Time to Fix Bugs Journal first papers | ||
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 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 | ||
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 | ||
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 | ||
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 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 MaestreUniversity of Sevilla, 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 | ||
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 |
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 Link to publication DOI Pre-print | ||
14:40 - 15:00 Talk | MSeer - An Advanced Technique for Locating Multiple Bugs in Parallel Journal first papers | ||
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 | ||
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 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 | ||
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 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 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 |
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