Program Preview
Mon, Sep 3 Tue, Sep 4 Wed, Sep 5 Thu, Sep 6 Fri, Sep 7

WS MASES & SOFTWARE MINING JOFFRE A

TUTO VERIF (cancelled) JOFFRE B

TUTO DESCARTES
(half day)
JOFFRE 5

MOBIOOS and BERGER LEVRAULT events JOFFRE D

DOCTORAL SYMPOSIUM JOFFRE C

WS A-MOBILE JOFFRE A

WS IWOR JOFFRE B

MOBIOOS and BERGER LEVRAULT events JOFFRE C

TUTO SPL JOFFRE D

TUTO MODEL JOFFRE 5

Keynote Roberto Di Cosmo

Main conference

Keynote Jane Cleland-Huang

Main conference

Keynote Lauren Herckis

Main conference

Keynote Gail Murphy

Satellite event reception:
Cocktail at Hotel Mercure centre ANTIGONE

Welcome reception:
Wine & cheese
by Florent Traiteur
at Cloitre de la faculté de droit
University of Montpellier
Banquet:
Domaine des Moures
by Germain Traiteur
Workshop and Tutorial Sessions

MONDAY 3rd, SEPTEMBER

TimeJoffre AJoffre BJoffre 5Joffre DJoffre C
8:30-9:00TUTO VERIF (cancelled)TUTO DESCARTESDOCTORAL SYMPOSIUM
9:00-10:00WS MASES
10:00-10:30Coffee break
10:30-12:00WS MASESTUTO VERIF (cancelled)TUTO DESCARTESDOCTORAL SYMPOSIUM
12:00-13:30Lunch
13:30-15:00WS MASESTUTO VERIF (cancelled)Berger Levrault EventDOCTORAL SYMPOSIUM
15:00-15:30Coffee break
15:30-17:00SOFTWARE MININGTUTO VERIF (cancelled)Mobioos EventDOCTORAL SYMPOSIUM
17:00-18:00

TUESDAY 4th, SEPTEMBER

TimeJoffre AJoffre BJoffre CJoffre DJoffre 5
8:30-10:00WS A-MOBILEWS IWORMobioos EventTUTO SPLTUTO MODEL
10:00-10:30Coffee break
10:30-12:00WS A-MOBILEWS IWORBerger Levrault EventTUTO SPLTUTO MODEL
12:00-13:30Lunch
13:30-15:00WS A-MOBILEWS IWORTUTO SPL
15:00-15:30Coffee break
15:30-17:00WS A-MOBILEWS IWORTUTO SPL
17:30Satellite event reception: Cocktail at Hotel Mercure centre ANTIGONE
Main Conference Sessions
Schedule at a glance

WEDNESDAY 5th, SEPTEMBER

TimeAuditorium EinsteinRoom Joffre ABRoom Joffre CD
8:00-8:30Registration and Welcome Coffee--
8:30-8:45OPENING--
8:45-10Keynote R. Di Cosmo--
10:30-12 Testing studies PerformanceDemos 1
1:30-3Quality assurance for machine learning techniques Build and test automationDemos 2
3:30-5Mining and Crowd SourcingVariability Security

THURSDAY 6th, SEPTEMBER

FRIDAY 7th, SEPTEMBER

TimeAuditorium EinsteinRoom Joffre ABRoom Joffre CD
8:45-10Keynote L. Herckis--
10:30-12RepairVerification 2Demos 1
1:30-3Mobile securityCode differencing and merging Demos 2
3:30-4:45Keynote G. Murphy--
4:45-5CLOSING--
Detailed session programs

See ASE 2018 Conference Publishing for more details on the accepted papers.

Legend:
description Technical Research Paper
build Tool Demo
lightbulb_outline New Idea Paper
import_contacts Journal First Paper

Testing studies
(WEDNESDAY 5th, SEPTEMBER - 10:30-12 - Auditorium Einstein)
  • description A Large-Scale Study of Test Coverage Evolution. Michael Hilton, Jonathan Bell, Darko Marinov.
  • description An Empirical Study of Android Test Generation Tools in Industrial Cases. Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, Tao Xie.
  • description Achieving Test Automation with Testers without Coding Skills: An Industrial Report. Davrondzhon Gafurov, Arne Erik Hurum, Martin Markman.
  • description Effectiveness and Challenges in Generating Concurrent Tests for Thread-safe Classes. Valerio Terragni, Mauro Pezzé.
  • build SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation. Farah Hariri, August Shi.
    Chair: José Miguel Rojas

