Search events for 'all'
All You Need Is Logs: Improving Code Completion by Learning from Anonymous IDE Usage Logs
Industry Paper When: Mon 14 Nov 2022 12:00 - 12:15 People: Vitaliy Bibaev, Alexey Kalina, Vadim Lomshakov, Yaroslav Golubev, Alexander Bezzubov, Nikita Povarov, Timofey Bryksin
… all the necessary anonymization on the client's side. Importantly, it can …
GERRY - A Gamified Browser Tool for GUI Testing
Gamify 2022 When: Thu 17 Nov 2022 15:10 - 15:30 People: Giacomo Garaccione, Tommaso Fulcini, Marco Torchiano
… also gener- ates reports (i.e., traces of all actions and milestones reached during …
Mining Sorting Concept across Curriculum Levels. A Cyclic Learning Based Approach
EASEAI 2022 When: Fri 18 Nov 2022 21:15 - 21:30 People: Mariana Maier, Camelia Serban, Andrei Moisin
… Nowadays, when the changes that appear in programming paradigms and in software process development methodologies are extremely frequent, teaching Computer Science throughout all levels of study has become a demanding task. To all …
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
QP4SE 2022 When: Fri 18 Nov 2022 23:30 - 23:40 People: Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, Antonio Piccinno
… security, in all phases of software applications (concept phases, product …
Embracing Iterations in Quantum Software: A Vision
QP4SE 2022 When: Fri 18 Nov 2022 23:20 - 23:30 People: Arif Ali Khan, Mahdi Fahmideh, Aakash_Ahmad , Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, Tommi Mikkonen
… In today’s software engineering, iterations, affordable en masse, form an important part of just about any system. However, not all computing resources are cheap to consume. In high-performance (HPC) and quantum computing (QC), executions …
Feature sets in just-in-time defect prediction: An empirical evaluation
PROMISE'22 When: Fri 18 Nov 2022 14:20 - 14:40 People: Peter Bludau, Alexander Pretschner
… , not yet discussed in literature. By combining all feature sets, we improve MCC …
Reverse engineering the new SBSE
Future of SBSE When: Fri 18 Nov 2022 11:30 - 12:00 People: Tim Menzies
… What is different about 2022 to 2002? What have we learned? Having done this for a while now, what have we learned from all that inference? Can we use that information to propose a new SBSE? One based on different principles …
Profiling Developers to Predict Vulnerable Code Changes
PROMISE'22 When: Fri 18 Nov 2022 11:20 - 11:40 People: Tugce Coskun, Rusen Halepmollasi, Khadija Hanifi, Ramin Fadaei Fouladi, Pinar Comak De Cnudde, Ayse Tosun
… and the aggregation of code metrics for extracting all the input features. We utilize …
Academic search engines: constraints, bugs and recommendations
A-TEST 2022 When: Fri 18 Nov 2022 14:30 - 15:00 People: Zheng Li, Austen Rainer
… -attempting the searches for all of these 621 studies, we effectively conduct …
ML is the new SBSE
Future of SBSE When: Fri 18 Nov 2022 11:00 - 11:30 People: Myra Cohen
… all of the major software engineering venues. As this has happened the SSBSE …
Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-level Static Analysis
Research Papers People: Jihyeok Park, Seungmin An, Sukyoung Ryu
… , the standard specification of JavaScript. Unfortunately, all the existing JavaScript … JSAVER. The derived analyzer soundly analyzed all applicable 18,556 official …
Demystifying the Underground Ecosystem of Account Registration Bots
Research Papers When: Wed 16 Nov 2022 14:30 - 14:45 People: Yuhao Gao, Guoai Xu, Li Li, Xiapu Luo, Chenyu Wang, Yulei Sui
… harvesting, and spreading fake news. All these activities rely heavily … that all can easily bypass the security strategies website providers put in place …
Classifying Edits to Variability in Source Code
Research Papers When: Mon 14 Nov 2022 16:15 - 16:30 People: Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
… of 44 open-source software systems automatically.
We are able to classify all edits with syntactically correct feature-to-code mappings and find that all our …
Neural Termination Analysis
Research Papers When: Tue 15 Nov 2022 15:00 - 15:15 People: Mirco Giacobbe, Daniel Kroening, Julian Parsert
… symbolic reasoning to formally verify that it
generalises to all possible …
A Longitudinal Analysis of Bloated Java Dependencies
ESEC/FSE 2021 When: Tue 15 Nov 2022 15:00 - 15:15 People: César Soto-Valero, Thomas Durieux, Benoit Baudry
… % of the direct dependencies that are bloated remain bloated in all subsequent …
TSA: A Tool to Detect and Quantify Network Side-Channels
Demonstrations People: Ismet Burak Kadron, Tevfik Bultan
… Mobile applications, Internet of Things devices and web services are pervasive and they all encrypt the communications between servers and clients to not have information leakages. While the network traffic is encrypted, packet sizes …
What Improves Developer Productivity at Google? Code Quality
Industry Paper When: Mon 14 Nov 2022 11:00 - 11:15 People: Lan Cheng, Emerson Murphy-Hill, Mark Canning, Ciera Jaspan, Collin Green, Andrea Knight, Nan Zhang, Liz Kammer
… , and organizational change and process are all causally linked to self-reported …
In War and Peace: The Impact of World Politics on Software Ecosystems
Ideas, Visions and Reflections When: Mon 14 Nov 2022 14:00 - 14:15 People: Raula Gaikovina Kula, Christoph Treude
… be enjoyed by all.
Yet, there is a growing concern related to maintainers using …
Mining Input Grammars from Dynamic Control Flow
ESEC/FSE 2020 When: Tue 15 Nov 2022 11:00 - 11:15 People: Rahul Gopinath, Björn Mathis, Andreas Zeller
… locations of the input parser. This works on all stack based recursive descent …
Detecting Simulink Compiler Bugs via Controllable Zombie Blocks Mutation
Research Papers People: Shikai Guo, He Jiang, Zhihao Xu, Xiaochen Li, Zhilei Ren, Zhide Zhou, Rong Chen
… since all CPS models depend on compilation. However, Simulink compiler testing … into true and false branches. Then, COMBAT feeds all the data passed through …
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
Demonstrations When: Wed 16 Nov 2022 14:53 - 15:00 People: Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang
… to be type-safe but existing SE engines treat all the pointers equally, meaning that those engines perform unnecessary bound checking for all the pointers, thus …
RecipeGen++: An Automated Trigger Action Programs Generator
Demonstrations When: Tue 15 Nov 2022 11:38 - 11:45 People: Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang, David Lo
… . In contrast, the One-Click mode allows users to generate all TAP components directly … evaluated \textit{RecipeGen++} on real-world datasets in all modes. Our results …
Explaining and Debugging Pathological Program Behavior
Doctoral Symposium When: Thu 17 Nov 2022 15:00 - 15:30 People: Martin Eberlein
… . A program's behavior is essentially the set of all its executions. This set is usually …
Accurate Method and Variable Tracking in Commit History
Research Papers When: Mon 14 Nov 2022 16:00 - 16:15 People: Mehran Jodavi, Nikolaos Tsantalis
… , with the complete change history of all 1345 variables and parameters declared …
Hierarchical Bayesian Multi-kernel Learning for Integrated Classification and Summarization of App Reviews
Research Papers When: Tue 15 Nov 2022 14:45 - 15:00 People: Moayad Alshangiti, Weishi Shi, Eduardo Coelho de Lima, Xumin Liu, Qi Yu
… their content. However, all previous studies approached the app reviews classification …
BiRD: Race Detection in Software Binaries under Relaxed Memory Models
Journal First When: Tue 15 Nov 2022 11:00 - 11:15 People: Ridhi Jain , Rahul Purandare, Subodh Sharma
… all distinct feasible interleavings for a multithreaded application. Our …
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics
ESEC/FSE 2020 When: Tue 15 Nov 2022 14:00 - 14:15 People: Claudio Mandrioli, Martina Maggio
… comparison of the confidence and guarantees that can be given with all …
Program Analysis using WALA (Tutorial)
Tutorials When: Thu 17 Nov 2022 09:00 - 10:30Thu 17 Nov 2022 11:00 - 12:30 People: Joanna C. S. Santos, Julian Dolby
… will cover all the required background knowledge that is necessary to understand …
Fuzzing: On the Exponential Cost of Vulnerability Discovery
ESEC/FSE 2020 When: Wed 16 Nov 2022 11:30 - 11:45 People: Marcel Böhme, Brandon Falk
… We present counterintuitive results for the scalability of fuzzing. Given the same non-deterministic fuzzer, finding the same bugs linearly faster requires linearly more machines. For instance, with twice the machines, we can find all …
Discovering Feature Flag Interdependencies in Microsoft Office
Industry Paper When: Wed 16 Nov 2022 14:15 - 14:30 People: Michael Schröder, Katja Kevic , Dan Gopstein, Brendan Murphy, Jennifer Beckmann
… , and these unknown dependencies could become a source of serious bugs. Testing all possible …
Lighting Up Supervised Learning in User Review-Based Code Localization: Dataset and Benchmark
Research Papers People: Xinwen Hu, Yu Guo, Jianjie Lu, Zheling Zhu, Chuanyi Li, Jidong Ge, Liguo Huang, Bin Luo
… (i.e., truly related <UR, Code> pairs), existing methods are all …
Aide-mémoire: Improving a Project’s Collective Memory via Pull Request–Issue Links
Journal First When: Wed 16 Nov 2022 11:15 - 11:30 People: Profir-Petru Pârțachi, David White, Earl T. Barr
… a single suggested link 94% of the time, and 16% of all discovered links were …
NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
Research Papers People: Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radiček, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
… challenges: the user's words have contextual semantics, the user may not include all …
A Case Study of Implicit Mentoring, Its Prevalence, and Impact in Apache
Research Papers People: Zixuan Feng, Amreeta Chatterjee, Anita Sarma, Iftekhar Ahmed
… does occur through code reviews (27.41% of all PRs included implicit mentoring …
Tracking Patches for Open Source Software Vulnerabilities
Research Papers People: Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, Yang Liu
… are either too expensive or too specific to apply to all OSS vulnerabilities …
Feature Trace Recording
ESEC/FSE 2021 When: Tue 15 Nov 2022 11:45 - 12:00 People: Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
… Tracing requirements to their implementation is crucial to all stakeholders of a software development process. When managing software variability, requirements are typically expressed in terms of features, a feature being a user-visible …
Are We Building on the Rock? On the Importance of Data Preprocessing for Code Summarization
Research Papers When: Mon 14 Nov 2022 11:30 - 11:45 People: Lin Shi, Fangwen Mu, Xiao Chen, Song Wang, Junjie Wang, Ye Yang, Ge Li, Xin Xia, Qing Wang
… models. The results show that these data preprocessing noises widely exist in all …
eGEN: An Energy-saving Modeling Language and Code Generator for Location-sensing of Mobile Apps
Demonstrations When: Tue 15 Nov 2022 15:00 - 15:07 People: Kowndinya Boyalakuntla, Marimuthu Chinnakali, Sridhar Chimalakonda, K. Chandrasekaran
… with source code and all artifacts is available at https://github.com/Kowndinya2000/egen …
Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems
Research Papers When: Mon 14 Nov 2022 11:45 - 12:00 People: Yao Deng, Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang
… effectiveness, identifying almost all injected faults. Furthermore, our test …
Input Invariants
Research Papers When: Tue 15 Nov 2022 14:00 - 14:15 People: Dominic Steinhöfel, Andreas Zeller
… "; “the ‘file name’ block must be 100 bytes long,” or "the number of columns in all CSV …
Academic Prototyping
Plenary Events When: Mon 14 Nov 2022 14:00 - 15:30 People: Andreas Zeller
… Much of our research requires building tools to evaluate and demonstrate new approaches. Yet, tool building can take large amounts of time and resources. And it brings risks: The original idea might not work; rendering all efforts futile …
Community Expectations for Research Artifacts and Evaluation Processes
ESEC/FSE 2020 When: Mon 14 Nov 2022 11:15 - 11:30 People: Ben Hermann, Stefan Winter, Janet Siegmund
… .
Method. We conducted a survey including all members of artifact evaluation …
MAAT: A Novel Ensemble Approach to Addressing Fairness and Performance Bugs for Machine Learning Software
Research Papers People: Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
… of MAAT over the state-of-the-art holds on all the tasks and measurements that we …
Improving ML-Based Information Retrieval Software with User-Driven Functional Testing and Defect Class Analysis
Industry Paper When: Tue 15 Nov 2022 11:30 - 11:45 People: Junjie Zhu, Teng Long, Wei Wang, Atif Memon
…
improvement, where all 3 were independently verified with retrospective A/B …
Exploring and Evaluating Personalized Models for Code Generation
Industry Paper People: Andrei Zlotchevski, Dawn Drain, Alexey Svyatkovskiy, Colin Clement, Neel Sundaresan, Michele Tufano
… three key approaches: (i) custom fine-tuning, which allows all the model …
Automating Code Review Activities by Large-Scale Pre-training
Research Papers People: Zhiyu Li, Shuai Lu, Daya Guo, Nan Duan, Shailesh Jannu, Grant Jenks, Deep Majumder, Jared Green, Alexey Svyatkovskiy, Shengyu Fu, Neel Sundaresan
… that our model outperforms the previous state-of-the-art pre-training approaches in all …
Story points changes in agile iterative development: An empirical study and a prediction approach
Journal First When: Wed 16 Nov 2022 14:30 - 14:45 People: Jirat Pasuksmit, Patanamon Thongtanunam, Shanika Karunasekera
… . Yet, it could be a tedious task to review all work items in the product (or sprint …
SEDiff: Scope-Aware Differential Fuzzing to Test Internal Function Models in Symbolic Execution
Research Papers People: Penghui Li, Wei Meng, Kangjie Lu
… impact all applications of symbolic execution, e.g., bug detection and model …
MANDO-GURU: Vulnerability Detection for Smart Contract Source Code By Heterogeneous Graph Embeddings
Demonstrations When: Wed 16 Nov 2022 14:45 - 14:52 People: Hoang H. Nguyen, Nhat-Minh Nguyen, Hong-Phuc Doan, Zahra Ahmadi, Thanh-Nam Doan, Lingxiao Jiang
… before they are deployed, especially to detect all potential vulnerabilities …
SymMC: Approximate Model Enumeration and Counting using Symmetry Information for Alloy Specifications
Research Papers People: Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid
… , which utilizes the symmetry information to compute all the desired terms …
AI-Assisted Programming: Applications, User Experiences, and Neuro-Symbolic Techniques (Keynote)
Plenary Events When: Mon 14 Nov 2022 09:00 - 10:30 People: Sumit Gulwani
… AI can enhance programming experiences for a diverse set of programmers: from professional developers and data scientists (proficient programmers) who need help in software engineering and data wrangling, all the way to spreadsheet users …
Fuzzing Deep-Learning Libraries via Automated Relational API Inference
Research Papers When: Mon 14 Nov 2022 11:15 - 11:30 People: Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang
… documentation bugs (all confirmed). …
Cross-Language Android Permission Specification
Research Papers When: Wed 16 Nov 2022 11:45 - 12:00 People: Chaoran Li, Xiao Chen, Ruoxi Sun, Minhui (Jason) Xue, Sheng Wen, Muhammad Ejaz Ahmed, Seyit Camtepe, Yang Xiang
… at least one false positive in permission over-privilege. We have disclosed all …
Modus: A Datalog Dialect for Building Container Images
Research Papers When: Tue 15 Nov 2022 14:15 - 14:30 People: Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev
… Containers help share and deploy software by packaging it with all its dependencies. Tools, like Docker or Kubernetes, spawn containers from images as specified by a build system’s language, such as Dockerfile. A build system takes many …
SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems
Research Papers People: Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu
… , and then adds a few more test cases into the test suite to ensure that all valid …
Automated Unearthing of Dangerous Issue Reports
Research Papers When: Wed 16 Nov 2022 14:00 - 14:15 People: Shengyi Pan, Jiayuan Zhou, Filipe Cogo, Xin Xia, Lingfeng Bao , Xing Hu, Shanping Li, Ahmed E. Hassan
… and recall among all baselines. In particular, the F1-score of {\sc MemVul …
23 Shades of Self-Admitted Technical Debt: An Empirical Study on Machine Learning Software
Research Papers When: Wed 16 Nov 2022 11:45 - 12:00 People: David OBrien, Sumon Biswas, Sayem Mohammad Imtiaz, Rabe Abdalkareem, Emad Shihab, Hridesh Rajan
… mined 68,820 self-admitted technical debts (SATD) from all the revisions …
No More Fine-Tuning? An Experimental Evaluation of Prompt Tuning in Code Intelligence
Research Papers When: Tue 15 Nov 2022 11:15 - 11:30 People: Chaozheng Wang, Yuanhang Yang, Cuiyun Gao, Yun Peng, Hongyu Zhang, Michael Lyu
… outperforms fine-tuning in all three tasks. In addition, prompt tuning shows great …
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
ESEC/FSE 2021 When: Tue 15 Nov 2022 14:30 - 14:45 People: Yuqi Chen, Chris Poskitt, Jun Sun
… with near-100% accuracy, and thus could detect all 120 effective code mutations that we …
Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis
Research Papers People: Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su
… oracles for Android apps exist, and they are all specific to limited types …
Context-Aware Code Change Embedding for Better Patch Correctness Assessment
Journal First When: Tue 15 Nov 2022 10:45 - 11:00 People: Bo Lin, Shangwen Wang, Ming Wen, Xiaoguang Mao
… Despite the capability in successfully fixing more and more real-world bugs, existing Automated Program Repair (APR) techniques are still challenged by the long-standing overfitting problem (\ie a generated patch that passes all tests …
The Best of Both Worlds: Integrating Semantic Features with Expert Features for Defect Prediction and Localization
Research Papers People: Chao Ni, Wei Wang, Kaiwen Yang, Xin Xia, Kui Liu, David Lo
… results indicate that JIT-Fine can outperform all state-of-the-art baselines on both …
Workgraph: Personal Focus vs. Interruption for Engineers at Meta
Industry Paper When: Wed 16 Nov 2022 11:00 - 11:15 People: Yifen Chen, Peter Rigby, Yulin Chen, Kun Jiang, Nader Dehghani, Qianying Huang, Peter Cottle, Clayton Andrews, Noah Lee, Nachiappan Nagappan
… All engineers dislike interruptions because it takes away from the deep focus time needed to write complex code. Our goal is to reduce unnecessary interruptions at \Meta. We first describe our Workgraph platform that logs how engineers use …
NeuDep: Neural Binary Memory Dependence Analysis
Research Papers When: Wed 16 Nov 2022 11:00 - 11:15 People: Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
… patterns, learns function signatures, and is able to match indirect calls. All …
On Safety, Assurance, and Reliability: A Software Engineering Perspective (Keynote)
Plenary Events When: Wed 16 Nov 2022 16:00 - 17:30 People: Marsha Chechik
… : “the system should detect all pedestrians at a crossing”, these requirements …