ASE 2022
228 papers
- 'Who built this crap?' Developing a Software Engineering Domain Specific Toxicity Detector
- A Comprehensive Evaluation of Android ICC Resolution Techniques
- A Drift Handling Approach for Self-Adaptive ML Software in Scalable Industrial Processes
- A First Look at CI/CD Adoptions in Open-Source Android Apps
- A Framework for Testing Chemical Reaction Networks
- A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications
- A Light Bug Triage Framework for Applying Large Pre-trained Language Model
- A Novel Coverage-guided Greybox Fuzzing based on Power Schedule Optimization with Time Complexity
- A Review of AI-augmented End-to-End Test Automation Tools
- A Role Based Model Template for Specifying Virtual Reality Software
- A Scenario Distribution Model for Effective and Efficient Testing of Autonomous Driving Systems
- A Study of User Privacy in Android Mobile AR Apps
- A Transferable Time Series Forecasting Service Using Deep Transformer Model for Online Systems
- A Unified Specification Mining Framework for Smart Contracts
- A fault injection platform for learning AIOps models
- A model for automatic generating reusable code from multiple GUIs
- A real-world case study for automated ticket team assignment using natural language processing and explainable models
- A transformer-based IDE plugin for vulnerability detection
- ADEPT: A Testing Platform for Simulated Autonomous Driving
- AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models
- ASTOR: An Approach to Identify Security Code Reviews
- AUSERA: Automated Security Vulnerability Detection for Android Apps
- Accelerating Build Dependency Error Detection via Virtual Build
- Accelerating OCR-Based Widget Localization for Test Automation of GUI Applications
- An Empirical Study of Automation in Software Security Patch Management
- An Empirical Study on Numerical Bugs in Deep Learning Programs
- Answer Summarization for Technical Queries: Benchmark and New Approach
- Answering Software Deployment Questions via Neural Machine Reading at Scale
- AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE
- Application of Natural Language Processing Towards Autonomous Software Testing
- Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
- Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions
- Assessment of Automated (Intelligent) Toolchains
- Augur: Dynamic Taint Analysis for Asynchronous JavaScript
- Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems
- Automated Feedback Generation for Competition-Level Code
- Automated Identification of Security-Relevant Configuration Settings Using NLP
- Automatic Code Documentation Generation Using GPT-3
- Automatic Comment Generation via Multi-Pass Deliberation
- Automatic Generation of Visualizations for Machine Learning Pipelines
- Automatic Software Timing Attack Evaluation & Mitigation on Clear Hardware Assumption
- Automatically Detecting Visual Bugs in HTML5 Canvas Games
- Automatically Fixing Breaking Changes of Data Science Libraries
- Automatically Tagging the "AAA" Pattern in Unit Test Cases Using Machine Learning Models
- B-AIS: An Automated Process for Black-box Evaluation of Visual Perception in AI-enabled Software against Domain Semantics
- Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach
- Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method
- BuildSonic: Detecting and Repairing Performance-Related Configuration Smells for Continuous Integration Builds
- Building recommenders for modelling languages with Droid
- CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture
- CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
- Call Graph Evolution Analytics over a Version Series of an Evolving Software System
- Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints
- Checking LTL Satisfiability via End-to-end Learning
- Code Understanding Linter to Detect Variable Misuse
- CoditT5: Pretraining for Source Code and Natural Language Editing
- Compiler Testing using Template Java Programs
- Compressing Pre-trained Models of Code into 3 MB
- Consistent Scene Graph Generation by Constraint Optimization
- Constructing a System Knowledge Graph of User Tasks and Failures from Bug Reports to Support Soap Opera Testing
- Cornucopia : A Framework for Feedback Guided Generation of Binaries
- Coverage-based Greybox Fuzzing with Pointer Monitoring for C Programs
- CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
- Dancing, not Wrestling: Moving from Compliance to Concordance for Secure Software Development
- Data Augmentation for Improving Emotion Recognition in Software Engineering Communication
- Data Leakage in Notebooks: Static Detection and Better Processes
- DeepPerform: An Efficient Approach for Performance Testing of Resource-Constrained Neural Networks
- Design-Space Exploration for Decision-Support Software
- Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
- Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis
- Detecting Inconsistencies in If-Condition-Raise Statements
- Detecting Semantic Code Clones by Building AST-based Markov Chains Model
- Differentially Testing Database Transactions for Fun and Profit
- Do Regional Variations Affect the CAPTCHA User Experience? A Comparison of CAPTCHAs in China and the United States
- DyTRec: A Dynamic Testing Recommendation tool for Unity-based Virtual Reality Software
- E-MANAFA: Energy Monitoring and ANAlysis tool For Android
- ESAVE: Estimating Server and Virtual Machine Energy
- Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing
- Efficient Greybox Fuzzing to Detect Memory Errors
- Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification
- ElecDaug: Electromagnetic Data Augmentation for Model Repair based on Metamorphic Relation
- Empirical Study of System Resources Abused by IoT Attackers
- End-to-End Rationale Reconstruction
- Enhancing the security of gaming transactions using blockchain technology
- Enriching Compiler Testing with Real Program from Bug Report
- Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation
- Execution Path Detection through Dynamic Analysis in Black-Box Testing Environments
- Explaining the Behaviour of Game Agents Using Differential Comparison
- Exploiting Epochs and Symmetries in Analysing MPI Programs
- Extraction and Management of Rationale
- Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning
- Few-shot training LLMs for project-specific code-summarization
- Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot
- Finding and Understanding Incompleteness Bugs in SMT Solvers
- FlexType: A Plug-and-Play Framework for Type Inference Models
- FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures
- Fuzzle: Making a Puzzle for Fuzzers
- GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
- Generalizability of Code Clone Detection on CodeBERT
- Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns
- Global Decision Making Over Deep Variability in Feedback-Driven Software Development
- Graph based Incident Extraction and Diagnosis in Large-Scale Online Systems
- Griffin : Grammar-Free DBMS Fuzzing
- Groundhog: An Automated Accessibility Crawler for Mobile Apps
- HTFuzz: Heap Operation Sequence Sensitive Fuzzing
- Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing
- Horntinuum: Autonomous Testing using Constrained Horn Clauses
- How Readable is Model-generated Code? Examining Readability and Visual Inspection of GitHub Copilot
- How Useful is Code Change Information for Fault Localization in Continuous Integration?
- How students choose names: A replication study
- HyperAST: Enabling Efficient Analysis of Software Histories at Scale
- ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
- Identification and Mitigation of Gender Biases to Promote Diversity and Inclusion among Open Source Communities
- Identification and Mitigation of Toxic Communications Among Open Source Software Developers
- Identifying Sexism and Misogyny in Pull Request Comments
- Identifying Solidity Smart Contract API Documentation Errors
- Inline Tests
- Insight: Exploring Cross-Ecosystem Vulnerability Impacts
- Intelligent Code Review Assignment for Large Scale Open Source Software Stacks
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
- Is this Change the Answer to that Problem?: Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness
- Jasmine: A Static Analysis Framework for Spring Core Technologies
- Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage
- LISSA: Lazy Initialization with Specialized Solver Aid
- LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
- Learning Contract Invariants Using Reinforcement Learning
- Learning to Construct Better Mutation Faults
- Learning to Synthesize Relational Invariants
- Leveraging Artificial Intelligence on Binary Code Comprehension
- Leveraging Practitioners' Feedback to Improve a Security Linter
- LiveRef: a Tool for Live Refactoring Java Code
- Low-Resources Project-Specific Code Summarization
- MCDA Framework for Edge-Aware Multi-Cloud Hybrid Architecture Recommendation
- MV-HAN: A Hybrid Attentive Networks based Multi-View Learning Model for Large-scale Contents Recommendation
- Maktub: Lightweight Robot System Test Creation and Automation
- MalWhiteout: Reducing Label Errors in Android Malware Detection
- Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues
- Morest: Industry Practice of Automatic RESTful API Testing
- Multi-objective Optimization-based Bug-fixing Template Mining for Automated Program Repair
- Namesake: A Checker of Lexical Similarity in Identifier Names
- Natural Test Generation for Precise Testing of Question Answering Software
- Neuroevolution-Based Generation of Tests and Oracles for Games
- Next Syntactic-Unit Code Completion and Applications
- Not All Dependencies are Equal: An Empirical Study on Production Dependencies in NPM
- On the Naturalness of Bytecode Instructions
- Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows
- PRCBERT: Prompt Learning for Requirement Classification using BERT-based Pretrained Language Models
- Patching Weak Convolutional Neural Network Models through Modularization and Composition
- Precise (Un)Affected Version Analysis for Web Vulnerabilities
- PredART: Towards Automatic Oracle Prediction of Object Placements in Augmented Reality Testing
- Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection
- Prioritized Constraint-Aided Dynamic Partial-Order Reduction
- Privacy Analysis of Period Tracking Mobile Apps in the Post-Roe v. Wade Era
- Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code
- Property-Based Automated Repair of DeFi Protocols
- Prototyping Deep Learning Applications with Non-Experts: An Assistant Proposition
- Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
- QATest: A Uniform Fuzzing Framework for Question Answering Systems
- QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
- Quacky: Quantitative Access Control Permissiveness Analyzer✱
- RESTCluster: Automated Crash Clustering for RESTful API
- Rank Learning-Based Code Readability Assessment with Siamese Neural Networks
- Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach
- Reflecting on Recurring Failures in IoT Development
- Repairing Failure-inducing Inputs with Input Reflection
- Research on Test Flakiness: from Unit to System Testing
- Right to Know, Right to Refuse: Towards UI Perception-Based Automated Fine-Grained Permission Controls for Android Apps
- RoboSimVer: A Tool for RoboSim Modeling and Analysis
- Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets
- SA4U: Practical Static Analysis for Unit Type Error Detection
- SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems
- SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation
- Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment
- Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel
- Scaling Arbitrary Android App Analyses
- Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps
- Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation
- SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics
- Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair
- Simulating cyber security management: A gamified approach to executive decision making
- SmOOD: Smoothness-based Out-of-Distribution Detection Approach for Surrogate Neural Networks in Aircraft Design
- Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics
- So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack
- Software Evolution Management with Differential Facts
- Sorry, I don't Understand: Improving Voice User Interface Testing
- StandUp4NPR: Standardizing SetUp for Empirically Comparing Neural Program Repair Systems
- Static Type Recommendation for Python
- Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating
- SymFusion: Hybrid Instrumentation for Concolic Execution
- Taming Multi-Output Recommenders for Software Engineering
- Test-Driven Multi-Task Learning with Functionally Equivalent Code Transformation for Neural Code Generation
- The Metamorphosis: Automatic Detection of Scaling Issues for Mobile Apps
- ThirdEye: Attention Maps for Safe Autonomous Driving Systems
- Too Much Accessibility is Harmful! Automated Detection and Analysis of Overly Accessible Elements in Mobile Apps
- Toward Improving the Robustness of Deep Learning Models via Model Transformation
- Towards Agent-Based Testing of 3D Games using Reinforcement Learning
- Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts
- Towards Generating Labeled Property Graphs for Comprehending C#-based Software Projects
- Towards Gradual Multiparty Session Typing
- Towards Improving Code Review Effectiveness Through Task Automation
- Towards Improving the Adoption and Usage of National Digital Identity Systems
- Towards Robust Models of Code via Energy-Based Learning on Auxiliary Datasets
- Towards Understanding Third-party Library Dependency in C/C++ Ecosystem
- Towards Understanding the Faults of JavaScript-Based Deep Learning Systems
- Towards Understanding the Runtime Performance of Rust
- Towards Using Data-Influence Methods to Detect Noisy Samples in Source Code Corpora
- Towards a Live Environment for Code Refactoring
- Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design
- TransRepair: Context-aware Program Repair for Compilation Errors
- Transfer learning of cars behaviors from reality to simulation applications
- TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair
- TreeCen: Building Tree Graph for Scalable Semantic Code Clone Detection
- Trimmer: Context-Specific Code Reduction
- Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
- Understanding and Predicting Docker Build Duration: An Empirical Study of Containerized Workflow of OSS Projects
- Unsupervised Summarization of Privacy Concerns in Mobile Application Reviews
- Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing
- Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery
- V-Achilles: An Interactive Visualization of Transitive Security Vulnerabilities
- VITAS : Guided Model-based VUI Testing of VPA Apps
- Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking
- WebMonitor: Verification of Web User Interfaces
- Which Exception Shall We Throw?
- XSA: eXplainable Self-Adaptation
- Xscope: Hunting for Cross-Chain Bridge Attacks
- ecoCode: a SonarQube Plugin to Remove Energy Smells from Android Projects
- reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications
- smartPip: A Smart Approach to Resolving Python Dependency Conflict Issues