Performance
(WEDNESDAY 5th, SEPTEMBER - 10:30-12 - Room Joffre AB)
  • description On Adopting Linters to Deal with Performance Concerns in Android Apps. Sarra Habchi, Xavier Blanc, Romain Rouvoy.
  • description PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames. Xue Han, Tingting Yu, David Lo.
  • description AutoConfig: Automatic Configuration Tuning for Distributed Message Systems. Liang Bao, Xin Liu, Ziheng Xu, Baoyin Fang.
  • description Is This Class Thread-Safe? Inferring Documentation using Graph-based Learning. Andrew Habib, Michael Pradel.
  • build jStanley: Placing a Green Thumb on Java Collections. Rui Pereira, Pedro Simão, Jácome Cunha, João Saraiva.
    Chair: Michael Goedicke

Demos 1
(WEDNESDAY 5th, SEPTEMBER - 10:30-12 - Room Joffre CD)
  • build CANAL: A Cache Timing Analysis Framework via LLVM Transformation. Chungha Sung, Brandon Paulsen, Chao Wang (University of Southern California)
  • build code_call_lens: Raising the Developer Awareness of Critical Code. Andrea Janes, Michael Mairegger, Barbara Russo (Free University of Bozen-Bolzano)
  • build Code2graph: Automatic Generation of Static Call-Graphs for Python Source Code. Gharib Gharibi, Rashmi Tripathi, Yugyung Lee (University of Missouri-Kansas City)
  • build DroidMate-2: A Platform for Android Test Generation.Nataniel P. Borges Jr., Jenny Hotzkow, Andreas Zeller (Saarland University)
  • build Lightweight source code monitoring with Triggr. Alim Ozdemir, Ayse Tosun (Istanbul Technical University); Hakan Erdogmus (Carnegie Mellon University); Rui Abreu (University of Lisbon)
  • build Live Versioning of Web Applications through Refactoring. Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, Gustavo Rossi (LIFIA, Facultad de Informática, UNLP)
  • build OCELOT: a Search-Based Test-Data Generation Tool for C. Simone Scalabrino (University of Molise); Giovanni Grano (University of Zurich); Dario Di Nucci (Vrije Universiteit Brussel); Michele Guerra (University of Molise); Andrea De Lucia (University of Salerno); Harald C. Gall (University of Zurich); Rocco Oliveto (University of Molise)
  • build VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary. Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun (Tsinghua University)
    Chair: Julia Lawall

Quality assurance for machine learning techniques
(WEDNESDAY 5th, SEPTEMBER - 1:30-3 - Auditorium Einstein)
  • description Automated Directed Fairness Testing. Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay.
  • description Concolic Testing for Deep Neural Networks. Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening.
  • description DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang.
    ACM SIGSOFT Distinguished Paper
  • description DeepRoad: GAN-based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems. Mengshi Zhang, Yugun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid.
  • build OCELOT: a Search-Based Test-Data Generation Tool for C.Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, Rocco Oliveto.
    Chair: Shiva Nejati

Build and test automation
(WEDNESDAY 5th, SEPTEMBER - 1:30-3 - Room Joffre AB)
  • description Scalable Incremental Building with Dynamic Task Dependencies. Gabriël Konat, Sebastian Erdweg, Eelco Visser.
  • description Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI. Keheliya Gallaba, Christian Macho, Martin Pinzger, Shane McIntosh.
  • lightbulb_outline Continuous Code Quality: Are We (Really) Doing That? Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, Harald C. Gall.
  • lightbulb_outline RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis. Foyzul Hassan, Rodney Rodriguez, Xiaoyin Wang.
  • lightbulb_outline Delta Debugging Microservice Systems. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, Dan Ding.
  • build Lightweight source code monitoring with Triggr. Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, Rui Abreu.
    Chair: Massimiliano Di Penta

