Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia

Call for Papers

The New Ideas and Emerging Results (NIER) track at ASE provides a vibrant forum for forward looking, innovative research in software engineering. The main goal of the NIER track is to accelerate the exposure of the software engineering community to early yet potentially ground-breaking research results, techniques and perspectives that challenge the status quo in the discipline. The potential types of papers could be:

  • Visionary forward looking research: exciting new directions or techniques that may have yet to be supported by solid experimental results, but nonetheless supported by strong and well argued scientific intuitions.
  • Thought provoking reflections: bold and unexpected results and reflections that can help us look at current research directions under a new light, calling for fundamentally new directions of future research.
Evaluation Criteria

Each submission will be reviewed and evaluated in terms of the following quality criteria:

  • Value: whether the problem is worth exploring;
  • Impact: the potential for disruption of current practice;
  • Soundness: the validity of the rationale;
  • Quality: the overall quality of the paper’s writing
Formatting

Each submission must not exceed 4 pages, including all text, appendices, figures, and must have at most 2 pages of references.

All submissions must be in PDF format and conform, at time of submission, to the ACM Proceedings Template at https://www.acm.org/publications/proceedings-template (LaTEX users must use \documentclass[sigconf,review,anonymous]{acmart}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.

How to Submit

Papers must be submitted electronically through the ASE NIER 2020 HotCRP submission site.

