yusuke1997/dblp-id-title huggingface dataset:
Today's Cat Is Tomorrow's Dog: Accounting for Time-Based Changes in the Labels of ML Vulnerability Detection Approaches
Shadows in the Interface: A Comprehensive Study on Dark Patterns
HornBro: Homotopy-Like Method for Automated Quantum Program Repair
Dynamically Fusing Python HPC Kernels
BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models
Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
Automated Attack Synthesis for Constant Product Market Makers
Reinforcement Learning-Based Fuzz Testing for the Gazebo Robotic Simulator
Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge: Feasibility, Challenges, and Road Ahead
Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis
A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings
The Incredible Shrinking Context... in a Decompiler Near You
Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-orchestration
Towards Efficient Verification of Constant-Time Cryptographic Implementations
Model Checking Guided Incremental Testing for Distributed Systems
DyLin: A Dynamic Linter for Python
Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-Coded Credentials
CrossProbe: LLM-Empowered Cross-Project Bug Detection for Deep Learning Frameworks
Robust Vulnerability Detection across Compilations: LLVM-IR vs. Assembly with Transformer Model
TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle
WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery
PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages
Detecting Isolation Anomalies in Relational DBMSs
Core Developer Turnover in the Rust Package Ecosystem: Prevalence, Impact, and Awareness
"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
Smaller but Better: Self-Paced Knowledge Distillation for Lightweight yet Effective LCMs
An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
Adapting Multi-objectivized Software Configuration Tuning
Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
Scientific Open-Source Software Is Less Likely to Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software
GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs
Automated Test Transfer across Android Apps using Large Language Models
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems
ROSCallBaX: Statically Detecting Inconsistencies in Callback Function Setup of Robotic Systems
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation
Tracezip: Efficient Distributed Tracing via Trace Compression
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations
CoverUp: Effective High Coverage Test Generation for Python
DuoReduce: Bug Isolation for Multi-layer Extensible Compilation
FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
AI-Assisted Code Authoring at Scale: Fine-Tuning, Deploying, and Mixed Methods Evaluation
Bounding Random Test Set Size with Computational Learning Theory
RegTrieve: Reducing System-Level Regression Errors for Machine Learning Systems via Retrieval-Enhanced Ensemble
The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation
Hallucination Detection in Large Language Models with Metamorphic Relations
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
Investigating Documented Privacy Changes in Android OS
A Deep Dive into Large Language Models for Automated Bug Localization and Repair
Type-Alias Analysis: Enabling LLVM IR with Accurate Types
Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS
Validating Network Protocol Parsers with Traceable RFC Document Interpretation
Empirically Evaluating the Impact of Object-Centric Breakpoints on the Debugging of Object-Oriented Programs
Testing the Fault-Tolerance of Multi-sensor Fusion Perception in Autonomous Driving Systems
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
Semi-supervised Crowdsourced Test Report Clustering via Screenshot-Text Binding Rules
NLP Libraries, Energy Consumption and Runtime: An Empirical Study
Natural Is the Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models
On the Characteristics and Impacts of Protestware Libraries
Alert Summarization for Online Service Systems by Validating Propagation Paths of Faults
Can GPT-4 Replicate Empirical Software Engineering Research?
Mitigating Emergent Malware Label Noise in DNN-Based Android Malware Detection
PDCAT: Preference-Driven Compiler Auto-tuning
Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications
Towards Diverse Program Transformations for Program Simplification
Understanding Debugging as Episodes: A Case Study on Performance Bugs in Configurable Software Systems
Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance without Consumer Code
State Reconciliation Defects in Infrastructure as Code
Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG
Demystifying Invariant Effectiveness for Securing Smart Contracts
Detecting Metadata-Related Bugs in Enterprise Applications
Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts
ALMOND: Learning an Assembly Language Model for 0-Shot Code Obfuscation Detection
DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification
An Empirical Study of Suppressed Static Analysis Warnings
Error Delayed Is Not Error Handled: Understanding and Fixing Propagated Error-Handling Bugs
Ransomware Detection through Temporal Correlation between Encryption and I/O Behavior
CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building
Automatically Fixing Dependency Breaking Changes
Learning to Detect and Localize Multilingual Bugs
Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution
Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing
Detecting and Handling WoT Violations by Learning Physical Interactions from Device Logs
Directed Testing in MLIR: Unleashing Its Potential by Overcoming the Limitations of Random Fuzzing
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code
Pinning Is Futile: You Need More Than Local Dependency Versioning to Defend against Supply Chain Attacks
Cross-System Categorization of Abnormal Traces in Microservice-Based Systems via Meta-Learning
Towards Understanding Docker Build Faults in Practice: Symptoms, Root Causes, and Fix Patterns
Go Static: Contextualized Logging Statement Generation
DTD: Comprehensive and Scalable Testing for Debuggers
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion
Beyond PEFT: Layer-Wise Optimization for More Effective and Efficient Large Code Model Tuning
Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning
RePurr: Automated Repair of Block-Based Learners' Programs
Who Will Stop Contributing to OSS Projects? Predicting Company Turnover Based on Initial Behavior
SmartNote: An LLM-Powered, Personalised Release Note Generator That Just Works
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
Clone Detection for Smart Contracts: How Far Are We?
CORE: Resolving Code Quality Issues using LLMs
ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems
Enhancing Web Accessibility: Automated Detection of Issues with Generative AI
De-duplicating Silent Compiler Bugs via Deep Semantic Representation
xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
BRF: Fuzzing the eBPF Runtime
BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
MendelFuzz: The Return of the Deterministic Stage
Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
How Do Programming Students Use Generative AI?
LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models
Code Change Intention, Development Artifact, and History Vulnerability: Putting Them Together for Vulnerability Fix Detection by LLM
Rocks Coding, Not Development: A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks
Zero-Shot Cross-Domain Code Search without Fine-Tuning
Bridge the Islands: Pointer Analysis for Microservice Systems
Revolutionizing Newcomers' Onboarding Process in OSS Communities: The Future AI Mentor
MoDitector: Module-Directed Testing for Autonomous Driving Systems
Calibration of Large Language Models on Code Summarization
CodePlan: Repository-Level Coding using LLMs and Planning
Software Fairness Dilemma: Is Bias Mitigation a Zero-Sum Game?
On the Contents and Utility of IoT Cybersecurity Guidelines
UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions
Adaptive Random Testing with Q-grams: The Illusion Comes True
Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic
DeciX: Explain Deep Learning Based Code Generation Applications
Code Red! On the Harmfulness of Applying Off-the-Shelf Large Language Models to Programming Tasks
COFFE: A Code Efficiency Benchmark for Code Generation
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
Extended Reality Cybersickness Assessment via User Review Analysis
Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
Less Is More: On the Importance of Data Quality for Unit Test Generation
Evolutionary Multi-objective Optimization for Contextual Adversarial Example Generation
ICEPRE: ICS Protocol Reverse Engineering via Data-Driven Concolic Execution
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions
CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift
It's Acting Odd! Exploring Equivocal Behaviors of Goodware
Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-task Learning
IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models
AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
NADA: Neural Acceptance-Driven Approximate Specification Mining
Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles
Eliminating Backdoors in Neural Code Models for Secure Code Understanding
STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs
AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
FANDANGO: Evolving Language-Based Testing
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software
Dynamic Taint Tracking for Modern Java Virtual Machines
Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Blended Analysis for Predictive Execution
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation
CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction
Effective REST APIs Testing with Error Message Analysis
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation
COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings
Automated Extraction and Analysis of Developer's Rationale in Open Source Software
On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques
Understanding and Detecting Annotation-Induced Faults of Static Analyzers
Teaching AI the 'Why' and 'How' of Software Vulnerability Fixes
Towards Understanding Performance Bugs in Popular Data Science Libraries
Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers
An Empirical Study of Bugs in Data Visualization Libraries
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers
Improving Graph Learning-Based Fault Localization with Tailored Semi-supervised Learning
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection
PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Enhanced Prompting Framework for Code Summarization with Large Language Models
Automated Recognition of Buggy Behaviors from Mobile Bug Reports
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Apps
Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models
Decomposing Software Verification using Distributed Summary Synthesis
Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators
VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
Abstraction-Aware Inference of Metamorphic Relations
Element-Based Automated DNN Repair with Fine-Tuned Masked Language Model
DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models
LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Integrating Large Language Models and Reinforcement Learning for Non-linear Reasoning
Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection
ConTested: Consistency-Aided Tested Code Generation with LLM
Bridging the Gaps between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better
Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
Medusa: A Framework for Collaborative Development of Foundation Models with Automated Parameter Ownership Assignment
Has My Code Been Stolen for Model Training? A Naturalness Based Approach to Code Contamination Detection
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations
BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection
A Causal Learning Framework for Enhancing Robustness of Source Code Models
How to Gain Commit Rights in Modern Top Open Source Communities?
SmartShot: Hunt Hidden Vulnerabilities in Smart Contracts using Mutable Snapshots
Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
QSF: Multi-objective Optimization Based Efficient Solving for Floating-Point Constraints
Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation
Java JIT Testing with Template Extraction
Static Program Reduction via Type-Directed Slicing
A Knowledge Enhanced Large Language Model for Bug Localization
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle
DyPyBench: A Benchmark of Executable Python Software
Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems
A Large-Scale Empirical Study on Fine-Tuning Large Language Models for Unit Testing
Gamifying Testing in IntelliJ: A Replicability Study
JIT-Smart: A Multi-task Learning Framework for Just-in-Time Defect Prediction and Localization
Harnessing Neuron Stability to Improve DNN Verification
Intention-Based GUI Test Migration for Mobile Apps using Large Language Models
Mobile Bug Report Reproduction via Global Search on the App UI Model
SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach
LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts
KEENHash: Hashing Programs into Function-Aware Embeddings for Large-Scale Binary Code Similarity Analysis
ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement
REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
Uncovering API-Scope Misalignment in the App-in-App Ecosystem
AROMA: Automatic Reproduction of Maven Artifacts
Dissecting Real-World Cross-Language Bugs
Automated and Accurate Token Transfer Identification and Its Applications in Cryptocurrency Security
Walls Have Ears: Demystifying Notification Listener Usage in Android Apps
Automated Unit Test Refactoring
Causality-Aided Evaluation and Explanation of Large Language Model-Based Code Generation
Partial Solution Based Constraint Solving Cache in Symbolic Execution
An Empirical Study on Code Review Activity Prediction and Its Impact in Practice
ChatDBG: Augmenting Debugging with Large Language Models
On-Demand Scenario Generation for Testing Automated Driving Systems
No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model
Understanding Practitioners' Expectations on Clear Code Review Comments
DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
CKTyper: Enhancing Type Inference for Java Code Snippets by Leveraging Crowdsourcing Knowledge in Stack Overflow
Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection
More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
Preventing Disruption of System Backup against Ransomware Attacks
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
KRAKEN: Program-Adaptive Parallel Fuzzing
Expressing and Checking Statistical Assumptions
10 Years Later: Revisiting How Developers Search for Code
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs
Towards AI-Assisted Synthesis of Verified Dafny Methods
Can LLMs Replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering
ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing
Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation
LogBase: A Large-Scale Benchmark for Semantic Log Parsing
SemBIC: Semantic-Aware Identification of Bug-Inducing Commits
Mystique: Automated Vulnerability Patch Porting with Semantic and Syntactic-Enhanced LLM
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications
Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
MLLM-Based UI2Code Automation Guided by UI Layout Information
Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective
Recasting Type Hints from WebAssembly Contracts
Protecting Privacy in Software Logs: What Should Be Anonymized?
A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
An Empirical Study of Code Clones from Commercial AI Code Generators
LILAC: Log Parsing using LLMs with Adaptive Parsing Cache
Towards Better Graph Neural Network-Based Fault Localization through Enhanced Code Representation
Are Autonomous Web Agents Good Testers?
Evaluating and Improving ChatGPT for Unit Test Generation
QTRAN: Extending Metamorphic-Oracle Based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach
DiffCoder: Enhancing Large Language Model on API Invocation via Analogical Code Exercises
LogSD: Detecting Anomalies from System Logs through Self-Supervised Learning and Frequency-Based Masking
SoK: A Taxonomic Analysis of DeFi Rug Pulls: Types, Dataset, and Tool Assessment
Large Language Models for In-File Vulnerability Localization Can Be "Lost in the End"
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Divide-and-Conquer: Generating UI Code from Screenshots
RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
Understanding and Characterizing Mock Assertions in Unit Tests
R2I: A Relative Readability Metric for Decompiled Code
Impact of Request Formats on Effort Estimation: Are LLMs Different Than Humans?
Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings
Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis
Recurring Vulnerability Detection: How Far Are We?
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems
OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution
Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper)
The Struggles of LLMs in Cross-Lingual Code Clone Detection
Understanding Developers' Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem