yusuke1997/dblp-id-title huggingface dataset:
Comparing Methods for Large-Scale Agile Software Development: A Systematic Literature Review
A Recommended Practice for Describing Software Designs: IEEE Standards Project 1016
A Static Analysis of the NAG Library
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation
Design of Reliable Software in Distributed Systems Using the Conversation Scheme
A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler
Towards Security Threats of Deep Learning Systems: A Survey
Key Stakeholders' Value Propositions for Feature Selection in Software-Intensive Products: An Industrial Case Study
Managing Technical Debt in Database Normalization
The Gradient Model Load Balancing Method
Towards Retrieval-Based Neural Code Summarization: A Meta-Learning Approach
Analyzing the Evolutionary History of the Logical Design of Object-Oriented Software
Directed Grammar-Based Test Generation
On the Design of a Microcode Compiler for a Machine-Independent High-Level Language
An Analysis of Some Commercial PL/I Programs
JavaScript Dead Code Identification, Elimination, and Empirical Assessment
Effects of Mindfulness on Conceptual Modeling Performance: A Series of Experiments
Exploring Community Smells in Open-Source: An Automated Approach
Interactive State-Space Analysis of Concurrent Systems
A New Approach to the Modeling of Recovery Block Structures
Accessible or Not? An Empirical Investigation of Android App Accessibility
Towards a General Concurrency Control Algorithm for Database Systems
Fragtypes: A Basis for Programming Environments
ESP³: A Language for Pattern Description and a System for Pattern Recognition
A Structure Editor for Abstract Document Objects
Learning the Relation Between Code Features and Code Transforms With Structured Prediction
Performance Adjustment of an APL Interpreter
Automatically Checking an Implementation against Its Formal Specification
Spork: Structured Merge for Java With Formatting Preservation
A Scheme to Enforce Data Dependence on Large Multiprocessor Systems
Optimal Release Time of Computer Software
Unidirectional Transport of Rights and Take-Grant Control
Pathidea: Improving Information Retrieval-Based Bug Localization by Re-Constructing Execution Paths Using Logs
Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue
Software Reliability: The Stopping Rule Problem
Federated Learning for Software Engineering: A Case Study of Code Clone Detection and Defect Prediction
Refactoring-Aware Block Tracking in Commit History
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata
Gray Computing: A Framework for Computing with Background JavaScript Tasks
Incremental LL(1) Parsing in Language-Based Editors
Supporting Cooperation in the SPADE-1 Environment
ConEx: Efficient Exploration of Big-Data System Configurations for Better Performance
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods
A Theory of Interfaces and Modules I-Composition Theorem
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems
Corrigenda: Software Size Estimation of Object-Oriented Systems
Control-Theoretical Software Adaptation: A Systematic Literature Review
Anatomy of a Small Pascal Compiler
Metamorphic Testing of RESTful Web APIs
Software Reliability and Testing Time Allocation: An Architecture-Based Approach
Context-Aware Personalized Crowdtesting Task Recommendation
Modeling Software Bidding Risks
Toward Formally-Based Design of Message Passing Programs
Exponential Order Statistic Models of Software Reliability Growth
An Internally Replicated Quasi-Experimental Comparison of Checklist and Perspective-Based Reading of Code Documents
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model
Comparing Uniform and Flexible Policies for Software Maintenance and Replacement
A Framework for Source Code Search Using Program Patterns
Enabling Decision and Objective Space Exploration for Interactive Multi-Objective Refactoring
An Operational Approach to Requirements Specification for Embedded Systems
Automated Trace Analysis of Discrete-Event System Models
On Comparisons of Random, Partition, and Proportional Partition Testing
Neural Density Estimation of Response Times in Layered Software Systems
Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect"
Multi-Objective Software Effort Estimation: A Replication Study
Abstract Data Type Specification in the AFFIRM System
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios
Supporting Search for Reusable Software Objects
Using Origin Analysis to Detect Merging and Splitting of Source Code Entities
Timing Analysis of Ada Tasking Programs
A Test Generation Strategy for Pairwise Testing
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
Using Hammock Graphs to Structure Programs
A Comprehensive Investigation of the Impact of Class Overlap on Software Defect Prediction
CRADLE: An Accident Scenario Generation Method Based on Scenario Knowledge Graph Considering Accident Causation
Automatic Analysis of Consistency between Requirements and Designs
Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem
The Roles of Execution and Analysis in Algorithm Design
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement
Multi-Granularity Detector for Vulnerability Fixes
A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System
Software Structure Metrics Based on Information Flow
STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution
A Taxonomy of Inter-Team Coordination Mechanisms in Large-Scale Agile
Test Case-Aware Combinatorial Interaction Testing
A Contrast Between Language Level Measures
Guest Editorial Introduction: Special Issue on Software Measurement Principles, Techniques, and Environment
Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters
Fault Injection for Dependability Validation: A Methodology and Some Applications
Compositional Analysis of Hierarchical UML Statecharts
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines
Syntax-Directed Pretty Printing - A First Step Towards a Syntax-Directed Editor
Support for Managing Design-Time Decisions
EVA: A Flexible Programming Method for Evolving Systems
An Approach to Distributed Computing System Software Design
Classifying Software Changes: Clean or Buggy?
Early Experience with the Visual Programmer's WorkBench
From Safety Analysis to Software Requirements
Semiautomatic Implementation of Communication Protocols
Nonsensitive Data and Approximate Transactions
REPENT: Analyzing the Nature of Identifier Renamings
Functional Development of Database Applications
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation
Parsing Languages by Pattern Matching
Isolating Compiler Faults Through Differentiated Compilation Configurations
Researcher Bias: The Use of Machine Learning in Software Defect Prediction
Measuring and Evaluating Maintenance Process Using Reliability, Risk, and Test Metrics
An Empirical Study on the Effectiveness of Privacy Indicators
An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes
Proving Loop Programs
Software Testing With Large Language Models: Survey, Landscape, and Vision
Reducing Feedback Delay of Software Development Tools via Continuous Analysis
Parallel Discrete Event Simulation Using Shared Memory
The Double-Edged Sword of Diversity: How Diversity, Conflict, and Psychological Safety Impact Software Teams
An Object-Oriented Command Language
Data Dependency Graphs for Ada Programs
Separate Compilation and Partial Specification in Pascal
An Exercise in Automatic Program Verification
EqL: The Language and Its Implementation
An Application of Structural Modeling to Software Requirements Analysis and Design
Performance Analyses of Paging Algorithms for Compilation of a Highly Modularized Program
Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models
Analysis and Refinement of Software Test Data Adequacy Properties
Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering
An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
A Machine Learning Approach to Software Requirements Prioritization
A Fluid Model for Layered Queueing Networks
An Automatic Class Generation Mechanism by Using Method Integration
Taming Android Fragmentation Through Lightweight Crowdsourced Testing
Object Migration and Authentication
QBD*: A Graphical Query Language with Recursion
Guest Editors' Introduction: Software Engineering for the Wireless Internet
Software Reuse by Specialization of Generic Procedures Through Views
A Practical Approach to Size Estimation of Embedded Software Components
Early Detection of Collaboration Conflicts and Risks
Testing Programs with the Aid of a Compiler
iTCRL: Causal-Intervention-Based Trace Contrastive Representation Learning for Microservice Systems
On Development of Iterative Programs from Function Specifications
An Empirical Study of Software Design Practices
Forword: Software Reliability
Fluid Rewards for a Stochastic Process Algebra
CirFix: Automated Hardware Repair and its Real-World Applications
The Influence of Structured Programming on PL/I Program Profiles
Understanding Software Maintenance Work
Search-Based Crash Reproduction and Its Impact on Debugging
A Strategy for Improving Safety Related Software Engineering Standards
A Systematic Study of Failure Proximity
Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores
Modeling and Verification of Real-Time Protocols for Broadcast Networks
The Design and Implementation of an ASN.1-C Compiler
A Study of the Applicability of Complexity Measures
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets
Automating the Selection of Implementation Structures
On Accelerating Source Code Analysis at Massive Scale
Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?
Optimal Distributed t-Resilient Election in Complete Networks
Improving Issue-PR Link Prediction via Knowledge-Aware Heterogeneous Graph Learning
Identifying Failure-Causing Schemas in the Presence of Multiple Faults
Prolog-Based Meta-Rules For Relational Database Representation and Manipulation
Toward a Reference Process for Developing Wireless Internet Services
What Drives and Sustains Self-Assignment in Agile Teams
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications
Test Case Prioritization Using Lexicographical Ordering
Selecting Software Test Data Using Data Flow Information
Discarding Obsolete Information in a Replicated Database System
A Qualitative Justification for a Measure of Program Clarity
Predicate Logic for Software Engineering
Adaptive File Allocation in Star Computer Network
Addendum to "Proof Rules for Flush Channels"
On the Value of Oversampling for Deep Learning in Software Defect Prediction
The Möbius Framework and Its Implementation
An Alternative to the Rayleigh Curve Model for Software Development Effort
Bayesian Extensions to a Basic Model of Software Reliability
An Integration Test Order Strategy to Consider Control Coupling
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Impact of Usability Mechanisms: A Family of Experiments on Efficiency, Effectiveness and User Satisfaction
Monitoring Data Usage in Distributed Systems
Optimizing Join Queries in Distributed Databases
Locking and Deadlock Detection in Distributed Data Bases
Guest Editors' Introduction to the Special Section on Software Language Engineering
Some Stability Measures for Software Maintenance
Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers
$\mathbf{A^{3}}$A3-CodGen: A Repository-Level Code Generation Framework for Code Reuse With Local-Aware, Global-Aware, and Third-Party-Library-Aware
Space Efficient Execution of Deterministic Parallel Programs
Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
Compositional Dependability Evaluation for STATEMATE
Guest Editor's Introduction: Special Issue on Mining Software Repositories
MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing
Design-Level Performance Prediction of Component-Based Applications
An Empirical Study of Software Project Bidding
Automatic Commit Message Generation: A Critical Review and Directions for Future Work
An Empirical Investigation of an Object-Oriented Software System
Applying Synthesis Principles to Create Responsive Software Systems
A Comparison of Some Structural Testing Strategies
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
Engineering Mobile Agent Applications via Context-Dependent Coordination
RefDiff 2.0: A Multi-Language Refactoring Detection Tool
Towards the Automatic Generation of Software Diagrams
An Approach to the Modeling of Software Testing with Some Applications
Perturbation Techniques for Detecting Domain Errors
Network: A Multiprocessor Program
Compiler Analysis of the Value Ranges for Variables
The Path Prefix Software Testing Strategy
Defining and Evaluating a Measure of Open Source Project Survivability
Integrating Technical Debt Management and Software Quality Management Processes: A Normative Framework and Field Tests
A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance
On the Costs and Profit of Software Defect Prediction
Efficiency of Vulnerability Disclosure Mechanisms to Disseminate Vulnerability Knowledge
Property Satisfiability Analysis for Product Lines of Modelling Languages
Formal Verification of Concurrent Programs Using the Larch Prover
A Systematic Study on Real-World Android App Bundles
The Role of Domain Experience in Software Design
Integrated Concurrency-Coherency Controls for Multisystem Data Sharing
Comments on "Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study"
A Distributed Algorithm for Constructing Minimal Spanning Trees
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources
Selectors: High-Level Resource Schedulers
Using Reduced Execution Flow Graph to Identify Library Functions in Binary Code
Distributing a Data Base with Logical Associations on a Computer Network for Parallel Searching
Principles of Program Design Induced from Experience with Small Public Programs
SCAnoGenerator: Automatic Anomaly Injection for Ethereum Smart Contracts
Quantifying, Characterizing, and Mitigating Flakily Covered Program Elements
Superviews: Virtual Integration of Multiple Databases
Task Scheduling on the PASM Parallel Processing System
Fight Fire With Fire: How Much Can We Trust ChatGPT on Source Code-Related Tasks?
DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform
Static Analysis of Model Transformations
Generation and Consistency Checking of Design and Program Structures
Timed Automata Patterns
Editorial: New Associate Editors Introduction
Enriching Mutation Testing With Innovative Method Invocation Mutation: Filling the Crucial Missing Piece of the Puzzle
Adaptive Time Warp Simulation of Timed Petri Nets
Efficient Decentralized Consensus Protocols
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus
Client Access Protocols for Replicated Services
Distributed Database Management Model and Validation
Automated Abstractions for Contract Validation
The Secret Life of Software Vulnerabilities: A Large-Scale Empirical Study
Pull Request Decisions Explained: An Empirical Overview
Negotiated Interfaces for Software Reuse
Predicting the First Response Latency of Maintainers and Contributors in Pull Requests
Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions
Corrections to "Detecting Bugs by Discovering Expectations and Their Violations"
An Availability Model for Distributed Transaction Systems
Automated Commit Message Generation With Large Language Models: An Empirical Study and Beyond
Gray Codes for Partial Match and Range Queries
Investigating the Defect Detection Effectiveness and Cost Benefit of Nominal Inspection Teams
Application of a Methodology for the Development and Validation of Reliable Process Control Software
Runtime Evolution of Bitcoin's Consensus Rules
A Cooperative Parallel Search-Based Software Engineering Approach for Code-Smells Detection
SPARE: A Development Environment For Program Analysis Algorithms
Facilitating Mixed Language Programming in Distributed Systems
Predicting the Probability of Change in Object-Oriented Systems
Influence of the 1990 IEEE TSE Paper "Automated Software Test Data Generation" on Software Engineering
Edmas: An Object-Oriented, Locally Distributed Mail System
Human Values in Software Engineering: Contrasting Case Studies of Practice
Specification and Validation of Control-Intensive IC's in hopCP
How Practitioners Perceive Automated Bug Report Management Techniques
Editorial: Readers, Writers, Reviewers, and Editors
Time-Sensitive Cost Models in the Commercial MIS Environment
Some Experiences in Promoting Reusabel Software: Presentation in Higher Abstract Levels
Aspectual Feature Modules
An Empirical Study of Dependency Downgrades in the npm Ecosystem
A Compact Petri Net Representation and Its Implications for Analysis
Simulating the Behavior of Software Modules by Trace Rewriting
Timed Communicating Object Z
Automated API Property Inference Techniques
Load-Leveling in Fault-Tolerant Distributed Computing Systems
Obstacle Analysis in Requirements Engineering: Retrospective and Emerging Challenges
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers
Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection
An Empirical Analysis of the Impact of Software Vulnerability Announcements on Firm Stock Price
Comments on "On the Projection Method for Protocol Verification''
LIVABLE: Exploring Long-Tailed Classification of Software Vulnerability Types
Experience With the Accuracy of Software Maintenance Task Effort Prediction Models
Invariant-Based Automatic Testing of Modern Web Applications
Characterizing Crowds to Better Optimize Worker Recommendation in Crowdsourced Testing
Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance
In Memoriam: Mary Jean Harrold (1947-2013)
Information-Theoretic Software Clustering
Toward a Theory of Test Data Selection
The Human Side of Software Engineering Teams: An Investigation of Contemporary Challenges
Automating Live Update for Generic Server Programs
A Personal Retrospective on Symbolic Execution
Program Structure Charts for Applicative Languages
Guest Editorial - Data Structures and Pattern Recognition
Control of a Heterogeneous Two-Server Exponential Queueing System
Let's Talk With Developers, Not About Developers: A Review of Automatic Program Repair Research
A Recursion Theoretic Approach to Program Testing
Recommending Participants for Collaborative Merge Sessions
Salient Features of an Executable Specification Language and Its Environment
LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker
Resource Management for Complex, Dynamic Environments
An Analysis of the Intel 80x86 Security Architecture and Implementations
Corporate Level Software Management
Connecting and Serving the Software Engineering Community
The Impact of Mislabeled Changes by SZZ on Just-in-Time Defect Prediction
Real-Time Behavior of Programs
Empirically Evaluating the Effect of the Physics of Notations on Model Construction
Are Fix-Inducing Changes a Moving Target? A Longitudinal Case Study of Just-In-Time Defect Prediction
Toolkit Design for Interactive Structured Graphics
A Methodology for Collecting Valid Software Engineering Data
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study
Comments on 'Automatic Analysis of Consistency between Requirements and Designs'
A Transformational Derivation of a Parsing Algorithm in a High-Level Language
A Reflection on "Advances in Software Inspections"
Network-Clustered Multi-Modal Bug Localization
Listening to the Crowd for the Release Planning of Mobile Apps
Call Path Refinement Profiles
Dynamic Change Management: Quiescence Revisited
Specification and Verification Using Dependent Types
Guest Editorial: Introduction to the Special Section "Domain-Specfic Languages (DSL)''
A Loosely Coupled Distributed System for Reliably Storing Data
Software Size Estimation of Object-Oriented Systems
Design Considerations for a Message File Server
InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment
No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
Work Item Tagging: Communicating Concerns in Collaborative Software Development
Improving State-of-the-Art Compression Techniques for Log Management Tools
Mapping Considerations in the Design of Schemas for the Relational Model
Using Local Clocks to Reproduce Concurrency Bugs
Detecting Overly Strong Preconditions in Refactoring Engines
GENESIS: An Extensible Database Management System
Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events
Corrigendum for "Constraint-Based Automatic Test Data Generation". (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.)
Programming-in-the-Large Versus Programming-in-the-Small
On the Evolution of Services
Detection of Data Flow Anomaly Through Program Instrumentation
Using Software Architecture for Code Testing
Completeness and Consistency in Hierarchical State-Based Requirements
Test Input Prioritization for Graph Neural Networks
Scalar Memory References in Pipelined Multiprocessors: A Performance Study
Multisystem Coupling by a Combination of Data Sharing and Data Partitioning
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Automated Oracle Data Selection Support
The Mutation and Injection Framework: Evaluating Clone Detection Tools with Mutation Analysis
Scrutinizing Implementations of Smart Home Integrations
Comments on an Optimal Set of Indices For a Relational Database
Advanced Smart Contract Vulnerability Detection via LLM-Powered Multi-Agent Systems
Cooperative Distributed Algorithms for Dynamic Cycle Prevention
Formally Verified On-Line Diagnosis
Guest Editorial: Introduction to the Special Section
An Empirical Study of Evaluating Software Development Environment Quality
Resolving Race Conditions in Asynchronous Partial Order Scenarios
A General Framework for Concurrent Simulation of Neural Network Models
An Image Processing Language with Icon-Assisted Navigation
The Impact of Run-Time Schema Interpretation in a Network Data Model DBMS
Guest Editors' Introduction Software Engineering Environment Architectures
Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell
Comments on "Data Mining Static Code Attributes to Learn Defect Predictors"
An Analysis and Survey of the Development of Mutation Testing
A Comparative Study to Benchmark Cross-Project Defect Prediction Approaches
Code2Img: Tree-Based Image Transformation for Scalable Code Clone Detection
A Survey of Software Engineering Practice: Tools, Methods, and Results
Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection