yusuke1997/dblp-id-title huggingface dataset:
Measuring Task Conflict and Person Conflict in Software Testing
TokenAware: Accurate and Efficient Bookkeeping Recognition for Token Smart Contracts
Efficient Multivariate Time Series Anomaly Detection through Transfer Learning for Large-Scale Software Systems
Fine-grained Coverage-based Fuzzing
Accounting for defect characteristics in evaluations of testing techniques
Measuring and Modeling Group Dynamics in Open-Source Software Development: A Tensor Decomposition Approach
Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures
BatFix: Repairing language model-based transpilation
Formal interpreters for diagram notations
Beyond Dependencies: The Role of Copy-Based Reuse in Open Source Software Development
Large Language Model Supply Chain: A Research Agenda
Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs
Modular Tree Network for Source Code Representation Learning
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities
Unified and Split Symbolic Execution for Exposing Semantic Differences
Guided Feature Identification and Removal for Resource-constrained Firmware
Directed Incremental Symbolic Execution
Enablers and Barriers of Empathy in Software Developer and User Interactions: A Mixed Methods Case Study
Measuring and Clustering Heterogeneous Chatbot Designs
Do we need to handle every temporal violation in scientific workflow systems?
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Mobile UNITY: Reasoning and Specification in Mobile Computing
LLM for Mobile: An Initial Roadmap
XCode: Towards Cross-Language Code Representation with Large-Scale Pre-Training
TG-CUP: A Transformer and GNN-Based Multi-Modal Comment Updating Method
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search
Relevant Information in TDD Experiment Reporting
CARL: Unsupervised Code-Based Adversarial Attacks for Programming Language Models via Reinforcement Learning
Comments on "The Cost of Selective Recompilation and Environment Processing"
A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components
LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing
Adopting Two Supervisors for Efficient Use of Large-Scale Remote Deep Neural Networks - RCR Report
Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization
Graded Refinement, Retrenchment, and Simulation
Type checking annotation-based product lines
Let's Discover More API Relations: A Large Language Model-Based AI Chain for Unsupervised API Relation Inference
Software Engineering for AI-Based Systems: A Survey
Towards Learning Generalizable Code Embeddings Using Task-agnostic Graph Convolutional Networks
What Constitutes the Deployment and Runtime Configuration System? An Empirical Study on OpenStack Projects
Verification across Intellectual Property Boundaries
On the Discoverability of npm Vulnerabilities in Node.js Projects
Conjunction as Composition
Context-Aware Fuzzing for Robustness Enhancement of Deep Learning Models
The Virtual Developer: Integrating Code Generation and Manual Development with Conflict Resolution
Twenty Years Later: Evaluating the Adoption of Control Flow Integrity
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
Assessing the Robustness of Test Selection Methods for Deep Neural Networks
Contemporary Software Modernization: Strategies, Driving Forces, and Research Opportunities
Identifying the Failure-Revealing Test Cases in Metamorphic Testing: A Statistical Approach
A Comparative Study on Method Comment and Inline Comment
Linear Programming as a Baseline for Software Effort Estimation
Demystifying React Native Android Apps for Static Analysis
LLM-Based Multi-Agent Systems for Software Engineering: Literature Review, Vision, and the Road Ahead
LLM-Powered Static Binary Taint Analysis
Feature Matching-based Approaches to Improve the Robustness of Android Visual GUI Testing
Automation in Model-Driven Engineering: A Look Back, and Ahead
Join point interfaces for safe and flexible decoupling of aspects
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada
A Simplified Domain-Testing Strategy
MTL-TRANSFER: Leveraging Multi-task Learning and Transferred Knowledge for Improving Fault Localization and Program Repair
Practical Constraint Solving for Generating System Test Data
Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues
Multi-Objective Optimization of Energy Consumption of GUIs in Android Apps
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP
Adopting Two Supervisors for Efficient Use of Large-Scale Remote Deep Neural Networks
Generating Testing and Analysis Tools with Aria
A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
Keeper: Automated Testing and Fixing of Machine Learning Software
Repairs and Breaks Prediction for Deep Neural Networks
Enhancing Search-based Testing with Testability Transformations for Existing APIs
Abstracting dependencies between software configuration items
The Desert environment
Safety of Perception Systems for Automated Driving: A Case Study on Apollo
I Depended on You and You Broke Me: An Empirical Study of Manifesting Breaking Changes in Client Packages
Design and implementation of Sator: A web service aggregator
IDE 4 ICDS: A Human-Centric and Model-Driven Proposal to Improve the Digitization of Clinical Practice Guideline
Non-Flaky and Nearly Optimal Time-Based Treatment of Asynchronous Wait Web Tests
Test Selection for Deep Learning Systems
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software
An Empirical Study of the Non-Determinism of ChatGPT in Code Generation
Making Fault Localization in Online Service Systems More Actionable and Interpretable
PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing
Weak Alphabet Merging of Partial Behavior Models
When and How to Use Multilevel Modelling
PrIMe: A methodology for developing provenance-aware applications
Concurrency Debugging with Differential Schedule Projections
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
Are Multi-Language Design Smells Fault-Prone? An Empirical Study
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
Partial constraint checking for context consistency in pervasive computing
µOpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
Differentiable Quantum Programming with Unbounded Loops
RuMono: Fuzz Driver Synthesis for Rust Generic APIs
An Exploratory Study on Machine Learning Model Management
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems
Software Change Contracts
A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety
I Know What You Are Searching for: Code Snippet Recommendation from Stack Overflow Posts
Test-Equivalence Analysis for Automatic Patch Generation
PTM-APIRec: Leveraging Pre-trained Models of Source Code in API Recommendation
Consent Verification Monitoring
SURE: A Visualized Failure Indexing Approach Using Program Memory Spectrum
Formal Specification and Designof a Message Router
Testing Updated Apps by Adapting Learned Models
Improving Fault Localization with External Oracle by Using Counterfactual Execution
Editorial: A Retrospective and Prospective Reflection
Quantum Software Engineering: Roadmap and Challenges Ahead
A Generative Programming Framework for Context-Aware CSCW Applications
Automatic API Usage Scenario Documentation from Technical Q&A Sites
Demystifying Hidden Sensitive Operations in Android Apps
Key factors for adopting inner source
Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems
Modeling software architectures in the Unified Modeling Language
Self-Collaboration Code Generation via ChatGPT
An Empirical Study of Testing Machine Learning in the Wild
Automated Testing Linguistic Capabilities of NLP Models
Assessing Effectiveness of Test Suites: What Do We Know and What Should We Do?
Automatic testing equivalence verification of spi calculus specifications
Adaptive Modelling Languages: Abstract Syntax and Model Migration
Program Integration for Languages with Procedure Calls
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications
In-IDE Code Generation from Natural Language: Promise and Challenges
GraphPrior: Mutation-based Test Input Prioritization for Graph Neural Networks
Characterizing and Detecting WebAssembly Runtime Bugs
Prevalence of coincidental correctness and mitigation of its impact on fault localization
Functional Specification of Time-Sensitive Communicating Systems
Verification Witnesses
Runtime Fault Detection in Programmed Molecular Systems
Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers
Unveiling Elite Developers' Activities in Open Source Projects
Termination and Universal Termination Problems for Nondeterministic Quantum Programs
Boosting Compiler Testing via Compiler Optimization Exploration
A formal model for automated software modularity and evolvability analysis
Obfuscated Clone Search in JavaScript based on Reinforcement Subsequence Learning
A Study on Blockchain Architecture Design Decisions and Their Security Attacks and Threats
An Empirical Study of the Impact of Data Splitting Decisions on the Performance of AIOps Solutions
Technical Q8A Site Answer Recommendation via Question Boosting
Flexible consistency checking
Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing
HeMiRCA: Fine-Grained Root Cause Analysis for Microservices with Heterogeneous Data Sources
Video Game Bad Smells: What They Are and How Developers Perceive Them
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks
A generic model for reflective design
Unifying aspect- and object-oriented design
Exploring Semantic Redundancy using Backdoor Triggers: A Complementary Insight into the Challenges Facing DNN-based Software Vulnerability Detection
A comparative study of coarse- and fine-grained safe regression test-selection techniques
OSS Effort Estimation Using Software Features Similarity and Developer Activity-Based Metrics
SAFKASI: a security mechanism for language-based systems
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs
Smart Contract Repair
Privacy in Chatbot Conversation-Driven Development: A Comprehensive Review and Requirements Proposal
Automated Patch Transplantation
MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
Variable-based Fault Localization via Enhanced Decision Tree
Guided test generation for database applications via synthesized database interactions
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Exploring Parameter-Efficient Fine-Tuning Techniques for Code Generation with Large Language Models
Diversity's Double-Edged Sword: Analyzing Race's Effect on Remote Pair Programming Interactions
Nudge: Accelerating Overdue Pull Requests toward Completion
Control Explicit-Data Symbolic Model Checking
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Distinguishing LLM-Generated from Human-Written Code by Contrastive Learning
Some Seeds Are Strong: Seeding Strategies for Search-based Test Case Selection
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Testing RESTful APIs: A Survey
Seed Selection for Testing Deep Neural Networks
Reasoning about static and dynamic properties in alloy: A purely relational approach
Wrapper-based evolution of legacy information systems
An Empirical Study on the Relationship between Defects and Source Code's Unnaturalness
Software Engineering for Collective Cyber-Physical Ecosystems
Discovering Models of Software Processes from Event-Based Data
Facet-oriented Modelling
The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints
Open Problems in Fuzzing RESTful APIs: A Comparison of Tools
Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
A Time-Sensitive Object Model for Real-Time Systems
Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review
RAPID: Zero-Shot Domain Adaptation for Code Search with Pre-Trained Models
Adonis : Practical and Efficient Control Flow Recovery through OS-level Traces
ArchRepair : Block-Level Architecture-Oriented Repairing for Deep Neural Networks
Katana: Dual Slicing Based Context for Learning Bug Fixes
ADAM: External dependency-driven architecture discovery and analysis of quality attributes
Interprocedural control dependence
Software Security Analysis in 2030 and Beyond: A Research Roadmap
Generation of Formatters for Context-Free Languages
QuoTe: Quality-oriented Testing for Deep Learning Systems
Introducing Phylogenetics in Search-based Software Engineering: Phylogenetics-aware SBSE
Temporal abstract classes and virtual temporal specifications for real-time systems
Stress Testing Control Loops in Cyber-physical Systems
A Survey on Automated Driving System Testing: Landscapes and Trends
The Agile Success Model: A Mixed-methods Study of a Large-scale Agile Transformation
DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class
Temporal-Incremental Learning for Android Malware Detection
Revisiting the Identification of the Co-evolution of Production and Test Code
Software Architectural Migration: An Automated Planning Approach
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study
Reputation Gaming in Crowd Technical Knowledge Sharing
Architecting Internet of Things Systems with Blockchain: A Catalog of Tactics
What Is the Intended Usage Context of This Model? An Exploratory Study of Pre-Trained Models on Various Model Repositories
Women's Participation in Open Source Software: A Survey of the Literature
A scalable formal method for design and automatic checking of user interfaces
Modeling Mobile IP in Mobile UNITY
Analyzing and Detecting Information Types of Developer Live Chat Threads
Retrieving Reusable Software by Sampling Behaviour
Automatic Programming: Large Language Models and Beyond
FunFuzz: Greybox Fuzzing with Function Significance
Fault classes and error detection capability of specification-based testing
Testing of Deep Reinforcement Learning Agents with Surrogate Models
Evaluation of Software Architectures under Uncertainty: A Systematic Literature Review
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews
Dissecting American Fuzzy Lop: A FuzzBench Evaluation
Industry Practices for Challenging Autonomous Driving Systems with Critical Scenarios
Verifying security protocols with Brutus
Delta Algorithms: An Empirical Analysis
A Roadmap for Software Testing in Open-Collaborative and AI-Powered Era
Grammar Mutation for Testing Input Parsers - RCR Report
The impact of software engineering research on modern programming languages
Systematic Literature Review of Commercial Participation in Open Source Software
Testing Abstractions for Cyber-Physical Control Systems
The Lost World: Characterizing and Detecting Undiscovered Test Smells
FQN Inference in Partial Code by Prompt-tuned Language Model of Code
The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering
MULTICR: Predicting Merged and Abandoned Code Changes in Modern Code Review Using Multi-Objective Search
Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity
Recommending Who to Follow in the Software Engineering Twitter Space
Systematizing pragmatic software reuse
ZigZagFuzz: Interleaved Fuzzing of Program Options and Files
Runtime Verification for LTL and TLTL
SNIAFL: Towards a static noninteractive approach to feature location
Real-time Rectifying Flight Control Misconfiguration Using Intelligent Agent
The Human Side of Fuzzing: Challenges Faced by Developers during Fuzzing Activities
On Process Discovery Experimentation: Addressing the Need for Research Methodology in Process Discovery
Alloy: a lightweight object modelling notation
You Don't Have to Say Where to Edit! jLED - Joint Learning to Localize and Edit Source Code
Synthesizing nonanomalous event-based controllers for liveness goals
Survey of Code Search Based on Deep Learning
Poracle: Testing Patches under Preservation Conditions to Combat the Overfitting Problem of Program Repair
LiDetector: License Incompatibility Detection for Open Source Software
Signature Matching: A Tool for Using Software Libraries
Unveiling Code Pre-Trained Models: Investigating Syntax and Semantics Capacities
Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases
Battling against Protocol Fuzzing: Protecting Networked Embedded Devices from Dynamic Fuzzers
A Graphical Environment for the Design of Concurrent Real-Time Systems
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving
QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems
Deceiving Humans and Machines Alike: Search-based Test Input Generation for DNNs Using Variational Autoencoders
Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse
Lattice-Based Sampling for Path Property Monitoring
NSFuzz: Towards Efficient and State-Aware Network Service Fuzzing
Learning to Detect Memory-related Vulnerabilities
Addendum to "Delta Algorithms: An Empirical Analysis"
What's (Not) Working in Programmer User Studies?
A Systematic Literature Review of Multi-Label Learning in Software Engineering
Uncertainty-wise Requirements Prioritization with Search
A Hypothesis Testing-based Framework for Software Cross-modal Retrieval in Heterogeneous Semantic Spaces
Seeing the Whole Elephant: Systematically Understanding and Uncovering Evaluation Biases in Automated Program Repair
Aspect: Detecting Bugs with Abstract Dependences
A Characterization Study of Merge Conflicts in Java Projects
Combining symbolic execution with model checking to verify parallel numerical programs
DinoDroid: Testing Android Apps Using Deep Q-Networks
Vision Transformer Inspired Automated Vulnerability Repair
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
Context-based Transfer Learning for Structuring Fault Localization and Program Repair Automation
Automated abstraction of class diagrams
Structured Chain-of-Thought Prompting for Code Generation
VexIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity
How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction
APPL/A: A Language for Software Process Programming
Influential Global and Local Contexts Guided Trace Representation for Fault Localization
The Future of AI-Driven Software Engineering
DatAFLow: Toward a Data-Flow-Guided Fuzzer
Use case and task models: An integrated development methodology and its formal foundation
Fuzzing Configurations of Program Options
Understanding Developers Well-Being and Productivity: A 2-year Longitudinal Analysis during the COVID-19 Pandemic
Understanding and Analyzing Java Reflection
Using Relative Lines of Code to Guide Automated Test Generation for Python
DREAM: Debugging and Repairing AutoML Pipelines
psc2code: Denoising Code Extraction from Programming Screencasts
Exploring Better Black-Box Test Case Prioritization via Log Analysis
How Should I Improve the UI of My App?: A Study of User Reviews of Popular Apps in the Google Play
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
Types and modularity for implicit invocation with implicit announcement
The role of outcome feedback in improving the uncertainty assessment of software development effort estimates
Demo2Test: Transfer Testing of Agent in Competitive Environment with Failure Demonstrations
An Empirical Study of the Effectiveness of an Ensemble of Stand-alone Sentiment Detection Tools for Software Engineering Datasets
Parallel Test Prioritization
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?
Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis
An empirical investigation of software reuse benefits in a large telecom product
The Weights Can Be Harmful: Pareto Search versus Weighted Search in Multi-objective Search-based Software Engineering
Multi-valued symbolic model-checking
Fairness Concerns in App Reviews: A Study on AI-Based Mobile Apps
A Common Terminology for Software Risk Management
Introducing Interactions in Multi-Objective Optimization of Software Architectures
Reviewers 2002
The ABC of Software Engineering Research
Concept location using formal concept analysis and information retrieval
Why an Android App Is Classified as Malware: Toward Malware Classification Interpretation
Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems
Towards Practical Binary Code Similarity Detection: Vulnerability Verification via Patch Semantic Analysis
Harmonising Contributions: Exploring Diversity in Software Engineering through CQA Mining on Stack Overflow
A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience
Beyond Fidelity: Explaining Vulnerability Localization of Learning-Based Detectors
Toward Interpretable Graph Tensor Convolution Neural Network for Code Semantics Embedding
Enabledness-based program abstractions for behavior validation
Object-Oriented Logical Specification of Time-Critical Systems
Understanding and Combating Memory Bloat in Managed Data-Intensive Systems
Dealing with Belief Uncertainty in Domain Models
An Empirical Study on GitHub Pull Requests' Reactions
On the Caching Schemes to Speed Up Program Reduction
Signal Feature Coverage and Testing for CPS Dataflow Models
Extraction of Phrase-based Concepts in Vulnerability Descriptions through Unsupervised Labeling
Adaptive Hypermutation for Search-Based System Test Generation: A Study on REST APIs with EvoMaster
ALL: Supporting Experiential Accessibility Education and Inclusive Software Development
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems
FEMOSAA: Feature-Guided and Knee-Driven Multi-Objective Optimization for Self-Adaptive Software
Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model
A Unified Test Case Prioritization Approach
KADEL: Knowledge-Aware Denoising Learning for Commit Message Generation
LLM App Store Analysis: A Vision and Roadmap
DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network
Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery
Autonomous Driving System Testing via Diversity-Oriented Driving Scenario Exploration