Demos 2
(WEDNESDAY 5th, SEPTEMBER - 1:30-3 - Room Joffre CD)
  • build CPA-SymExec: Efficient Symbolic Execution in CPAchecker. Dirk Beyer, Thomas Lemberger (LMU Munich)
  • build Descartes: A PITest engine to detect pseudo-tested methods. Oscar Luis Vera Pérez (INRIA); Martin Monperrus, Benoit Baudry (KTH Royal Institute of Technology)
  • build DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. Mohammad Roohitavaf, Sandeep Kulkarni (Michigan State University)
  • build ESBMC 5.0: An Industrial-Strength C Model Checker. Mikhail Ramalho (University of Southampton); Felipe R. Monteiro (Federal University of Amazonas); Jeremy Morse (University of Bristol); Lucas Cordeiro (University of Manchester); Bernd Fischer (University of Stellenbosch); Denis Nicole (University of Southampton)
  • build jStanley: Placing a Green Thumb on Java Collections. Rui Pereira (HASLab/INESC Tec & Universidade do Minho); Pedro Simão (NOVA LINCS, DI, FCT, Universidade NOVA de Lisboa); Jácome Cunha (NOVA LINCS, Universidade do Minho); João Saraiva (HASLab/INESC Tec & Universidade do Minho)
  • build L-CMP: An Automatic Learning-based Parameterized Verification Tool. Jialun Cao, Yongjian Li (Chinese Academy of Sciences), Jun Pang (University of Luxembourg)
  • build SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation. Farah Hariri, August Shi (University of Illinois at Urbana-Champaign)
  • build The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications. Julien Brunel, David Chemouil (ONERA/DTIS & Université fédérale de Toulouse); Alcino Cunha, Nuno Macedo (INESC TEC & Universidade do Minho)
    Chair: Darko Marinov

Mining and Crowd Sourcing
(WEDNESDAY 5th, SEPTEMBER - 3:30-5 - Auditorium Einstein)
  • description Characterizing the Natural Language Descriptions in Software Logging Statements. Pinjia He, Zhuangbin Chen, Shilin he, Michael R. Lyu.
  • description Assessing the Type Annotation Burden. John-Paul Ore, Sebastian Elbaum, Carrick Detweiler, Lambros Karkazis.
  • description Mining File Histories: Should We Consider Branches? Vladimir Kovalenko, Fabio Palomba, Alberto Bacchelli.
  • description Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions. Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, Yang Liu.
  • lightbulb_outline Personalized Teammate Recommendation for Crowdsourced Software Developers. Luting Ye, Hailong Sun, Xu Wang, Jiaruijue Wang.
    Chair: Marouane Kessentini

Variability
(WEDNESDAY 5th, SEPTEMBER - 3:30-5 - Room Joffre AB)
  • description Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search. Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter.
  • description Navigating the Maze: The Impact of Configurability in Bioinformatics Software. Mikaela Cashman, Myra B. Cohen, Priya Ranjan, Robert W. Cottingham.
    ACM SIGSOFT Distinguished Paper
  • description Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems. Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghoefer.
  • description Understanding and Detecting Evolution-induced Compatibility Issues in Android Apps. Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue.
  • build Live Versioning of Web Applications through Refactoring. Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, Gustavo Rossi.
    Chair: Julia Lawall

Security
(WEDNESDAY 5th, SEPTEMBER - 3:30-5 - Room Joffre CD)
  • description ReScue: Crafting Regular Expression DoS Attacks. Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu.
    ACM SIGSOFT Distinguished Paper
  • description TDROID: Exposing App Switching Attacks in Android with Control Flow Specialization. Jie Liu, Diyu Wu, Jinling Xue.
  • description Model-driven Run-time Enforcement of Complex Role-based Access Control Policies. Ameni Ben Fadhel, Domenico Bianculli, Lionel Briand.
  • description ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. Bo Jiang, Ye Liu, W.K. Chan.
  • lightbulb_outline S-gram: Towards Semantic-Aware Security Auditing For Ethereum Smart Contracts. Han Liu, Chao Liu, Wengi Zhao, Yu Jiang, Jiaguang Sun.
    Chair: Abhik Roychoudhury

