yusuke1997/dblp-id-title huggingface dataset:
On the Uncertainty in the Correctness of Computer Programs
An Experiment in Small-Scale Application Software Engineering
Delay-Independent Design for Distributed Systems
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
A Critique of Software Defect Prediction Models
Will Dependency Conflicts Affect My Program's Semantics?
Identifying and Summarizing Systematic Code Changes via Rule Inference
Black-Box String Test Case Generation through a Multi-Objective Optimization
Let's Go to the Whiteboard (Again): Perceptions From Software Architects on Whiteboard Architecture Meetings
Mining Fix Patterns for FindBugs Violations
Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
Automatic Support for Usability Evaluation
Abstraction Mechanisms for Event Control in Program Debugging
Assessing Evaluation Metrics for Neural Test Oracle Generation
A Zone-Based Model for Analysis of Dependent Failures in Requirements Inspection
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool
An Empirical Study of Refactoring Rhythms and Tactics in the Software Development Process
OneMoreTest: A Learning-Based Approach to Generating and Selecting Fault-Revealing Unit Tests
Combinatorial Test Generation for Multiple Input Models With Shared Parameters
Trace Specifications: Methodology and Models
An Executable Language For Modeling Simple Behavior
Using Test Oracles Generated from Program Documentation
Using SCL to Specify and Check Design Intent in Source Code
Comments on the Critique of Lee, Lloyd, and Shrivastava
An Empirical Study of Yanked Releases in the Rust Package Registry
Eliminating Path Redundancy via Postconditioned Symbolic Execution
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement
Scale Economies in New Software Development
Multiaccess in a Nonqueueing Mailbox Environment
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification
A Uniform Presentation of Confidentiality Properties
Conversion of Units of Measurement
AGA: An Accelerated Greedy Additional Algorithm for Test Case Prioritization
Multidimensional Binary Search Trees in Database Applications
Subprogram Inlining: A Study of its Effects on Program Execution Time
Software Effort Models for Early Estimation of Process Control Applications
Using K-core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance
Software Specialization Via Symbolic Execution
Facilitating Wise Decision-Making for Bounty Backers in Open Source Software Communities
A Study of the Effect of Imperfect Debugging on Software Development Cost
Program Specification Applied to a Text Formatter
Correction of "A Comparative Study to Benchmark Cross-Project Defect Prediction Approaches"
DECOR: A Method for the Specification and Detection of Code and Design Smells
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
Learning to Generate Structured Code Summaries From Hybrid Code Context
Note on a Constrained-Path Problem in Program Testing
GossipKit: A Unified ComponentFramework for Gossip
Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods
On Partitioning Program Graphs
Verifying Definite Iteration Over Data Structures
On the Asymptotic Behavior of Adaptive Testing Strategy for Software Reliability Assessment
A Model of Visibility Control
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications
Computer Aided Analysis and Derivation for Artificial Neural Systems
Optimization of the Number of Copies in a Distributed Data Base
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs
Identification of Dynamic Comprehension Processes During Large Scale Maintenance
Using Cooperative Co-Evolutionary Search to Generate Metamorphic Test Cases for Autonomous Driving Systems
Algorithms to Distribute a Database for Parallel Searching
Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks
A Concurrency Measure
Containerization for High Performance Computing Systems: Survey and Prospects
Toward Formalizing Domain Modeling Semantics in Language Syntax
Almost Rerere: Learning to Resolve Conflicts in Distributed Projects
A Field Evaluation of Natural Language for Data Retrieval
Petri Net Tools for the Specification and Analysis of Discrete Controllers
Automatic Repair of Timestamp Comparisons
The Impact of Design and Code Reviews on Software Quality: An Empirical Study Based on PSP Data
Guest Editors' Special Section Introduction - Empirical Software Engineering
Retrospective on: Constraint-Based Automatic Test Data Generation
Closure and Convergence: A Foundation of Fault-Tolerant Computing
The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case)
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas
Editorial: Journal-First Publication for the Software Engineering Community
Anonymous Remote Computing: A Paradigm for Parallel Programming on Interconnected Workstations
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures
A Study of a Mechanism for Controlling Multiprogammed Memory in an Interactive System
Effectively Incorporating Expert Knowledge in Automated Software Remodularisation
Program Testing Complexity and Test Criteria
A Strategy for Comparing Alternative Software Development Life Cycle Models
Detecting Continuous Integration Skip Commits Using Multi-Objective Evolutionary Search
The Evolving Philosophers Problem: Dynamic Change Management
Quality-Aware Service Selection for Service-Based Systems Based on Iterative Multi-Attribute Combinatorial Auction
Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables
Which Animation API Should I Use Next? A Multimodal Real-Time Animation API Recommendation Model for Android Apps
Sketch2Process: End-to-End BPMN Sketch Recognition Based on Neural Networks
Query Processing in Distributed Database Systems
SigRec: Automatic Recovery of Function Signatures in Smart Contracts
An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency
On Optimal Site Assignment for Relations in the Distributed Database Environment
Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization
Representative Instances and gamma-Acyclic Relational Schemes
Components of Typical Undergraduate Software Engineering Courses: Results from a Survey
An Empirical Study of Type-Related Defects in Python Projects
Casting Petri Nets into Programs
An Attack Surface Metric
Controls for Interorganization Networks
A Note on Regeneration with Virtual Copies
A Systematic Review of IoT Systems Testing: Objectives, Approaches, Tools, and Challenges
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
An Empirical Analysis of Business Process Execution Language Usage
An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification
Enhancing Real-Time Operating System Security Analysis via Slice-Based Fuzzing
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
Ant Colony Optimization for Software Project Scheduling and Staffing with an Event-Based Scheduler
A Survey of Controlled Experiments in Software Engineering
A Statistical Method for Software Quality Control
Enhance Combinatorial Testing With Metamorphic Relations
Some Empirical Observations on Program Behavior with Applications to Program Restructuring
The Impact of Irrelevant and Misleading Information on Software Development Effort Estimates: A Randomized Controlled Field Experiment
Implementing a Pseudorandom Number Generator on a Minicomputer
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
A Three-Dimensional Iconic Environment for Image Database Querying
A Formal Method for Composing a Network Command Language
A New Strategy for Code Generation - the General-Purpose Optimizing Compiler
A Model-Integrated Approach to Designing Self-Protecting Systems
Comments on 'Factors that Impact Implementing a System Development Methodology'
Optimized Resource Allocation for Software Release Planning
Incorporating System Overhead in Queuing Network Models
Exception Handling for Repair in Service-Based Processes
The Design Space of Bug Fixes and How Developers Navigate It
Understanding and Controlling Software Costs
Precise Documentation of Well-Structured Programs
A Computer Network Monitoring System
Tradeoffs in the Design of Efficient Algorithm-Based Error Detection Schemes for Hypercube Multiprocessors
Database Integrity Block Construct: Concepts and Design Issues
Analyzing Critical Decision-Based Processes
DSSDPP: Data Selection and Sampling Based Domain Programming Predictor for Cross-Project Defect Prediction
Task Construction for Model-Based Design of Embedded Control Software
Improving Automated Bug Triaging with Specialized Topic Model
A Study of Bug Management Using the Stack Exchange Question and Answering Platform
Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis
Guest Editor's Introduction The Third International Conference on Data Engineering
Ten Years of Journal First Publication in Software Engineering
Macro Implementation of a Structured Assembly Language
Stepwise Design of Real-Time Systems
Manifestations of Empathy in Software Engineering: How, Why, and When It Matters
Swarm Verification Techniques
Implementing Remote Evaluation
Coverage-Aware Test Database Reduction
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments
Dependency Smells in JavaScript Projects
Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis
Autofolding for Source Code Summarization
Studying the Impact of Noises in Build Breakage Data
Design of Analyzers for Selective Program Analysis
A Flexible Infrastructure for Multilevel Language Engineering
Test Data Selection and Quality Estimation Based on the Concept of Esssential Branches for Path Testing
A Hierarchical Model for Object-Oriented Design Quality Assessment
Response to Jiau et al.'s Comments
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
Evaluating Search-Based Software Microbenchmark Prioritization
A Semantics-Based Hybrid Approach on Binary Code Similarity Comparison
Partition Testing Does Not Inspire Confidence
Comments on "A Distributed Scheme for Detecting Communication Deadlocks''
Performance Properties of Vertically Partitioned Object-Oriented Systems
A Controlled Experiment on the Impact of Software Structure on Maintainability
On Legality Assertions in Euclid
Capability Managers
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs
Inconsistent Defect Labels: Essence, Causes, and Influence
Communication Issues in the Design and Analysis of Parallel Algorithms
Auditing and Inference Control in Statistical Databases
Trace Diagnostics for Signal-Based Temporal Properties
Feature Location Using Probabilistic Ranking of Methods Based on Execution Scenarios and Information Retrieval
A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications
Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study
Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies
Temporal Logic-Based Deadlock Analysis For Ada
Generating Complete Controllable Test Suites for Distributed Testing
Realism in Assessment of Effort Estimation Uncertainty: It Matters How You Ask
NLP-KAOS for Systems Goal Elicitation: Smart Metering System Case Study
The Definition Mechanism for Standard PL/I
The Exception Handling Effectiveness of POSIX Operating Systems
A Development Environment for Horizontal Microcode
A System for Performance Evaluation of Partial Differential Equations Software
Verifying Linearizability via Optimized Refinement Checking
Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17)
Performance of a Composite Attribute and Join Index
Reusability Through Program Transformations
IOTA: A Modular Programming System
Chaff from the Wheat: Characterizing and Determining Valid Bug Reports
A Group-Select Operation for Relational Algebra and Implications for Database Machine Design
Notes on Type Abstraction (Version 2)
A Disciplined Approach to Office Analysis
Automatic Test Generation: A Use Case Driven Approach
Understanding and Documenting Programs
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
Deterministic Model and Transient Analysis of Virtual Circuits
Linearization of Nonlinear Recursive Rules
Directional Diffusion-Style Code Editing Pre-Training
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"
Testing for Perturbations of Program Statements
Program Concept Recognition and Transformation
The Dynamics of Software Project Staffing: A System Dynamics Based Simulation Approach
Self-Management of Adaptable Component-Based Applications
A Secure Group Membership Protocol
Scalable Differential Analysis of Process Algebra Models
A Software Size Model
Guest Editors' Introduction: Image Databases
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
Evaluating Software Design Processes by Analyzing Change Data Over Time
Semantics of EqL
Distributed Checkpointing for Globally Consistent States of Databases
Static Data Flow Analysis of PL/I Programs with the PROBE System
A Study of Variability Models and Languages in the Systems Software Domain
The Effects of Layering and Encapsulation on Software Development Cost and Quality
A Family of Experiments to Compare Two Model-Driven Development Tools vs a Traditional Development Method
A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC)
An Ontological Model of an Information System
Guest Editor's Introduction: 10th Working Conference on Reverse Engineering
The Effectiveness of Software Development Technical Reviews: A Behaviorally Motivated Program of Research
Automated Analysis of Discrete Communication Behavior
Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution
Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software
Reusing Solutions Modulo Theories
Metric Analysis and Data Validation Across Fortran Projects
Even Data Bases That Lie Can Be Compromised
Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
Improving Multi-Objective Test Case Selection by Injecting Diversity in Genetic Algorithms
Locating Performance Regression Root Causes in the Field Operations of Web-Based Systems: An Experience Report
An Accurate Worst Case Timing Analysis for RISC Processors
TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks
The Cloze Procedure and Software Comprehensibility Measurement
XPro: A Model to Explain the Limited Adoption and Implementation of Experimentation in Software Startups
checsdm: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design
Power-Law Distributions of Component Size in General Software Systems
Structuring Communication Software for Quality-of-Service Guarantees
The Effectiveness of Software Diversity in a Large Population of Programs
Shortest Semijoin Schedule for a Local Area Distributed Database System
Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark
Mobile App Crowdsourced Test Report Consistency Detection via Deep Image-and-Text Fusion Understanding
Learning Dominance Relations in Combinatorial Search Problems
Rendezvous Facilities: Concurrent C and the Ada Language
Predicting with Sparse Data
Mecha: A Neural-Symbolic Open-Set Homogeneous Decision Fusion Approach for Zero-Day Malware Similarity Detection
An Analysis of Several Software Defect Models
On the Energy Footprint of Mobile Testing Frameworks
The State of Serverless Applications: Collection, Characterization, and Community Consensus
Testing Software Design Modeled by Finite-State Machines
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets
Follow-Up Attention: An Empirical Study of Developer and Neural Model Code Exploration
Planning Models for Software Reliability and Cost
Approximate Analysis of Reader/Writer Queues
The Programmer's Apprentice: A Session with KBEmacs
Centroidal Voronoi Tessellations - A New Approach to Random Testing
Correction to 'Technology for Testing Nondeterministic Client/Server Database Applications'
Introduction to the Special Issue on Software Architecture
Proof Rules for Flush Channels
autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning
Cognitive Fit: An Empirical Study of Recursion and Iteration
Comments on "Using $k$k-Core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance"
DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation
Abstract Communication Model for Distributed Systems
Systematic Testing of Model-Based Code Generators
Interaction Models and Automated Control under Partial Observable Environments
Forecasting the Principal of Code Technical Debt in JavaScript Applications
What Do Package Dependencies Tell Us About Semantic Versioning?
Software Deployment on Heterogeneous Platforms: A Systematic Mapping Study
The Domain Theory for Requirements Engineering
Knowledge Representation and Reasoning in a Software Synthesis Architecture
An Overview of the Nexus Distributed Operating System Design
On Horizontally Microprogrammed Microarchitecture Description Techniques
Verification Approach for Refactoring Transformation Rules of State-Based Models
The Impact of Feature Importance Methods on the Interpretation of Defect Classifiers
Program Partition and Logic Program Analysis
A Unified Framework for Coupling Measurement in Object-Oriented Systems
Evaluating Diverse Large Language Models for Automatic and General Bug Reproduction
Effect of System Workload on Operating System Reliability: A Study on IBM 3081
BabelRTS: Polyglot Regression Test Selection
Broken External Links on Stack Overflow
Test Selection Based on Finite State Models
Mining Likely Analogical APIs Across Third-Party Libraries via Large-Scale Unsupervised API Semantics Embedding
Maintaining Configurations of Evolving Software Systems
Editorial: A New Editor in Chief and the State of the Journal
The Formal Specification of a Small Bookshop Information System
Foundations of Sequence-Based Software Specification
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software
How We Refactor, and How We Know It
A Design of an Experiment to Model Data Base System Performance
An Experimental Program-Testing Facility
An Extensible Metamodel for Program Analysis (abstract only)
Foundations of the Trace Assertion Method of Module Interface Specification
Orthogonal Defect Classification - A Concept for In-Process Measurements
Data Flow Anomaly Detection
A Software Science Model of Compile Time
An Application of Name Based Addressing to Low Level Distributed Algorithms
Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving
Component Based Design of Multitolerant Systems
Real World Scrum A Grounded Theory of Variations in Practice
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
Automated Update of Android Deprecated API Usages With Large Language Models
Analysis of Extendible Hashing
Specification of Forms Processing and Business Procedures for Office Automation
Concurrent Software Fault Detection
Power-Laws in a Large Object-Oriented Software System
In Memoriam: Robin Milner and Amir Pnueli
Modular Algebraic Nets to Specify Concurrent Systems
Towards a Programming Apprentice
Dynamic and Automatic Feedback-Based Threshold Adaptation for Code Smell Detection
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
Atomic Remote Procedure Call
A Longitudinal Study of Application Structure and Behaviors in Android
Differential Testing of Machine Translators Based on Compositional Semantics
The Effect of GoF Design Patterns on Stability: A Case Study
Reliability of the Path Analysis Testing Strategy
Regeneration with Virtual Copies for Distributed Computing Systems
Hierarchical Modeling of Availability in Distributed Systems
Aspectizing Java Access Control
A Comparison of Computed Chaining to Predictors
On Weyuker's Axioms For Software Complexity Measures
Model Checking in Practice: The T9000 Virtual Channel Processor
An Empirical Methodology to Evaluate Vulnerability Discovery Models
PECAN: Program Development Systems that Support Multiple Views
Entity Structure Based Design Methodology: A LAN Protocol Example
A Survey on Metamorphic Testing
Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment
Predictive Modeling Techniques of Software Quality from Software Measures
Self-Adapting Reliability in Distributed Software Systems
The Effect of Pairs in Program Design Tasks
An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets
Numerical Analysis of Superposed GSPNs
FutureWare: Designing a Middleware for Anticipatory Mobile Computing
Achieving Distributed Termination without Freezing
Timestamp-Based Orphan Elimination
File Structures, Program Structures, and Attributed Grammars
Giving Back: Contributions Congruent to Library Dependency Changes in a Software Ecosystem
Stochastic Automata Network For Modeling Parallel Systems
Reusing Software: Issues and Research Directions
Erratum Corrections to 'Modeling the Dynamic Behavior of Hypermedia Applications'
Dynamic Verification of C++ Generic Algorithms
${{\sf Colosseum}}$Colosseum: Regression Test Prioritization by Delta Displacement in Test Coverage
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
An Approach to User Specification of Interactive Display Interfaces
A Study of Bug Resolution Characteristics in Popular Programming Languages
The Toy Language Syndrome
Probabilistic Preference Planning Problem for Markov Decision Processes
The Call-Return Tree and Its Application to Program Performance Analysis
Bayesian Approaches to Matching Architectural Diagrams
On Required Element Testing
Comparing the Effectiveness of Software Testing Strategies
Conservative Bounds for the pfd of a 1-out-of-2 Software-Based System Based on an Assessor's Subjective Probability of "Not Worse Than Independence"
Ginger2: An Environment for Computer-Aided Empirical Software Engineering
Commitment-Based Software Development
Understanding the Robustness of Transformer-Based Code Intelligence via Code Transformation: Challenges and Opportunities
Architectural-Level Risk Analysis Using UML
A Model for Multilevel Security in Computer Networks
Hydra-Reviewer: A Holistic Multi-Agent System for Automatic Code Review Comment Generation
A Unifying Approach to the Design of a Secure Database Operating System
Formal Grammar and Human Factors Design of an Interactive Graphics System
A Visual Language Compiler
On the Need for Mixed Media in Distributed Requirements Negotiations
Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction
Modeling Product Line Software Assets Using Domain-Specific Kits
Autonomous Vehicle Control Using Al Techniques
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems
Structured Programming With and Without GO TO Statements