yusuke1997/dblp-id-title huggingface dataset:
Formalizing Style to Understand Descriptions of Software Architecture
Turnover of Companies in OpenStack: Prevalence and Rationale
A 2030 Roadmap for Software Engineering
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Do Current Language Models Support Code Intelligence for R Programming Language?
An Empirical Study of Developer Discussions in the Gitter Platform
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
The STATEMATE Semantics of Statecharts
Symbolic Message Sequence Charts
IntDroid: Android Malware Detection Based on API Intimacy Analysis
A methodology for testing spreadsheets
Classifying Mobile Applications Using Word Embeddings
An Algebraic Theory of Class Specification
Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution
Representing concerns in source code
HINNPerf: Hierarchical Interaction Neural Network for Performance Prediction of Configurable Systems
Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations
Verifix: Verified Repair of Programming Assignments
Finding Information Leaks with Information Flow Fuzzing
Leveraging Modular Architecture for Bug Characterization and Analysis in Automated Driving Software
Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search
Modular aspect-oriented design with XPIs
Code-Smell Detection as a Bilevel Problem
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency
TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination
Generating API Call Rules from Version History and Stack Overflow Posts
Bug Localization in Model-Based Systems in the Wild
Automated Commit Intelligence by Pre-training
Business Process Model Merging: An Approach to Business Process Consolidation
A Systematic Review of Automated Query Reformulations in Source Code Search
Method and developer characteristics for effective agile method tailoring: A study of XP expert opinion
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
On the Faults Found in REST APIs by Automated Test Generation
Handling SQL Databases in Automated System Test Generation
Examining Penetration Tester Behavior in the Collegiate Penetration Testing Competition
Reengineering of Configurations Based on Mathematical Concept Analysis
Managing Inconsistent Specifications: Reasoning, Analysis, and Action
Automating TODO-missed Methods Detection and Patching
Studying the Impact of TensorFlow and PyTorch Bindings on Machine Learning Software Quality
SourcererJBF: A Java Build Framework For Large-Scale Compilation
NLPLego: Assembling Test Generation for Natural Language Processing Applications
Taming Reflection: An Essential Step Toward Whole-program Analysis of Android Apps
Scaling predictive analysis of concurrent programs by removing trace redundancy
When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
Unified Versioning Through Feature Logic
Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement
Stateful Serverless Computing with Crucial
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches
Automated Mapping of Vulnerability Advisories onto their Fix Commits in Open Source Repositories
Multi-Criteria Code Refactoring Using Search-Based Software Engineering: An Industrial Case Study
Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts
A web-centred approach to end-user software engineering
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation
ZS4C: Zero-Shot Synthesis of Compilable Code for Incomplete Code Snippets Using LLMs
Challenges of Working from Home in Software Development During Covid-19 Lockdowns
Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software
An Experimental Study of Fault Detection In User Requirements Documents
Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware
Killing Two Birds with One Stone: Malicious Package Detection in NPM and PyPI using a Single Model of Malicious Behavior Sequence
CodeMatcher: Searching Code Based on Sequential Semantics of Important Query Words
GIST : Generated Inputs Sets Transferability in Deep Learning
PACE: A Program Analysis Framework for Continuous Performance Prediction
Neuron Semantic-Guided Test Generation for Deep Neural Networks Fuzzing
SimClone: Detecting Tabular Data Clones Using Value Similarity
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking
A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization
TAEFuzz: Automatic Fuzzing for Image-based Deep Learning Systems via Transferable Adversarial Examples
Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis
Automatically Identifying the Quality of Developer Chats for Post Hoc Use
Modeling and verifying hierarchical real-time systems using stateful timed CSP
Navigating the Complexity of Generative AI Adoption in Software Engineering - RCR Report
Investigations of the Software Testing Coupling Effect
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars
Open Source AI-based SE Tools: Opportunities and Challenges of Collaborative Software Learning
deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search
An Adaptive Search Budget Allocation Approach for Search-Based Test Case Generation
Correlating Automated and Human Evaluation of Code Documentation Generation Quality
Engineering Digital Systems for Humanity: A Research Roadmap
Recommending Adaptive Changes for Framework Evolution
Amplifying Tests to Validate Exception Handling Code: An Extended Study in the Mobile Application Domain
The Pan Language-Based Editing System
Paving a Path for a Combined Family of Feature Toggle and Configuration Option Research
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures
A slicing-based approach for locating type errors
Interpreting Deep Learning-based Vulnerability Detector Predictions Based on Heuristic Searching
In memoriam: David Notkin (1955-2013)
Automated Identification of Uniqueness in JUnit Tests
A Reference Architecture for the Component Factory
Mastering Variation in Human Studies: The Role of Aggregation
Automated deductive requirements analysis of critical systems
An Accurate Identifier Renaming Prediction and Suggestion Approach
A Survey of Source Code Search: A 3-Dimensional Perspective
HybridCISave: A Combined Build and Test Selection Approach in Continuous Integration
Feasibility of Stepwise Design of Multitolerant Programs
SCOPE : Performance Testing for Serverless Computing
Efficient and Effective Feature Space Exploration for Testing Deep Learning Systems
Test Case Prioritization Using Extended Digraphs
Predicting Patch Correctness Based on the Similarity of Failing Test Cases
UniLoc: Unified Fault Localization of Continuous Integration Failures
Context-aware Retrieval-based Deep Commit Message Generation
DiaPro: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness
Aspect-level Information Discrepancies across Heterogeneous Vulnerability Reports: Severity, Types and Detection Methods
Efficient and Green Large Language Models for Software Engineering: Literature Review, Vision, and the Road Ahead
Automated Detection of Client-State Manipulation Vulnerabilities
On Estimating the Feasible Solution Space of Multi-objective Testing Resource Allocation
A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems
Fine-Tuning Large Language Models to Improve Accuracy and Comprehensibility of Automated Code Review
Code Structure-Guided Transformer for Source Code Summarization
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
Editorial: Toward the Future with Eight Issues Per Year
Mae - a system model and environment for managing architectural evolution
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction
Coupling and cohesion metrics for knowledge-based systems using frames and rules
Automated Test Suite Generation for Software Product Lines Based on Quality-Diversity Optimization
A Comprehensive Empirical Study of Bias Mitigation Methods for Machine Learning Classifiers
Trading obliviousness for modularity with cooperative aspect-oriented programming
SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis
All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions
Non-Linear Software Documentation with Interactive Code Examples
Variability-Aware Static Analysis at Scale: An Empirical Study
Verdict functions in testing with a fault domain or test hypotheses
MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis
A Visual Model for Ada Tasking
My Fuzzers Won't Build: An Empirical Study of Fuzzing Build Failures
A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices
DSHGT : Dual-Supervisors Heterogeneous Graph Transformer - A Pioneer Study of Using Heterogeneous Graph Learning for Detecting Software Vulnerabilities
An Empirical Study on Vulnerability Disclosure Management of Open Source Software Systems
Context- and Fairness-Aware In-Process Crowdworker Recommendation
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering
Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning
A Safe, Efficient Regression Test Selection Technique
Model checking the Java metalocking algorithm
sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts
Arachne: Search-Based Repair of Deep Neural Networks
Towards Effective Detection of Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph
RE Methods for Virtual Reality Software Product Development: A Mapping Study
Generating Python Type Annotations from Type Inference: How Far Are We?
Toward Understanding FPGA Synthesis Tool Bugs
SMC: a symmetry-based model checker for verification of safety and liveness properties
Improving Source Code Pre-Training via Type-Specific Masking
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
Testing by Means of Inductive Program Learning
A Logic-Based Approach for the Verification of UML Timed Models
On test suite composition and cost-effective regression testing
Functional size measurement revisited
Scaling Up Symbolic Analysis by Removing Z-Equivalent States
Assessing and Analyzing the Correctness of GitHub Copilot's Code Suggestions
Hierarchical Program Paths
Deep Domain Adaptation With Max-Margin Principle for Cross-Project Imbalanced Software Vulnerability Detection
Industry-Academia Research Collaboration and Knowledge Co-creation: Patterns and Anti-patterns
Clone region descriptors: Representing and tracking duplication in source code
Estimating Semantic Relatedness in Source Code
JSimpo: Structural Deobfuscation of JavaScript Programs
Sustainable Software Engineering: Concepts, Challenges, and Vision
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems
Semantic self-assessment of query results in dynamic environments
IATT: Interpretation Analysis-based Transferable Test Generation for Convolutional Neural Networks
Testing Relative to Usage Scope: Revisiting Software Coverage Criteria
Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects
Building Integrated Software Development Environments Part I: Tool Specification
Uncovering Community Smells in Machine Learning-Enabled Systems: Causes, Effects, and Mitigation Strategies
With Great Power Comes Great Responsibility: The Role of Software Engineers
Task Dependence and Termination in Ada
Finite satisfiability of UML class diagrams with constrained class hierarchy
Empowering Agile-Based Generative Software Development through Human-AI Teamwork
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels
Reconciling Environment Integration and Software Evolution
Toward the Fractal Dimension of Classes
The impact of research on the development of middleware technology
Computing Similarity in a Reuse Library System: An AI-Based Approach
Verification of Program Transformations with Inductive Refinement Types
Automating Comment Generation for Smart Contract from Bytecode
The Case for Adaptive Security Interventions
The Larch/Smalltalk Interface Specification Language
The Co-evolution of the WordPress Platform and Its Plugins
Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency Analysis
How Are Multilingual Systems Constructed: Characterizing Language Use and Selection in Open-Source Multilingual Software
Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study
An Extractive-and-Abstractive Framework for Source Code Summarization
Parametric Timed Pattern Matching
Meta-Learning for Multi-Family Android Malware Classification
On the impact of UML analysis models on source-code comprehensibility and modifiability
Bitmap-Based Security Monitoring for Deeply Embedded Systems
Reducing the effort of bug report triage: Recommenders for development-oriented decisions
iSENSE2.0: Improving Completion-aware Crowdtesting Management with Duplicate Tagger and Sanity Checker
Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees
Modeling statecharts and activitycharts as signal equations
ROSE: An IDE-Based Interactive Repair Framework for Debugging
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs
Structuring Z Specifications with Views
On the Way to SBOMs: Investigating Design Issues and Solutions in Practice
Programming pervasive and mobile computing applications: The TOTA approach
Actor-Driven Decomposition of Microservices through Multi-level Scalability Assessment
A Continuous ASM Modelling Approach to Pacemaker Sensing
Characterizing Deep Learning Package Supply Chains in PyPI: Domains, Clusters, and Disengagement
Technical Debt Monitoring Decision Making with Skin in the Game
Designing and comparing automated test oracles for GUI-based software applications
Navigating the Complexity of Generative AI Adoption in Software Engineering
STADS: Software Testing as Species Discovery
Parameterized object sensitivity for points-to analysis for Java
LibAM: An Area Matching Framework for Detecting Third-Party Libraries in Binaries
Automated Reuse of Model Transformations through Typing Requirements Models
Type-Based Call Graph Construction Algorithms for Scala
From Triumph to Uncertainty: The Journey of Software Engineering in the AI Era
Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning
Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing"
Bash in the Wild: Language Usage, Code Smells, and Bugs
An empirical study of slice-based cohesion and coupling metrics
Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability
llasm: Naming Functions in Binaries by Fusing Encoder-only and Decoder-only LLMs
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006)
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
PRIME - Toward process-integrated modeling environments: 1
Estimation of Software Reliability by Stratified Sampling
The small-world effect: The influence of macro-level properties of developer collaboration networks on open-source project success
Test Case Minimization with Quantum Annealers
Understanding the Sources of Variation in Software Inspections
Analyzing Uncertainty in Release Planning: A Method and Experiment for Fixed-Date Release Cycles
Metamorphic Relation Generation: State of the Art and Research Directions
Solving the Search for Source Code
DeltaDroid: Dynamic Delivery Testing in Android
The Cost of Selective Recompilation and Environment Processing
Deep Reinforcement Learning for Black-box Testing of Android Apps
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications
Process modeling in Web applications
On the Reliability and Explainability of Language Models for Program Generation
An upper bound on software testing effectiveness
ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation
Decision Support Model for Selecting the Optimal Blockchain Oracle Platform: An Evaluation of Key Factors
Understanding the Helpfulness of Stale Bot for Pull-Based Development: An Empirical Study of 20 Large Open-Source Projects
Protecting privacy using the decentralized label model
DAISY: Dynamic-Analysis-Induced Source Discovery for Sensitive Data
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective
Poison Attack and Poison Detection on Deep Source Code Processing Models
Developing and Evaluating Objective Termination Criteria for Random Testing
TEESlice: Protecting Sensitive Neural Network Models in Trusted Execution Environments when Attackers Have Pre-Trained Models
A Formal Framework of Software Product Line Analyses
Software Engineering by and for Humans in an AI Era
Mutant Reduction Evaluation: What is There and What is Missing?
Toward Understanding Deep Learning Framework Bugs
Effective Hard Negative Mining for Contrastive Learning-Based Code Search
Precisely Extracting Complex Variable Values from Android Apps
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
A First Look at On-device Models in iOS Apps
Can Coverage Criteria Guide Failure Discovery for Image Classifiers? An Empirical Study
Large Language Model-Aware In-Context Learning for Code Generation
Leveraging Control Flow Knowledge in SMT Solving of Program Verification
Mitigating Debugger-based Attacks to Java Applications with Self-debugging
A Novel Refactoring and Semantic Aware Abstract Syntax Tree Differencing Tool and a Benchmark for Evaluating the Accuracy of Diff Tools
Patch Correctness Assessment: A Survey
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL
Testing Feedforward Neural Networks Training Programs
Isolation Modeling and Analysis Based on Mobility
Assessing the Refactoring of Brain Methods
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes
Fine-grained Coverage-based Fuzzing - RCR Report
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement
How Far Have We Progressed in Identifying Self-admitted Technical Debts? A Comprehensive Empirical Study
Model driven security: From UML models to access control infrastructures
Impact of software engineering research on the practice of software configuration management
Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
TopicAns: Topic-informed Architecture for Answer Recommendation on Technical Q&A Site
Semantic parameterization: A process for modeling domain descriptions
Assessing and Improving Malware Detection Sustainability through App Evolution Studies
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation
SLR: From Saltzer and Schroeder to 2021...47 Years of Research on the Development and Validation of Security API Recommendations
Hierarchical and Hybrid Organizational Structures in Open-source Software Projects: A Longitudinal Study
Automatic Core-Developer Identification on GitHub: A Validation Study
KAPE: k NN-based Performance Testing for Deep Code Search
Leveraging Risk Models to Improve Productivity for Effective Code Un-Freeze at Scale
Trained without My Consent: Detecting Code Inclusion in Language Models Trained on Code
Leveraging the Defects Life Cycle to Label Affected Versions and Defective Classes
Peer Review on Open-Source Software Projects: Parameters, Statistical Models, and Theory
Focused Test Generation for Autonomous Driving Systems
Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes
Certified Cost Bounds for Abstract Programs
Views: Synthesizing fine-grained concurrency control
Leveraging Data Characteristics for Bug Localization in Deep Learning Programs
Testing the Plasticity of Reinforcement Learning-based Systems
Formal Verification of Software Countermeasures against Side-Channel Attacks
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice
Static analysis to support the evolution of exception structure in object-oriented systems
Better Supporting Human Aspects in Mobile eHealth Apps: Development and Validation of Enhanced Guidelines
Do Code Summarization Models Process Too Much Information? Function Signature May Be All That Is Needed
Prompt Sapper: A LLM-Empowered Production Tool for Building AI Chains
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization
Expressive and Extensible Parameter Passing for Distributed Object Systems
Beyond Cohesion and Coupling: Integrating Control Flow in Software Modularization Process for Better Code Comprehensibility
An empirical study of regression test selection techiques
Automated Identification and Qualitative Characterization of Safety Concerns Reported in UAV Software Platforms
Aide-mémoire: Improving a Project's Collective Memory via Pull Request-Issue Links
Editorial: TOSEM Journal in 2025 and Beyond
Finding Information Leaks with Information Flow Fuzzing - RCR Report
Automated Consistency Checking of Requirements Specifications
Interpretable Failure Localization for Microservice Systems Based on Graph Autoencoder
Is My Transaction Done Yet? An Empirical Study of Transaction Processing Times in the Ethereum Blockchain Platform
Scuzer: A Scheduling Optimization Fuzzer for TVM
FunFuzz: A Function-Oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency
An Empirical Study of the Impact of Hyperparameter Tuning and Model Optimization on the Performance Properties of Deep Neural Networks
Not All Exceptions Are Created Equal: Triaging Error Logs in Real-World Enterprises
Data Complexity: A New Perspective for Analyzing the Difficulty of Defect Prediction Tasks
Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead
Fine-grained Code Coverage Measurement in Automated Black-box Android Testing
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
Domain Analysis and Description Principles, Techniques, and Modelling Languages
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
BiRD: Race Detection in Software Binaries under Relaxed Memory Models
An Empirical Study on Governance in Bitcoin's Consensus Evolution
Automated cookie collection testing
Editorial - looking back
DRIVE: Dockerfile Rule Mining and Violation Detection
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
The Minimal Failure-Causing Schema of Combinatorial Testing
Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Weighted Suspiciousness and Balanced Aggregation to Boost Spectrum-based Fault Localization of Deep Learning Models