Developer tools
(THURSDAY 6th, SEPTEMBER - 10:30-12 - Auditorium Einstein)
  • description SEEDE: Simultaneous Execution and Editing in a Development Environment. Steven P Reiss, Qi Xin, Jeff Huang.
  • description Effective API Recommendation without Historical Software Repositories. Xiaoyu Liu, LiGuo Huang, Vincent Ng.
  • description API Method Recommendation without Worrying About the Task-API Knowledge Gap. Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, Xinyu Wang.
  • description An Automated Approach to Estimating Code Coverage Measures Using Execution Logs. Boyuan Chen, Jian Song, Peng Xu, Xing Hu, Zhen Ming (Jack)Jiang.
  • build code_call_lens: Raising the Developer Awareness of Critical Code. Andrea Janes, Michael Mairegger, Barbara Russo.
    Chair: Tingting Yu

    Static analysis
    (THURSDAY 6th, SEPTEMBER - 10:30-12 - Room Joffre AB)
    • description How Many of All Bugs Do We Find? A Study of Static Bug Detectors. Andrew Habib, Michael Pradel.
    • description Automatically Testing Implementations of Numerical Abstract Domains. Alexandra Bugariu, Valentin Wuestholz, Maria Christakis, Peter Mueller.
    • description TRIMMER: Application Specialization for Code Debloating. Hashim Sharif, Muhammad Abubakar, Ashish Gehani, Fareed Zaffar.
    • description A Unified Lattice Model and Framework for Purity Analyses. Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini.
    • build Code2graph: Automatic Generation of Static Call-Graphs for Python Source Code. Gharib Gharibi, Rashmi Tripathi, Yugyung Lee.
      Chair: Jonathan Bell

    Verification 1
    (THURSDAY 6th, SEPTEMBER - 10:30-12 - Room Joffre CD)
    • description Scheduling Constraint Based Abstraction Refinement for Weak Memory Models. Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang.
    • description PaMpeR: Proof Method Recommendation System for Isabelle/HOL. Yutaka Nagashima, Yilun He.
    • lightbulb_outline An Evolutionary Approach for Analyzing Alloy Specifications. Jianghao Wang, Hamid Bagheri, Myra B. Cohen.
    • build The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications. Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo.
    • build ESBMC 5.0: An Industrial-Strength C Model Checker. Mikhail Ramalho, Felipe R. Monteiro, Jeremy Morse, Lucas Cordeiro, Bernd Fischer, Denis Nicole.
    • build L-CMP: An Automatic Learning-based Parameterized Verification Tool. Jialun Cao, Yongjian Li, Jun Pang.
      Chair: Sarfraz Khurshid

    Mobile analysis
    (THURSDAY 6th, SEPTEMBER - 1:30-3 - Room Einstein)
    • description Understanding and Detecting Callback Compatibility Issues for Android Applications. Huaxun Huang, Lili Wei, Yepang Liu, Shing-Chi Cheung.
    • description Detecting and Summarizing GUI Changes in Evolving Mobile Apps. Kevin Moran, Cody, Watson, John Hoskins, George Purnell, Denys Poshyvanyk.
    • description Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps. Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, Nenad Medvidović.
    • description Safe Stream-Based Programming with Refinement Types. Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang.
    • build DroidMate-2: A Platform for Android Test Generation. Nataniel P. Borges Jr., Jenny Hotzkow, Andreas Zeller.
      Chair: Joshua Garcia

    Maintenance and machine learning
    (THURSDAY 6th, SEPTEMBER - 1:30-3 - Room Joffre AB)
    • description Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, Xinyu Wang.
      ACM SIGSOFT Distinguished Paper
    • description Deep Learning Based Feature Envy Detection. Hui Liu, Zhifeng Xu, Yanzhen Zou.
    • description Improving Automatic Source Code Summarization via Deep Reinforcement Learning. Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, Philip S. Yu.
    • lightbulb_outline A Neural Framework for Retrieval and Summarization of Source Code. Qingying Chen, Minghui Zhou.
    • lightbulb_outline An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation. Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk.
    • build VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary. Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun.
      Chair: Michael Pradel

    Symbolic execution
    (THURSDAY 6th, SEPTEMBER - 1:30-3 - Room Joffre CD)
    • description Template-Guided Concolic Testing via Online Learning. Sooyoung Cha, Seonho Lee, Hakjoo Oh.
    • description Android Testing via Synthetic Symbolic Execution. Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury.
    • description PARTI: A Multi Interval Theory Solver for Symbolic Execution. Oscar Soria Dustmann, Klaus Wehrle, CristianCadar.
    • lightbulb_outline Loop Path Reduction by State Pruning. Jianxiong Gao, Steve Lumetta.
    • lightbulb_outline node2defect: Using Network Embedding to Improve Software Defect Prediction. Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, Qinghua Zheng.
    • build CPA-SymExec: Efficient Symbolic Execution in CPAchecker. Dirk Beyer, Thomas Lemberger.
      Chair: Christoph Csallner

    Maintenance
    (THURSDAY 6th, SEPTEMBER - 3:30-5 - Auditorium Einstein)
    • description Client-Specific Equivalence Checking. Federico Mora, Yi Li, Julia Rubin, Marsha Chechik.
    • description Replay without Recording of Production Bugs for Service Oriented Applications. Nipun Arora, Jonathan Bell, Franjo Ivancic, Gail Kaiser, Baishakhi Ray.
    • description Reducing Interactive Refactoring Effort via Clustering-Based Multi-Objective Search. Vahid Alizadeh, Marouane Kessentini.
    • import_contacts Automatically quantifying the impact of a change in systems. Nada Almasri, Luay Tahat, Bogdan Korel. Software Quality Journal (2017) 25: 601. link
    • build CANAL: A Cache Timing Analysis Framework via LLVM Transformation. Chungha Sung, Brandon Paulsen, Chao Wang.
      Chair: Xin Peng

    Architecture and requirements
    (THURSDAY 6th, SEPTEMBER - 3:30-5 - Room Joffre AB)
    • description Experiences Applying Automated Architecture Analysis Tool Suites. Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, Martin Naedele.
    • description A Genetic Algorithm for Goal-Conflict Identification. Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre.
    • import_contacts Estimating the number of remaining links in traceability recovery. Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, Giovanni Cantone. Empirical Software Engineering (2017) 22: 996. link
    • lightbulb_outline Towards Automating Disambiguation of Regulations - Using the Wisdom of Crowds. Manasi Patwardhan, Abhishek Sanani, Richa Sharma, Shirish karande, Smita Ghaisas.
    • build DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. Mohammad Roohitavaf, Sandeep Kulkarni.
      Chair: David Lo

    Software quality
    (THURSDAY 6th, SEPTEMBER - 3:30-5 - Room Joffre CD)
    • description FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage. Caroline Lemieux, Koushik Sen.
    • description Efficiently Manifesting Asynchronous Programming Errors in Android Apps. Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Meng, Yang Liu, Lihua Xu, Geguang Pu.
    • description Expandable Group Identification in Spreadsheets. Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, Jun Wei.
    • description Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug. Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jinsong Dong.
    • build Descartes: A PITest engine to detect pseudo-tested methods. Oscar Luis Vera Perez, Martin Monperrus, Benoit Baudry.
      Chair: Xavier Blanc

    Repair
    (FRIDAY 7th, SEPTEMBER - 10:30-12 - Auditorium Einstein)
    • description Automated Model Repair for Alloy. Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid.
    • description PFix: Fixing Concurrency Bugs based on Memory Access Patterns. Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, Guangning Wei.
    • description Generating Reusable Web Components from Mockups. Mohammad Bajammal, Davood Mazinanian, Ali Mesbah.
    • description Semantic Crash Bucketing. Rijnard van Tonder, John Kotheimer, Claire Le Goues.
      Chair: Myra Cohen

    Verification 2
    (FRIDAY 7th, SEPTEMBER - 10:30-12 - Room Joffre AB)
    • description A Symbolic Model Checking Approach to the Analysis of String and Length Constraints. Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang.
    • description Domain-Independent Multi-Threaded Software Model Checking. Dirk Beyer, Karlheinz Friedberger.
    • description Control Flow-Guided SMT Solving for Program Verification. Jianhui Chen, Fei He.
      ACM SIGSOFT Distinguished Paper
    • import_contacts Bounded model checking of C++ programs based on the Qt cross-platform framework. Felipe R Monteiro, Mário AP Garcia, Lucas C Cordeiro, Eddie B Lima Filho. Software Testing, Verification and Reliability. 2017;27:e1632. link
      Chair: Domenico Bianculli

    Demos 1
    (FRIDAY 7th, SEPTEMBER - 10:30-12 - Room Joffre CD)
    • build CANAL: A Cache Timing Analysis Framework via LLVM Transformation. Authors: Chungha Sung, Brandon Paulsen, Chao Wang (University of Southern California)
    • build code_call_lens: Raising the Developer Awareness of Critical Code. Authors: Andrea Janes, Michael Mairegger, Barbara Russo (Free University of Bozen-Bolzano)
    • build Code2graph: Automatic Generation of Static Call-Graphs for Python Source Code. Authors: Gharib Gharibi, Rashmi Tripathi, Yugyung Lee (University of Missouri-Kansas City)
    • build DroidMate-2: A Platform for Android Test Generation. Authors: Nataniel P. Borges Jr., Jenny Hotzkow, Andreas Zeller (Saarland University)
    • build Lightweight source code monitoring with Triggr. Authors: Alim Ozdemir, Ayse Tosun (Istanbul Technical University); Hakan Erdogmus (Carnegie Mellon University); Rui Abreu (University of Lisbon)
    • build Live Versioning of Web Applications through Refactoring. Authors: Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, Gustavo Rossi (LIFIA, Facultad de Informática, UNLP)
    • build OCELOT: a Search-Based Test-Data Generation Tool for C. Authors: Simone Scalabrino (University of Molise); Giovanni Grano (University of Zurich); Dario Di Nucci (Vrije Universiteit Brussel); Michele Guerra (University of Molise); Andrea De Lucia (University of Salerno); Harald C. Gall (University of Zurich); Rocco Oliveto (University of Molise)
    • build VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary. Authors: Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun (Tsinghua University)
      Chair: Darko Marinov

    Mobile security
    (FRIDAY 7th, SEPTEMBER - 1:30-3 - Room Einstein)
    • description Characterizing and Identifying Misexposed Activities in Android Applications. Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian Zhang.
    • description A Tale of Two Cities: How WebView Induces Bugs to Android Applications. Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, Huaxun Huang.
    • description Dual-Force: Understanding WebView Malware via Cross-language Forced Execution. Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao.
    • description Self-Protection of Android Systems from Inter-Component Communication Attacks. Mahmoud Hammad, Joshua Garcia, Sam Malek.
      Chair: Li Li

    Code differencing and merging
    (FRIDAY 7th, SEPTEMBER - 1:30-3 - Room Joffre AB)
  • description Datalog-based Scalable Semantic Diffing of Concurrent Programs. Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang.
  • description alphaDiff: Cross-Version Binary Code Similarity Detection with DNN. Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, Wei Zhou.
  • description CLDIFF: Generating Concise Linked Code Differences. Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, Wenyun Zhao.
    ACM SIGSOFT Distinguished Paper
  • import_contacts Understanding semi-structured merge conflict characteristics in open-source Java projects. Paola Accioly, Paulo Borba, Guilherme Cavalcanti. Empirical Software Engineering (2018) 23: 2051. link
    Chair: Zhenchang Xing

    Demos 2
    (FRIDAY 7th, SEPTEMBER - 1:30-3 - Room Joffre CD)
    • build CPA-SymExec: Efficient Symbolic Execution in CPAchecker. Authors: Dirk Beyer, Thomas Lemberger (LMU Munich)
    • build Descartes: A PITest engine to detect pseudo-tested methods. Authors: Oscar Luis Vera Pérez (INRIA); Martin Monperrus, Benoit Baudry (KTH Royal Institute of Technology)
    • build DKVF: A Framework for Rapid Prototyping and Evaluating DistributedKey-value Stores. Authors: Mohammad Roohitavaf, Sandeep Kulkarni (Michigan State University)
    • build ESBMC 5.0: An Industrial-Strength C Model Checker. Authors: Mikhail Ramalho (University of Southampton); Felipe R. Monteiro (Federal University of Amazonas); Jeremy Morse (University of Bristol); Lucas Cordeiro (University of Manchester); Bernd Fischer (University of Stellenbosch); Denis Nicole (University of Southampton)
    • build jStanley: Placing a Green Thumb on Java Collections. Authors: Rui Pereira (HASLab/INESC Tec & Universidade do Minho); Pedro Simão (NOVA LINCS, DI, FCT, Universidade NOVA de Lisboa); Jácome Cunha (NOVA LINCS, Universidade do Minho); João Saraiva (HASLab/INESC Tec & Universidade do Minho)
    • build L-CMP: An Automatic Learning-based Parameterized Verification Tool. Authors: Jialun Cao, Yongjian Li (Chinese Academy of Sciences), Jun Pang (University of Luxembourg)
    • build SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation. Authors: Farah Hariri, August Shi (University of Illinois at Urbana-Champaign)
    • build The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications. Authors: Julien Brunel, David Chemouil (ONERA/DTIS & Université fédérale de Toulouse); Alcino Cunha, Nuno Macedo (INESC TEC & Universidade do Minho)
      Chair: Julia Lawall