By submitting to the ASE NIER Track, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism (https://www.acm.org/publications/policies/plagiarism) and the IEEE Plagiarism FAQ (https://www.ieee.org/publications/rights/plagiarism/plagiarism-faq.html). In particular, papers submitted to ASE NIER 2020 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for ASE NIER 2020.

Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. To check for double submission and plagiarism issues, the chairs reserve the right to (1) share the list of submissions with the PC Chairs of other conferences with overlapping review periods and (2) use external plagiarism detection software, under contract to the ACM or IEEE, to detect violations of these policies.

Double Blind Submission Guidelines

The ASE NIER 2020 adopts a double-blind review process. No submitted paper may reveal its authors’ identities. The authors must make every effort to honor the double-blind review process; reviewers will be asked to honour the double-blind review process as much as possible. Any author having further questions on double blind reviewing is encouraged to contact the track’s program co-chairs by e-mail. Any submission that does not comply with the double blind review process will be desk-rejected. Further advice, guidance and explanation about the double-blind review process can be found in the Q&A page https://conf.researchr.org/track/ase-2020/ase-2020-papers#FAQs-on-Double-Blind.

Conference Attendance Expectation

If a submission is accepted, at least one author of the paper is required to register for and attend the full 3-day technical conference and present the paper in person.

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

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

02:20 - 03:20: Test GenerationResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo
Chair(s): Xusheng XiaoCase Western Reserve University
02:20 - 02:40
Talk
Legion: Best-First Concolic Testing
Research Papers
Dongge LiuThe Univeristy of Melbourne, Gidon ErnstLMU Munich, Toby MurrayUniversity of Melbourne, Australia, Benjamin I.P. RubinsteinUniversity of Melbourne
02:40 - 03:00
Talk
The New Approach to IT Testing
Industry Showcase
03:00 - 03:10
Talk
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
Tool Demonstrations
Runze YuWuhan University, Youzhe ZhangWuhan University, Jifeng XuanWuhan University
02:20 - 03:20: Formal Methods (1)Research Papers / NIER track at Koala
Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto
02:20 - 02:40
Talk
Accelerating All-SAT Computation with Short Blocking Clauses
Research Papers
Yueling ZhangSingapore Management University, Geguang PuEast China Normal University, Jun SunSingapore Management University
02:40 - 03:00
Talk
A Predictive Analysis for Detecting Deadlock in MPI Programs
Research Papers
Yu HuangSouthwestern University of Finance and Economics, Benjamin OglesBrigham Young University, Eric MercerBrigham Young University
Pre-print
03:00 - 03:10
Talk
Proving Termination by k-Induction
NIER track
Jianhui ChenTsinghua University, Fei HeTsinghua University, China
02:20 - 03:20: Maintenance and Evolution (1)Research Papers / Tool Demonstrations at Wombat
Chair(s): Yi LiNanyang Technological University, Singapore
02:20 - 02:40
Talk
Learning to Handle Exceptions
Research Papers
Jian ZhangBeihang University, Xu WangBeihang University, Hongyu ZhangUniversity of Newcastle, Australia, Hailong SunBeihang University, Yanjun PuBeihang University, Xudong LiuBeihang University
Pre-print
02:40 - 03:00
Talk
BuildFast: History-Aware Build Outcome Prediction for Fast Feedback and Reduced Cost in Continuous Integration
Research Papers
Bihuan ChenFudan University, China, Linlin ChenFudan University, Chen ZhangFudan University, Xin PengFudan University, China
03:00 - 03:10
Talk
OSLDetector: Identifying Open-Source Libraries through Binary Analysis
Tool Demonstrations
Dan ZhangTsinghua University
08:00 - 09:00: Software Analysis (1)Research Papers at Kangaroo
Chair(s): Michael PradelUniversity of Stuttgart, Germany
08:00 - 08:20
Talk
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Research Papers
Timotej KapusImperial College London, UK, Frank BusseImperial College London, Cristian CadarImperial College London, UK
Pre-print Media Attached
08:20 - 08:40
Talk
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program AnalysisACM Distinguished Paper
Research Papers
Sungho LeeChungnam National University, Korea, Hyogun LeeKAIST, Sukyoung RyuKAIST
08:40 - 09:00
Talk
Assessing and Restoring Reproducibility of Jupyter Notebooks
Research Papers
Jiawei Wang, Tzu-yang KuoThe Hong Kong University of Science and Technology, Li LiMonash University, Australia, Andreas ZellerCISPA, Germany
08:00 - 09:00: Maintenance and Evolution (2)Research Papers / Journal-first Papers at Koala
Chair(s): Cuiyun GaoHarbin Institute of Technology
08:00 - 08:20
Talk
M3: Semantic API Migrations
Research Papers
Bruce CollieUniversity of Edinburgh, Philip GinsbachGitHub Software UK, Jackson WoodruffUniversity of Edinburgh, Ajitha RajanUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Pre-print Media Attached
08:20 - 08:40
Talk
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
Research Papers
Nic VolanschiInria Bordeaux, Julia LawallInria
Pre-print
08:40 - 09:00
Talk
Game-theoretic Analysis of Development Practices: Challenges and Opportunities
Journal-first Papers
Carlos Gavidia-CalderonUniversity College London, Federica SarroUniversity College London, UK, Mark HarmanUniversity College London, UK, Earl T. BarrUniversity College London, UK
Link to publication DOI Pre-print Media Attached
08:00 - 09:00: Compiler and Systems TestingResearch Papers / NIER track at Wombat
Chair(s): Yanyan JiangNanjing University
08:00 - 08:20
Talk
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data
Research Papers
Diego Clerissi, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Marco MobilioUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca
08:20 - 08:40
Talk
Enhanced Compiler Bug Isolation via Memoized Search
Research Papers
Junjie ChenTianjin University, China, Haoyang MaCollege of Intelligence and Computing, Tianjin University, Lingming ZhangUniversity of Illinois at Urbana-Champaign
08:40 - 08:50
Talk
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
NIER track
Mitchell OlsthoornDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands, Annibale PanichellaDelft University of Technology
DOI Pre-print Media Attached
08:50 - 09:00
Talk
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
NIER track
Karine Even-MendozaImperial College London, Cristian CadarImperial College London, UK, Alastair DonaldsonImperial College London
Pre-print Media Attached
09:10 - 10:10: Formal Methods (2)Research Papers at Kangaroo
Chair(s): Eunsuk KangCarnegie Mellon University, USA
09:10 - 09:30
Talk
Verified from Scratch: Program Analysis for Learners' Programs
Research Papers
Andreas StahlbauerUniversity of Passau, Christoph FrädrichUniversity of Passau, Gordon FraserUniversity of Passau
09:30 - 09:50
Talk
Interval Change-Point Detection for Runtime Probabilistic Model Checking
Research Papers
Xingyu ZhaoHeriot-Watt University, Radu CalinescuUniversity of York, UK, Simos GerasimouUniversity of York, UK, Valentin RobuHeriot-Watt University, David FlynnHeriot-Watt University
Pre-print
09:50 - 10:10
Talk
UnchartIt: An Interactive Framework for Program Recovery from Charts
Research Papers
Daniel RamosINESC-ID/IST, Universidade de Lisboa, Jorge PereiraINESC-ID/IST, Universidade de Lisboa, Ines LynceINESC-ID/IST, Universidade de Lisboa, Vasco ManquinhoINESC-ID/IST, Universidade de Lisboa, Ruben MartinsCarnegie Mellon University
09:10 - 10:10: Mobile App (1)Research Papers / Tool Demonstrations at Koala
Chair(s): Jacques KleinUniversity of Luxembourg, Luxembourg
09:10 - 09:30
Talk
Demystifying Diehard Android Apps
Research Papers
Hao ZhouThe Hong Kong Polytechnic University, Haoyu WangBeijing University of Posts and Telecommunications, China, Yajin ZhouZhejiang University, Xiapu LuoThe Hong Kong Polytechnic University, Yutian TangShanghaiTech University, Lei XueThe Hong Kong Polytechnic University, Ting WangPenn State University
09:30 - 09:50
Talk
UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps
Research Papers
Hao ZhouThe Hong Kong Polytechnic University, Ting ChenUniversity of Electronic Science and Technology of China, Haoyu WangBeijing University of Posts and Telecommunications, China, Le YuThe Hong Kong Polytechnic University, Xiapu LuoThe Hong Kong Polytechnic University, Ting WangPenn State University, Wei ZhangNanjing University of Posts and Telecommunications
09:50 - 10:00
Talk
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
Tool Demonstrations
Marco MobilioUniversity of Milano Bicocca, Oliviero RiganelliUniversity of Milano-Bicocca, Italy, Daniela MicucciUniversity of Milano-Bicocca, Italy, Leonardo MarianiUniversity of Milano Bicocca
09:10 - 10:10: Search-Based TestingResearch Papers / Journal-first Papers / Tool Demonstrations at Wombat
Chair(s): Maria KechagiaUniversity College London
09:10 - 09:30
Talk
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
Research Papers
Pouria DerakhshanfarDelft University of Technology, Xavier DevroeyDelft University of Technology, Andy ZaidmanDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands, Annibale PanichellaDelft University of Technology
DOI Pre-print Media Attached
09:30 - 09:50
Talk
Multi-criteria test cases selection for model transformations
Journal-first Papers
Bader AlkhaziKuwait University, Chaima AbidUniversity of Michigan, Marouane KessentiniUniversity of Michigan, Dorian LeroyJKU Linz, Manuel WimmerJohannes Kepler University Linz
Link to publication DOI
09:50 - 10:00
Talk
Botsing, a Search-based Crash Reproduction Framework for Java
Tool Demonstrations
Pouria DerakhshanfarDelft University of Technology, Xavier DevroeyDelft University of Technology, Annibale PanichellaDelft University of Technology, Andy ZaidmanDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands
DOI Pre-print Media Attached
16:00 - 17:00: Synthesis and RepairResearch Papers at Kangaroo
Chair(s): Shahar MaozTel Aviv University, Israel
16:00 - 16:20
Talk
Synthesis of Infinite-State Systems with Random Behavior
Research Papers
Andreas KatisUniversity of Minnesota, Grigory FedyukovichFlorida State University, Jeffrey ChenUniversity of Minnesota, David GreveCollins Aerospace, Sanjai RayadurgamUniversity of Minnesota, Michael W. WhalenUniversity of Minnesota
16:20 - 16:40
Talk
Demystifying Loops in Smart Contracts
Research Papers
Benjamin MarianoUniversity of Texas at Austin, Yanju ChenUniversity of California, Santa Barbara, Yu FengUniversity of California, Santa Barbara, Shuvendu K. LahiriMicrosoft Research, Isil DilligUniversity of Texas at Austin, USA
16:40 - 17:00
Talk
Patching as Translation: The Data and the Metaphor
Research Papers
Yangruibo DingColumbia University, Baishakhi RayColumbia University, USA, Prem DevanbuUniversity of California, Vincent HellendoornCarnegie Mellon University
DOI Pre-print
16:00 - 17:00: Maintenance and Evolution (3)Research Papers / Tool Demonstrations at Koala
Chair(s): Yongjie ZhengCalifornia State University San Marcos
16:00 - 16:20
Talk
Subdomain-Based Generality-Aware Debloating
Research Papers
Qi XinGeorgia Institute of Technology, Myeongsoo KimGeorgia Institute of Technology, Qirun ZhangGeorgia Institute of Technology, USA, Alessandro OrsoGeorgia Tech
16:20 - 16:40
Talk
Revisiting the relationship between fault detection, test adequacy criteria, and test set size.
Research Papers
Yiqun ChenUniversity of Washington, Rahul GopinathCISPA Helmholtz Center for Information Security, Anita TadakamallaGeorge Mason University, USA, Michael D. ErnstUniversity of Washington, USA, Reid HolmesUniversity of British Columbia, Gordon FraserUniversity of Passau, Paul AmmannGeorge Mason University, USA, René JustUniversity of Washington, USA
16:40 - 16:50
Talk
WASim: Understanding WebAssembly Applications through Classification
Tool Demonstrations
Alan RomanoUniversity at Buffalo, SUNY, Weihang WangUniversity at Buffalo, SUNY
16:50 - 17:00
Talk
Sosed: a tool for finding similar software projects
Tool Demonstrations
Egor BogomolovJetBrains Research, Yaroslav GolubevJetBrains Research, ITMO University, Artyom LobanovJetBrains Research, Vladimir KovalenkoJetBrains Research, JetBrains N.V., Timofey BryksinJetBrains Research, Saint Petersburg State University
17:10 - 18:10: Software Analysis (2) Research Papers / Industry Showcase at Kangaroo
Chair(s): Saba AlimadadiSimon Fraser University
17:10 - 17:30
Talk
Representing and Reasoning about Dynamic Code
Research Papers
Jesse BartelsUniversity of Arizona, Jon StephensUniversity of Texas at Austin, Saumya DebrayUniversity of Arizona
17:30 - 17:50
Talk
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
Research Papers
Navid SalehnamadiUniversity of California, Irvine, Abdulaziz AlshaybanUniversity of California, Irvine, Iftekhar AhmedUniversity of California at Irvine, USA, Sam MalekUniversity of California at Irvine, USA
17:50 - 18:10
Talk
Automatic Generation of IFTTT Mashup Infrastructures
Industry Showcase
Lei LiuFujitsu Laboratories of America, Inc., Mehdi BahramiFujitsu Laboratories of America, Inc., Wei-Peng ChenFujitsu Laboratories of America, Inc.
17:10 - 18:10: AI for Software Engineering (1)Research Papers / NIER track at Koala
Chair(s): Tingting YuUniversity of Kentucky
17:10 - 17:30
Talk
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests
Research Papers
Devjeet RoyWashington State University, Ziyi ZhangWashington State University, Maggie MaWashington State University, Venera ArnaoudovaWashington State University, Annibale PanichellaDelft University of Technology, Sebastiano PanichellaZurich University of Applied Sciences, Danielle GonzalezRochester Institute of Technology, USA, Mehdi MirakhorliRochester Institute of Technology
17:30 - 17:50
Talk
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
Research Papers
Mohammad Jafar MashhadiUniversity of Calgary, Hadi HemmatiUniversity of Calgary
Pre-print
17:50 - 18:00
Talk
On Benign Features in Malware Detection
NIER track
Michael CaoThe University of British Columbia, Sahar BadihiUniversity of British Columbia, Canada, Khaled AhmedThe University of British Columbia, Peiyu XiongThe University of British Columbia, Julia RubinUniversity of British Columbia, Canada

Wed 23 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

00:00 - 01:00: Software Engineering for AI (1)Research Papers / NIER track at Kangaroo
Chair(s): Song WangYork University, Canada
00:00 - 00:20
Talk
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
Research Papers
Weijun ShenNanjing University, Yanhui LiDepartment of Computer Science and Technology, Nanjing University, Lin ChenNanjing University, YuanLei HanNanjing University, Yuming ZhouNanjing University, Baowen XuState Key Laboratory for Novel Software Technology, Nanjing University
00:20 - 00:40
Talk
MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems
Research Papers
Xiaoning DuNanyang Technological University, Yi LiNanyang Technological University, Singapore, Xiaofei XieNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University
00:40 - 00:50
Talk
Making Fair ML Software using Trustworthy Explanation
NIER track
Joymallya ChakrabortyNorth Carolina State University, USA, Kewen PengNorth Carolina State University, Tim MenziesNorth Carolina State University, USA
Link to publication DOI Pre-print Media Attached
00:00 - 01:00: AI for Software Engineering (2)Research Papers at Koala
Chair(s): Tse-Hsun (Peter) ChenConcordia University
00:00 - 00:20
Talk
A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum
Research Papers
Mingyang LiISCAS, Lin ShiISCAS, Ye YangStevens institute of technology, Qing WangInstitute of Software, Chinese Academy of Sciences
00:20 - 00:40
Talk
Retrieve and Refine: Exemplar-based Neural Comment Generation
Research Papers
Bolin WeiPeking University, Yongmin LiPeking University, Ge LiPeking University, Xin XiaMonash University, Zhi JinPeking University
Pre-print
00:40 - 01:00
Talk
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks
Research Papers
Zhenhao LiConcordia University, Tse-Hsun (Peter) ChenConcordia University, Weiyi ShangConcordia University
00:00 - 01:00: Incidents and Bug ReportsResearch Papers at Platypus
Chair(s): Yepang LiuSouthern University of Science and Technology
00:00 - 00:20
Talk
How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service SystemsExperience
Research Papers
Junjie ChenTianjin University, China, Shu ZhangMicrosoft Research, Beijing, Xiaoting HeMicrosoft, Qingwei LinMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Dan HaoPeking University, China, Yu KangMicrosoft Research, China, Feng GaoMicrosoft, China, Zhangwei XuMicrosoft, China, Yingnong DangMicrosoft, USA, Dongmei ZhangMicrosoft Research, China
00:20 - 00:40
Talk
Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports
Research Papers
Songqiang ChenSchool of Computer Science, Wuhan University, Xiaoyuan XieSchool of Computer Science, Wuhan University, China, Bangguo YinSchool of Computer Science, Wuhan University, Yuanxiang JiSchool of Computer Science, Wuhan University, Lin ChenNanjing University, Baowen XuState Key Laboratory for Novel Software Technology, Nanjing University
00:40 - 01:00
Talk
Owl Eyes: Spotting UI Display Issues via Visual Understanding
Research Papers
Zhe LiuLaboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences, Chunyang ChenMonash University, Australia, Junjie WangInstitute of Software, Chinese Academy of Sciences, Yuekai HuangInstitute of Software, Chinese Academy of Sciences, Jun HuInstitute of Software, Chinese Academy of Sciences, Qing WangInstitute of Software, Chinese Academy of Sciences
00:00 - 01:00: Testing (1)Research Papers / Tool Demonstrations at Wombat
Chair(s): Lingming ZhangUniversity of Illinois at Urbana-Champaign, USA
00:00 - 00:20
Talk
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests
Research Papers
Hengcheng ZhuSouthern University of Science and Technology, Lili WeiThe Hong Kong University of Science and Technology, Ming WenHuazhong University of Science and Technology, China, Yepang LiuSouthern University of Science and Technology, Shing-Chi CheungHong Kong University of Science and Technology, China, Qin ShengWeBank Co Ltd, Cui ZhouWeBank Co Ltd
DOI Pre-print
00:20 - 00:40
Talk
Defect Prediction Guided Search-Based Software Testing
Research Papers
Anjana PereraMonash University, Aldeida AletiMonash University, Marcel BöhmeMonash University, Australia, Burak TurhanMonash University
DOI Pre-print
00:40 - 00:50
Talk
STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis
Tool Demonstrations
Zhenfei CaoNanjing University, Xu WangNanjing University, Shengcheng YuNanjing University, China, Yexiao YunNanjing University, Chunrong FangNanjing University, China
01:10 - 02:10: Software Engineering for AI (2) Research Papers / Industry Showcase at Kangaroo
Chair(s): Aldeida AletiMonash University
01:10 - 01:30
Talk
Audee: Automated Testing for Deep Learning Frameworks
Research Papers
Qianyu GuoCollege of Intelligence and Computing, Tianjin University, Xiaofei XieNanyang Technological University, Yi LiNanyang Technological University, Singapore, Xiaoyu ZhangXi'an Jiaotong University, Yang LiuNanyang Technological University, Singapore, Li XiaohongTianJin University, Chao ShenXi'an Jiaotong University
01:30 - 01:50
Talk
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
Research Papers
Guoliang DongComputer College of Zhejiang University, Jingyi WangZhejiang University, Jun SunSingapore Management University, Yang ZhangZhejiang University, Xinyu WangZhejiang University, Dai TingHuawei International Pte Ltd, Jin Song DongNational University of Singapore, Xingen WangZhejiang University
01:50 - 02:10
Talk
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation
Industry Showcase
Haruki YokoyamaFujitsu Laboratories Ltd., Satoshi OnoueFujitsu Ltd., Shinji KikuchiFujitsu Laboratories Ltd.
01:10 - 02:10: Recommender Systems for Software EngineeringResearch Papers / Tool Demonstrations at Koala
Chair(s): Shaowei WangMississippi State University
01:10 - 01:30
Talk
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph
Research Papers
Xiaoxue RenZhejiang University, Xinyuan YeAustralian National University, Zhenchang XingAustralian National University, Australia, Xin XiaMonash University, Xiwei XuData61 at CSIRO, Australia, Liming ZhuData61 at CSIRO, Australia / UNSW, Australia, Jianling SunZhejiang University
Pre-print
01:30 - 01:50
Talk
Multi-task Learning based Pre-trained Language Model for Code Completion
Research Papers
Fang LiuPeking University, Ge LiPeking University, Yunfei ZhaoPeking University, Zhi JinPeking University
01:50 - 02:00
Talk
HomoTR: Online Test Recommendation System Based on Homologous Code Matching
Tool Demonstrations
Chenqian ZhuNanjing University, Weisong SunState Key Laboratory for Novel Software Technology, Nanjing University, Qin LIU, Yangyang YuanNanjing University, Chunrong FangNanjing University, China, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University
01:10 - 02:10: Software Security and Trust (1) Research Papers / NIER track / Tool Demonstrations at Platypus
Chair(s): Christoph CsallnerUniversity of Texas at Arlington
01:10 - 01:30
Talk
Continuous ComplianceExperience
Research Papers
Martin KelloggUniversity of Washington, Seattle, Martin SchäfAmazon Web Services, Serdar TasiranAmazon Web Services, Michael D. ErnstUniversity of Washington, USA
01:30 - 01:50
Talk
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementions
Research Papers
Lili QuanCollege of Intelligence and Computing,Tianjin University, Qianyu GuoCollege of Intelligence and Computing, Tianjin University, Hongxu ChenResearch Associate, xiexiaofei , Li XiaohongTianJin University, Yang LiuNanyang Technological University, Singapore, Jing HuTianjin Key Laboratory of Advanced Networking (TANK), College of Intelligence and Computing,Tianjin University
01:50 - 02:00
Talk
A Hybrid Analysis to Detect Java Serialisation Vulnerabilities
NIER track
Shawn RasheedMassey University, Jens DietrichVictoria University of Wellington
02:00 - 02:10
Talk
EXPRESS: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems
Tool Demonstrations
Jia XuSchool of Computer Science and Technology, Anhui University, Xiao LiuSchool of Information Technology, Deakin University, Xuejun LiSchool of Computer Science and Technology, Anhui University, Lei ZhangAntwork Robotics Co., Ltm., Hangzhou, China, Yun YangSwinburne University of Technology
01:10 - 02:10: Testing of Emerging ApplicationsResearch Papers / Tool Demonstrations at Wombat
Chair(s): Yuan TianQueens University, Kingston, Canada
01:10 - 01:30
Talk
CoFI: Consistency-Guided Fault Injection for Cloud Systems
Research Papers
Haicheng ChenThe Ohio State University, USA, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of software, Chinese academy of sciences, Feng QinOhio State University, USA
01:30 - 01:50
Talk
ChemTest: An Automated Software Testing Framework for an Emerging ParadigmACM Distinguished Paper
Research Papers
Michael C. GertenIowa State University, James I. LathropIowa State University, Myra CohenIowa State University, Titus H. KlingeDrake University
Pre-print
01:50 - 02:00
Talk
ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies
Tool Demonstrations
hao wang, Guoping RongNanjing University, Yangchen XuNanjing University, Yong YouMeituan-Dianping Group
09:10 - 10:10: SynthesisResearch Papers at Kangaroo
Chair(s): Domenico BianculliUniversity of Luxembourg
09:10 - 09:30
Talk
Just-In-Time Reactive Synthesis
Research Papers
Shahar MaozTel Aviv University, Israel, Ilia ShevrinTel Aviv University
09:30 - 09:50
Talk
JISET: JavaScript IR-based Semantics Extraction Toolchain
Research Papers
Jihyeok ParkKAIST, South Korea, Jihee ParkKAIST, Seungmin AnKAIST, Sukyoung RyuKAIST
09:50 - 10:10
Talk
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Research Papers
Yeting LiInstitute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiwu XuShenzhen University, Jialun CaoDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Haiming ChenInstitute of Software, Chinese Academy of Sciences, Tingjian GeUniversity of Massachusetts, Lowell, Shing-Chi CheungHong Kong University of Science and Technology, China, Haoren ZhaoShaanxi Normal University, Xi'an, China
09:10 - 10:10: Configuration Management (1)Research Papers at Koala
Chair(s): Carmine VassalloUniversity of Zurich, Switzerland
09:10 - 09:30
Talk
Automated Implementation of Windows-related Security-Configuration Guides
Research Papers
Patrick StöckleTechnical University of Munich, Bernd GrobauerSiemens AG, Alexander PretschnerTechnical University of Munich
DOI Pre-print
09:30 - 09:50
Talk
Identifying Software Performance Changes Across Variants and Versions
Research Papers
Stefan MühlbauerLeipzig University, Sven ApelSaarland University, Germany, Norbert SiegmundLeipzig University
DOI Pre-print
09:50 - 10:10
Talk
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs
Research Papers
Haochen HeNational University of Defense Technology, Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, China, Erci XuNational University of Defense Technology, Tingting YuUniversity of Kentucky, Yue YuCollege of Computer, National University of Defense Technology, Changsha 410073, China, Ji WangNational University of Defense Technology, Xiangke LiaoNational University of Defense Technology, China
DOI Pre-print
09:10 - 10:10: AI for Software Engineering (3)Research Papers at Wombat
Chair(s): Artur AndrzejakHeidelberg University
09:10 - 09:30
Talk
Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts
Research Papers
Julian FrattiniBlekinge Institute of Technology, Maximilian JunkerTechnische Universität Muenchen, Michael UnterkalmsteinerBlekinge Institute of Technology, Daniel MendezBlekinge Institute of Technology
09:30 - 09:50
Talk
BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction
Research Papers
Ke LiUniversity of Exeter, Zilin XiangUniversity of Electronic Science and Technology of China, Tao ChenLoughborough University, Kay Chen TanCity University of Hong Kong
Pre-print
09:50 - 10:10
Talk
Automating Just-In-Time Comment UpdatingACM Distinguished Paper
Research Papers
Zhongxin LiuZhejiang University, Xin XiaMonash University, Meng YanChongqing University, Shanping LiZhejiang University
Pre-print
16:00 - 17:00: Testing (2)Research Papers at Kangaroo
Chair(s): Alex GroceNorthern Arizona University
16:00 - 16:20
Talk
TestMC: Testing Model Counters using Differential and Metamorphic TestingExperience
Research Papers
Muhammad UsmanUniversity of Texas at Austin, USA, Wenxi WangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin, USA
16:20 - 16:40
Talk
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction
Research Papers
Qian ZhangUniversity of California, Los Angeles, Jiyuan WangUniversity of California, Los Angeles, Muhammad Ali GulzarUniversity of California at Los Angeles, USA, Rohan PadhyeCarnegie Mellon University, Miryung KimUniversity of California at Los Angeles, USA
16:40 - 17:00
Talk
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
Research Papers
Nick FengUniversity of Toronto, Vincent HuiUniversity of Toronto, Federico MoraUniversity of California, Berkeley, Marsha ChechikUniversity of Toronto
16:00 - 17:00: Configuration Management (2)Research Papers at Koala
Chair(s): Arie van DeursenDelft University of Technology, Netherlands
16:00 - 16:20
Talk
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors
Research Papers
Chengyuan WenVirginia Tech, Yaxuan ZhangVirginia Tech, Xiao HeUniversity of Science and Technology Beijing, China, Na MengVirginia Tech
16:20 - 16:40
Talk
Mastering Uncertainty in Performance Estimations of Configurable Software Systems
Research Papers
Johannes DornLeipzig University, Sven ApelSaarland University, Germany, Norbert SiegmundLeipzig University
DOI Pre-print
16:40 - 17:00
Talk
Team Discussions and Dynamics During DevOps Tool Adoptions in OSS ProjectsACM Distinguished Paper
Research Papers
Likang YinUniversity of California, Davis, Vladimir FilkovUniversity of California at Davis, USA
17:10 - 18:10: Software Engineering for AI (3)Research Papers / Tool Demonstrations at Kangaroo
Chair(s): Iftekhar AhmedUniversity of California at Irvine, USA
17:10 - 17:30
Talk
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of VarianceACM Distinguished Paper
Research Papers
Viet Hung PhamUniversity of Waterloo, Shangshu QianPurdue University, Jiannan WangPurdue University, Thibaud LutellierUniversity of Waterloo, Jonathan RosenthalPurdue University, Lin TanPurdue University, USA, Yaoliang YuUniversity of Waterloo, Nachiappan NagappanMicrosoft Research
Pre-print
17:30 - 17:50
Talk
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Research Papers
Brandon PaulsenUniversity of Southern California, Jingbo WangUniversity of Southern California, Jiawei WangUniversity of Southern California, Chao WangUSC
Pre-print
17:50 - 18:00
Talk
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
Tool Demonstrations
Efstratios KourtzanidisUniversity Of Macedonia, Alexander ChatzigeorgiouUniversity of Macedonia, Apostolos AmpatzoglouUniversity of Macedonia
Pre-print Media Attached File Attached
17:10 - 18:10: Empirical Software Engineering (1)Research Papers / Journal-first Papers at Koala
Chair(s): Jinqiu YangConcordia University, Montreal, Canada
17:10 - 17:30
Talk
Code to Comment "Translation": Data, Metrics, Baselining & Evaluation
Research Papers
David GrosUniversity of California, Davis, Hariharan SezhiyanUniversity of California, Davis, Prem DevanbuUniversity of California, Zhou YuUniversity of California, Davis
17:30 - 17:50
Talk
Reproducing Performance Bug Reports in Server Applications: The Researchers' Experiences
Journal-first Papers
Xue HanUniversity of Kentucky, Daniel CarrollUniversity of Kentucky, Tingting YuUniversity of Kentucky
Link to publication DOI
17:50 - 18:10
Talk
Exploring the Architectural Impact of Possible Dependencies in Python software
Research Papers
Wuxia JinXi'an Jiaotong University, Yuanfang Cai Drexel University, Rick KazmanUniversity of Hawai‘i at Mānoa, Gang ZhangEmergent Design Inc, Qinghua ZhengXi'an Jiaotong University, Ting LiuXi'an Jiaotong University

Thu 24 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

01:10 - 02:10: Test EfficiencyResearch Papers / NIER track at Kangaroo
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign
01:10 - 01:30
Research paper
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Research Papers
Yufeng ZhangCollege of Information Science and Engineering, Hunan University, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Ziqi ShuaiNational University of Defense Technology, Tianqi ZhangNational University of Defense Technology, Kenli LiCollege of Information Science and Engineering, National Supercomputing Center in Changsha, Hunan University, Ji WangNational University of Defense Technology
Pre-print
01:30 - 01:50
Talk
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling
Research Papers
Chijin ZhouTsinghua University, Mingzhe WangSchool of Software, Tsinghua University, Jie LiangSchool of Software, Tsinghua University, Zhe LiuNanjing University of Aeronautics and Astronautics, Yu Jiang
01:50 - 02:00
Talk
SRRTA: Regression Testing Acceleration via State Reuse
NIER track
Jinhao DongPeking University, Yiling LouPeking University, China, Dan HaoPeking University, China
01:10 - 02:10: Maintenance and Evolution (4)Research Papers / Tool Demonstrations at Koala
Chair(s): Xin XiaMonash University
01:10 - 01:30
Talk
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis
Research Papers
Yueming WuHuazhong University of Science and Technology, Deqing ZouHuazhong University of Science and Technology, Shihan DouHuazhong University of Science and Technology, Siru YangHuazhong University of Science and Technology, Wei YangUniversity of Texas at Dallas, USA, Feng ChengHuazhong University of Science and Technology, Hong LiangHuazhong University of Science and Technology, Hai JinHuazhong University of Science and Technology
01:30 - 01:50
Talk
Generating Concept based API Element Comparison Using a Knowledge Graph
Research Papers
Yang LiuFudan University, China, Mingwei LiuFudan University, China, Xin PengFudan University, China, Christoph TreudeUniversity of Adelaide, Australia, Zhenchang XingAustralian National University, Australia, Xiaoxin ZhangFudan University, China
01:50 - 02:00
Talk
JITBot: An Explainable Just-In-Time Defect Prediction Bot
Tool Demonstrations
Chaiyakarn KhananMahidol University, Worawit LuewichanaMahidol University, Krissakorn PruktharathikoonMahidol University, Jirayus JiarpakdeeMonash University, Australia, Chakkrit (Kla) TantithamthavornMonash University, Australia, Morakot ChoetkiertikulMahidol University, Thailand, Chaiyong RakhitwetsagulMahidol University, Thailand, Thanwadee SunetnantaMahidol University
01:10 - 02:10: Human-computer interactionResearch Papers / Tool Demonstrations at Wombat
Chair(s): Zhiyuan WanZhejiang University
01:10 - 01:30
Talk
Identifying and Describing Information Seeking Tasks
Research Papers
Chris SatterfieldUniversity of British Columbia, Thomas FritzUniversity of Zurich, Gail MurphyUniversity of British Columbia
01:30 - 01:50
Talk
Predicting Code Context Models for Software Development Tasks
Research Papers
Zhiyuan WanZhejiang University, Gail MurphyUniversity of British Columbia, Xin XiaMonash University
Pre-print
01:50 - 02:00
Talk
Edge4Real: A Cost-Effective Edge Computing based Human Behaviour Recognition System for Human-Centric Software Engineering
Tool Demonstrations
DI SHAOSchool of Information Technology, Deakin University, Xiao LiuSchool of Information Technology, Deakin University, Ben ChengSchool of Information Technology, Deakin University, Owen WangSchool of Information Technology, Deakin University, Thuong HoangSchool of Information Technology, Deakin University
02:20 - 03:20: Software Analysis (3)Research Papers / Industry Showcase at Kangaroo
Chair(s): Rahul PurandareIIIT-Delhi
02:20 - 02:40
Talk
CCGraph: a PDG-based code clone detector with approximate graph matching
Research Papers
Yue ZouDepartment of Computer Science and Technology, University of Science and Technology of China, Bihuan BanSchool of Data Science, University of Science and Technology of China, Yinxing Xue, Yun XuUniversity of Science and Technology of China
02:40 - 03:00
Talk
Towards Generating Thread-Safe Classes Automatically
Research Papers
Haichi WangCollege of Intelligence and Computing, Tianjin University, Zan WangTianjin University, China, Jun SunSingapore Management University, Shuang LiuTianjin University, China, Ayesha SadiqMonash University, Yuan-Fang LiMonash University
03:00 - 03:20
Talk
Industry practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
Industry Showcase
Yi LiuSouthern University of Science and Technology, Jinhui XieTencent Inc., Jianbo YangTencent Inc., Shiyu GuoTencent Inc., Yuetang DengTencent, Inc., Shuqing LiSouthern University of Science and Technology, Yechang WuSouthern University of Science and Technology, Yepang LiuSouthern University of Science and Technology
02:20 - 03:20: Empirical Software Engineering (2)Research Papers at Koala
Chair(s): Julia RubinUniversity of British Columbia, Canada
02:20 - 02:40
Talk
Understanding Performance Concerns in the API Documentation of Data Science Libraries
Research Papers
Yida TaoShenzhen University, Jiefang JiangShenzhen University, Yepang LiuSouthern University of Science and Technology, Zhiwu XuShenzhen University, Shengchao QinUniversity of Teesside
02:40 - 03:00
Talk
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems
Research Papers
Samuel BentonThe University of Texas at Dallas, Xia LiKennesaw State University, Yiling LouPeking University, China, Lingming ZhangUniversity of Illinois at Urbana-Champaign, USA
03:00 - 03:20
Talk
Automated Third-party Library Detection for Android Applications: Are We There Yet?Experience
Research Papers
Zhan XianThe Hong Kong Polytechnic University, Lingling FanNanyang Technological University, Singapore, Tianming LiuMonash University, Australia, Sen ChenNanyang Technological University, Singapore, Li LiMonash University, Australia, Haoyu WangBeijing University of Posts and Telecommunications, China, Yifei XuSouthern University of Science and Technology, Xiapu LuoThe Hong Kong Polytechnic University, Yang LiuNanyang Technological University, Singapore
02:20 - 03:20: AI for Software Engineering (4)Research Papers / NIER track at Wombat
Chair(s): Hoa Khanh DamUniversity of Wollongong
02:20 - 02:40
Talk
Detecting and Explaining Self-Admitted Technical Debts with Attention-based Neural Networks
Research Papers
Xin WangWuhan University, Jin LiuWuhan University, Li LiMonash University, Australia, Xiao ChenMonash University, Xiao LiuSchool of Information Technology, Deakin University, Hao WuYunnan University
02:40 - 03:00
Talk
OCoR: An Overlapping-Aware Code Retriever
Research Papers
Qihao ZhuPeking University, Zeyu SunPeking University, Xiran LiangPeking University, Yingfei XiongPeking University, China, Lu ZhangPeking University, China
03:00 - 03:10
Talk
BugPecker: Locating Faulty Methods with Deep Learning on Revision Graphs
NIER track
Junming CaoSchool of Software, Shanghai Jiao Tong University, Shouliang YangSchool of Software, Shanghai Jiao Tong University, Wenhui JiangSchool of Software, Shanghai Jiao Tong University, Hushuang ZengSchool of Software, Shanghai Jiao Tong University, Beijun ShenSchool of Software, Shanghai Jiao Tong University, Hao ZhongShanghai Jiao Tong University
08:00 - 09:00: Bugs and Automated RepairResearch Papers at Kangaroo
Chair(s): Jifeng XuanWuhan University
08:00 - 08:20
Talk
No Strings Attached: An Empirical Study of String-related Software Bugs
Research Papers
Aryaz EghbaliUniversity of Stuttgart, Michael PradelUniversity of Stuttgart, Germany
Pre-print File Attached
08:20 - 08:40
Research paper
Automated Patch Correctness Assessment: How Far are We?
Research Papers
Shangwen WangNational University of Defense Technology, Ming WenHuazhong University of Science and Technology, China, Bo LinNational University of Defense Technology, Hongjun WuNational University of Defense Technology, Yihao QinNational University of Defense Technology, Deqing ZouHuazhong University of Science and Technology, Xiaoguang MaoNational University of Defense Technology, Hai JinHuazhong University of Science and Technology
DOI Pre-print Media Attached
08:40 - 09:00
Research paper
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair
Research Papers
Haoye TianUniversity of Luxembourg, Kui LiuUniversity of Luxembourg, Luxembourg, Abdoul Kader KaboréUniversity of Luxembourg, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Li LiMonash University, Australia, Jacques KleinUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg
08:00 - 09:00: Verification and TestingResearch Papers / Tool Demonstrations / Industry Showcase at Koala
Chair(s): Jun SunSingapore Management University
08:00 - 08:20
Talk
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
Research Papers
Cedric RichterPaderborn University, Germany, Heike WehrheimPaderborn University
08:20 - 08:40
Talk
Lightweight MBT Testing for National e-Health Portal in Norway
Industry Showcase
Davrondzhon GafurovNorsk Helsenett SF, Margrete Sunde GrovanNorsk Helsenett SF, Margrete Sunde GrovanNorsk Helsenett SF
08:40 - 08:50
Talk
Speeding up GUI Testing by On-Device Test Generation
Tool Demonstrations
Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Jenny RauCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA, Germany
08:50 - 09:00
Talk
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
Tool Demonstrations
Omar JavedUniversità della Svizzera italiana, Joshua Heneage DawesUniversity of Manchester and CERN, Marta HanUniversity of Zagreb and CERN, Giovanni FranzoniCERN, Andreas PfeifferCERN, Giles RegerUniversity of Manchester, Walter BinderUniversity of Lugano, Switzerland
08:00 - 09:00: Model-Driven Development and Rapid PrototypingResearch Papers / Tool Demonstrations at Wombat
Chair(s): Timo KehrerHumboldt-Universtität zu Berlin
08:00 - 08:20
Talk
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model TransformationsACM Distinguished Paper
Research Papers
Christos TsigkanosTU Vienna, NIANYU LIPeking University, China, Zhi JinPeking University, Zhenjiang HuPeking University, China, Carlo GhezziPolitecnico di Milano
08:20 - 08:40
Talk
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Research Papers
Chaima BoufaiedUniversity of Luxembourg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Domenico BianculliUniversity of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Yago Isasi ParacheLuxSpace
08:40 - 08:50
Talk
GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements
Tool Demonstrations
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim, Christian BarteltInstitute for Software and Systems Engineering, TU Clausthal, Simone Paolo PonzettoData and Web Science Group, University of Mannheim
09:10 - 10:10: Software Security and Trust (2)Research Papers / Tool Demonstrations / Industry Showcase at Kangaroo
Chair(s): Raula Gaikovina KulaNAIST
09:10 - 09:30
Talk
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
Research Papers
Yinxing Xue, Mingliang MaUniversity of Science and Technology of China, Yun LinNational University of Singapore, Yulei SuiUniversity of Technology Sydney, Australia, Jiaming YeUniversity of Science and Technology of China, Tianyong PengUniversity of Science and Technology of China
09:30 - 09:50
Talk
Code-based Vulnerability Detection in Node.js Applications: How far are we?
Industry Showcase
Bodin ChinthanetNara Institute of Science and Technology, Serena Elisa PontaSAP Security Research, Henrik PlateSAP Security Research, Antonino SabettaSAP Security Research, Raula Gaikovina KulaNAIST, Takashi IshioNara Institute of Science and Technology, Kenichi MatsumotoNara Institute of Science and Technology
09:50 - 10:00
Talk
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Tool Demonstrations
João F. FerreiraINESC-ID and IST, University of Lisbon, Pedro CruzIST, University of Lisbon, Portugal, Thomas DurieuxKTH Royal Institute of Technology, Sweden, Rui AbreuFaculty of Engineering, University of Porto, Portugal
09:10 - 10:10: Testing and AIResearch Papers / Journal-first Papers at Koala
Chair(s): Xiaoyuan XieSchool of Computer Science, Wuhan University, China
09:10 - 09:30
Talk
Predicting failures in multi-tier distributed systems
Journal-first Papers
Leonardo MarianiUniversity of Milano Bicocca, Mauro PezzeUSI Lugano, Switzerland, Oliviero RiganelliUniversity of Milano-Bicocca, Italy, Rui XinUSI Università della Svizzera italiana
09:30 - 09:50
Talk
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
Research Papers
David BerendNanyang Technological University, Singapore, Xiaofei XieNanyang Technological University, Lei MaKyushu University, Lingjun ZhouCollege of Intelligence and Computing, Tianjin University, Yang LiuNanyang Technological University, Singapore, Chi XuSingapore Institute of Manufacturing Technology, A*Star, Jianjun ZhaoKyushu University
09:50 - 10:10
Talk
Metamorphic Object Insertion for Testing Object Detection Systems
Research Papers
Shuai WangHong Kong University of Science and Technology, Zhendong SuETH Zurich, Switzerland
16:00 - 17:00: Mobile App (2)Research Papers / NIER track / Tool Demonstrations at Kangaroo
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
16:00 - 16:20
Talk
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for AndroidExperience
Research Papers
Farnaz BehrangGeorgia Tech, Alessandro OrsoGeorgia Tech
16:20 - 16:40
Talk
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
Research Papers
Jun-Wei LinUniversity of California, Irvine, Navid SalehnamadiUniversity of California, Irvine, Sam MalekUniversity of California at Irvine, USA
16:40 - 16:50
Talk
A Framework for Automated Test Mocking of Mobile Apps
NIER track
Mattia FazziniUniversity of Minnesota, Alessandra GorlaIMDEA Software Institute, Alessandro OrsoGeorgia Tech
16:50 - 17:00
Talk
AirMochi – A Tool for Remotely Controlling iOS Devices
Tool Demonstrations
Nikola LukicUniversity of Southern California, Saghar TalebipourUniversity of Southern California, Nenad MedvidovićUniversity of Southern California, USA
16:00 - 17:00: Software Security and Trust (3)Research Papers at Koala
Chair(s): Julia LawallInria
16:00 - 16:20
Talk
Prober: Practically Defending Overflows with Page Protection
Research Papers
Hongyu LiuPurdue University, Ruiqin TianCollege of William and Mary, Bin RenCollege of William and Mary, Tongping LiuUniversity of Massachusetts Amherst
16:20 - 16:40
Talk
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection
Research Papers
Alan RomanoUniversity at Buffalo, SUNY, Yunhui ZhengIBM T.J. Watson Research Center, Weihang WangUniversity at Buffalo, SUNY
16:40 - 17:00
Talk
Summary-Based Symbolic Evaluation for Smart ContractsACM Distinguished Paper
Research Papers
Yu FengUniversity of California, Santa Barbara, Emina TorlakUniversity of Washington, Rastislav BodikUniversity of Washington
16:00 - 17:00: Model-Driven Development Research Papers / Journal-first Papers at Wombat
Chair(s): Marianne HuchardLIRMM
16:00 - 16:20
Talk
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
Research Papers
Benjamin GaffordGrinnell College, Tobias DürschmidCarnegie Mellon University, Institute for Software Research, Gabriel A. MorenoCarnegie Mellon University, USA, Eunsuk KangCarnegie Mellon University, USA
16:20 - 16:40
Talk
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
Research Papers
Hoang Lam NguyenHumboldt-Universität zu Berlin, Nebras NassarPhilipps-Universität Marburg, Timo KehrerHumboldt-Universtität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin
16:40 - 17:00
Talk
Characterization of Implied Scenarios as Families of Common Behavior
Journal-first Papers
Caio Batista de MeloUniversity of California, Irvine, André Luiz Fernandes CançadoUniversity of Brasília, Genaína Nunes RodriguesUniversity of Brasília
Link to publication DOI Pre-print