| 09:00 - 18:00 | |
| | | |
| Talk | | Poster T1: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property Posters |
| Talk | | Poster T2: Conway: Law or Not? Posters |
| Talk | | Poster T3: Adoption of the Visual Brainstorming Technique in the Open Source Software Development Process Posters |
| Talk | | Poster T4: A General Framework to Detect Behavioral Design Patterns Posters |
| Talk | | Poster T5: Subsuming Mutation Operators Posters Huan Lin State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Yawen Wang State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Yunzhan Gong State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications |
| Talk | | Poster T6: Detecting Missing Checks for Identifying Insufficient Attack Protections Posters |
| Talk | | Poster T7: How Do Community Smells Influence Code Smells? Posters Pre-print |
| Talk | | Poster T8: Communication in Open-Source Projects--End of the E-mail Era? Posters |
| Talk | | Poster T9: Predicting components for issue reports using deep learning with information retrieval Posters |
| Talk | | Poster T10: OreoCF: Towards Accurate and Scalable Detection of Semantic Clones Posters |
| Talk | | Poster T11: Understanding Differences among Executions with Variational Traces Posters |
| Talk | | Poster T12: An Experimental Analysis of Fault Detection Capabilities of Covering Array Constructors Posters |
| Talk | | Poster T13: Are Information Retrieval-based Bug Localization Techniques Trustworthy? Posters |
| Talk | | Poster T14: Accelerating Counterexample Detection in Software Model Checking Posters |
| Talk | | Poster T15: A Novel Variable-centric Fault Localization Technique Posters |
| Talk | | Poster T16: Android Inter-Component Communication Analysis with Intent Revision Posters |
| Talk | | Poster T17: Exploration of Academic and Industrial Evidence about Architectural Tactics and Patterns in Microservices Posters |
| Talk | | Poster T18: FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution Posters |
| Talk | | Poster T19: Automatically Solving NP-Complete Problems on a Quantum Computer Posters |
| Talk | | Poster T20: Guiding Developers to Make Informative Commenting Decisions in Source Code Posters Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan Jia School of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Qiang Zhou School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Xiangping Chen , Yingfei Xiong Peking University, Xiaonan Luo School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China |
| Talk | | Poster T21: Making Well-Informed Software Design Decisions Posters Link to publication DOI Pre-print |
| Talk | | Poster T22: Runtime Verification of Memory Safety via Source Transformation Posters Zhe Chen Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Wenming Li , Ju Qian Nanjing University of Aeronautics and Astronautics, Zhiqiu Huang Nanjing University of Aeronautics and Astronautics |
| Talk | | Poster T23: Synthesizing Relation-Aware Entity Transformation by Examples Posters |
| Talk | | Poster T24: Testing Heap-Based Programs with Java StarFinder Posters |
| Talk | | Poster T25: Automatically Answering API-Related Questions Posters WuDi , Xiao-Yuan Jing State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Haowen Chen State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Xiaoke Zhu State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Hongyu Zhang The University of Newcastle, Mei Zuo State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Lu Zi State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Chen Zhu State Key Laboratory of Software Engineering, School of Computer, Wuhan University |
| Talk | | Poster T26: Exploring Uncertainty in GitHub OSS Projects Posters |
| Talk | | Poster T27: Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification Posters |
| Talk | | Poster T28: On Vulnerability Evolution in Android Apps Posters Jun Gao University of Luxembourg, SnT, Li Li University of Luxembourg, Luxembourg, Pingfan Kong Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, SnT |
| Talk | | Poster T29: UMLx: a UML Diagram Analytic Tool for Software Management Decisions Posters Kan Qi University of Southern California, Barry Boehm University of Southern California |
| Talk | | Poster T30: Benchmarking cross-project defect prediction approaches with cost metrics Posters |
| Poster | | Poster T31: Unit Tests and Component Tests do Make a Difference on Fault Localisation Effectiveness Posters Pre-print |
| Talk | | Poster T32: Recommending Exception Handling Patterns with ExAssist Posters |
| Talk | | Poster T33: ALPACA: Advanced Linguistic Pattern and Concept Analysis Framework for Software Engineering Corpora Posters |
| Talk | | Poster T34: Combining STPA and BDD for Safety Analysis and Verification in Agile Development Posters |
| Talk | | Poster T35: When Pair Programming is most helpful: Explaining session dynamics from knowledge gaps Posters |
| Poster | | Poster T36: Machine-Learning-Based Code Smell Detection through WekaNose Posters Pre-print |
| Talk | | Poster T37: Knowledge-enriched Security and Privacy Threat Modeling Posters |
| Talk | | Poster T38: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms Posters |
| Talk | | Poster T39: Semantically Enhanced Tag Recommendation for Software CQAs via Deep Learning Posters |
| Talk | | Poster T40: QoS-aware Service Composition using Blockchain-based Smart Contract Posters |
| Talk | | Poster T41: An Automated and Instant Discovery of Concrete Repairs for Model Inconsistencies Posters |
| Talk | | Poster T42: Knowledge Transfer from Research to Industry: A Survey on Program Comprehension Posters |
| Talk | | Poster T43: MOBS: Multi-Operator Observation-Based Slicing using Lexical Approximation of Program Dependence Posters |
| Talk | | Poster T44: On Extracting Relevant and Complex Variability Information from Software Descriptions with Pattern Structures Posters |
| Talk | | Poster T45: CUTER: ClUstering-based TEst suite Reduction Posters |
| Talk | | Poster T46: The Effect of Noise on Requirements Comprehension Posters |
| Talk | | Poster T47: Incremental UML for Agile Development: An Introduction Posters |
| Talk | | Poster T48: An Algorithm and Tool to Infer Practical Postconditions Posters |
| Talk | | Poster T49: Designing Bug Detection Rules for Fewer False Alarms Posters |
| Talk | | Poster T50: Automated User Reviews Analyser Posters |
| Talk | | Poster T51: A Recommender System for Developer Onboarding Posters |
| Talk | | Poster T52: Automated Test Script Repair for Mobile Applications Posters |
| Talk | | Poster T53: Obfuscating Program Control Flow with Intel SGX Posters |
| Talk | | Poster T54: Benchmarking Microservice Systems for Software Engineering Research Posters |
| Talk | | Poster T55: Bridging Effort-Aware Prediction and Strong Classification - a Just-in-Time Software Defect Prediction Study Posters File Attached |
| Talk | | Poster T56: Model-Based Adaptation to Extreme Physical Environments: A Case Study on Mixed-Criticality Industrial Ethernet Posters |
| Talk | | Poster T57: Efficient and Deterministic Replay for Web-enabled Android Apps Posters |
| Talk | | Poster T58: A Parallel Framework for Ab Initio Transcript-Clustering Posters |
| Talk | | Poster T59: Sources of Satisfaction in Agile Software Development Posters |
| Talk | | Poster T60: Which Similarity Metric to Use for Software Documents? A Study on Information Retrieval-Based Software Engineering Tasks Posters |