yusuke1997/dblp-id-title huggingface dataset:
"Estimating Software Project Effort Using Analogies": Reflections After 28 Years
Effects of Personality on Pair Programming
A Methodology for Developing Distributed Programs
MR${}^{2}$ 2-KG: A Multi-Relation Multi-Rationale Knowledge Graph for Modeling Software Engineering Knowledge on Stack Overflow
Xstream: A Middleware for Streaming XML Contents over Wireless Environments
Enhanced Crowdsourced Test Report Prioritization via Image-and-Text Semantic Understanding and Feature Integration
Considerations in the Insularity of Performance Evaluation
Clustering a DAG for CAD Databases
Quality Improvement Using A Software Reuse Failure Modes Model
Designing, Modeling and Analysis of GALS Software Systems
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
Automated Code Editing With Search-Generate-Modify
Semantics-Based Design for Secure Web Services
On the Effectiveness of the Test-First Approach to Programming
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
Bidding Against Competitors
Eager Reclamation
A Domain-Specific Software Architecture for Adaptive Intelligent Systems
Independent Recovery in Large-Scale Distributed Systems
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures
Guided Mutation Testing for JavaScript Web Applications
rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust
Entropy Based Software Reliability Analysis of Multi-Version Open Source Software
Where Should We Fix This Bug? A Two-Phase Recommendation Model
Augmenting Ada for SIMD Parallel Processing
EpiTESTER: Testing Autonomous Vehicles With Epigenetic Algorithm and Attention Mechanism
Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments
Smart Bound Selection for the Verification of UML/OCL Class Diagrams
Spatial Semantic Fuzzing for LiDAR-Based Autonomous Driving Perception Systems
State-of-the-Art Issues in Distributed Databases
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness
Automated Selection of Optimal Model Transformation Chains via Shortest-Path Algorithms
X-Ware Reliability and Availability Modeling
New AEIC Introduction and AE Farewell
Mining Sequences of Developer Interactions in Visual Studio for Usage Smells
A Survey on the Use of Computer Vision to Improve Software Engineering Tasks
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification
Using Transfer Learning for Code-Related Tasks
A Multilayer Client-Server Queueing Network Model with Synchronous and Asynchronous Messages
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems
A Survey on Software Architecture Analysis Methods
An Experimental Investigation of Software Metrics and Their Relationship to Software Development Effort
A Cost Model for Determining the Optimal Number of Software Test Cases
HYDRA: Massively Compositional Model for Cross-Project Defect Prediction
Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions
Design of Flexible Static Program Analyzers with PQL
Profiling Deployed Software: Assessing Strategies and Testing Opportunities
Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems
Recomputing Coverage Information to Assist Regression Testing
Executing DSP Applications in a Fine-Grained Dataflow Environment
PerfJIT: Test-Level Just-in-Time Prediction for Performance Regression Introducing Commits
Understanding How and Why Developers Seek and Analyze API-Related Opinions
Throughput Capacity of a Sequence of Queues with Blocking Due to Finite Waiting Room
A Software Requirements Ecosystem: Linking Forum, Issue Tracker, and FAQs for Requirements Management
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior
Verification of Fuzzy Decision Trees
On Homogeneity and On-Line=Off-Line Behavior in M/G/1 Queueing Systems
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
Automated Generation and Evaluation of JMH Microbenchmark Suites From Unit Tests
A Pattern Recognition Approach for Software Engineering Data Analysis
Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation
AI-Enabled Automation for Completeness Checking of Privacy Policies
Automated Refactoring of Non-Idiomatic Python Code With Pythonic Idioms
Language-Independent and Automated Software Composition: The FeatureHouse Experience
Defining Smart Contract Defects on Ethereum
Making Software Visible, Operational, and Maintainable in a Small Project Environment
Cost-Effective Analysis of In-Place Software Processes
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation
Extensions to an Approach to the Modeling of Software Testing with Some Performance Comparisons
Dynamic Testing for Deadlocks via Constraints
Integrating formal verification and conformance testing for reactive systems
On Parallel Processing Systems: Amdahl's Law Generalized and Some Results on Optimal Design
A Logical Theory of Interfaces and Objects
The SATIN Component System-A Metamodel for Engineering Adaptable Mobile Systems
Structured Fortran - An Evolution of Standard Fortran
An Empirical Study on Meta Virtual Reality Applications: Security and Privacy Perspectives
Constructing Submodule Specifications and Network Protocols
GK-Tail+ An Efficient Approach to Learn Software Models
Integrated Performance Models for Distributed Processing in Computer Communication Networks
An Integrated Life-Cycle Model for Software Maintenance
From Executable Specifications to Hard-to-Specify Requirements: Challenges in Describing Reactive System Behavior
A Context-Aware Clustering Approach for Assisting Operators in Classifying Security Alerts
SynShine: Improved Fixing of Syntax Errors
Monitoring for Deadlock and Blocking in Ada Tasking
On the Reliability of Electronic Payment Systems
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
Leveraging Historical Associations between Requirements and Source Code to Identify Impacted Classes
Enhancement of Mutation Testing via Fuzzy Clustering and Multi-Population Genetic Algorithm
Supporting Developers in Addressing Human-Centric Issues in Mobile Apps
Virtual Machine Communication for the Implementation of Decision Support Systems
Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring
BiasFinder: Metamorphic Test Generation to Uncover Bias for Sentiment Analysis Systems
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles
CoSQA + : Enhancing Code Search Evaluation With a Multi-Choice Benchmark and Test-Driven Agents
Identifying Similar Test Cases That Are Specified in Natural Language
Generation of Execution Sequences for Modular Time Critical Systems
Specification Patterns for Robotic Missions
Representation and Presentation of Requirements Knowledge
Learning a Metric for Code Readability
TkT: Automatic Inference of Timed and Extended Pushdown Automata
Enhancing Fine-Grained Vulnerability Detection With Reinforcement Learning
Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
Recovery Point Selection on a Reverse Binary Tree Task Model
A Test Design Methodology for Protocol Testing
A Relational Notation for State Transition Systems
Conditional Capabilities
Are You Still Working on This? An Empirical Study on Pull Request Abandonment
Software Productivity Measurement Using Multiple Size Measures
Low-Cost Testing for Path Coverage of MPI Programs Using Surrogate-Assisted Changeable Multi-Objective Optimization
Guest Editors' Introduction Requirements Engineering
UltraFuzz: Towards Resource-Saving in Distributed Fuzzing
Code Reviews With Divergent Review Scores: An Empirical Study of the OpenStack and Qt Communities
Quantitative Aspects of Software Validation
Exception Handling in the Spreadsheet Paradigm
A Methodology for Structured Database Decomposition
The Importance of the Correlation in Crossover Experiments
Operational Requirements Accommodation in Distributed System Design
The Impact of Code Review on Architectural Changes
A Framework for Evaluating the Results of the SZZ Approach for Identifying Bug-Introducing Changes
A Validation of the Component-Based Method for Software Size Estimation
Question Selection for Multimodal Code Search Synthesis Using Probabilistic Version Spaces
Experiments in Optimizing FP
Analysis of the Effects of Software Reuse on Customer Satisfaction in an RPG Environment
An Empirical Study of Software Metrics
SPD: A Humanized Documentation Technology
Dynamic Software Science with Applications
Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro
On the Semantics of Associations and Association Ends in UML
Efficient Relational Calculation for Software Analysis
Software Engineering Project Standards
Quantitative Estimates of Debugging Requirements
On the Frame Problem in Procedure Specifications
LUK: Empowering Log Understanding With Expert Knowledge From Large Language Models
Creation of Views for Reuse of Software with Different Data Representations
Cyclomatic Complexity Density and Software Maintenance Productivity
Introduction to the Special Section on Petri Nets and Performance Models
CSPL: An Ada95-Like, Unix-Based Process Environment
Modular Verification of Data Abstractions with Shared Realizations
Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts
Using Patterns to Design Rules in Workflows
Finding Trends in Software Research
An Efficient Pictorial Database System for PSQL
iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees
The Role of Method Chains and Comments in Software Readability and Comprehension - An Experiment
Verification of Concurrent Control Flow in Distributed Computer Systems
An Extension of "Representative Instances and gamma-Acyclic Relational Schemes"
Hybrid Program Dependence Approximation for Effective Dynamic Impact Prediction
Analysis of Secondary Storage Fragmentation
An Experiment on Unit Increase in Problem Complexity
Introducing Iteration into the Pure Lisp Theorem Prover
Statistical and Scientific Database Issues
Software Configuration Engineering in Practice Interviews, Survey, and Systematic Literature Review
A New Approach to Version Control
Property-Based Software Engineering Measurement
Automatic Detection and Exploitation of Branch Constraints for Timing Analysis
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
The Effectiveness of Supervised Machine Learning Algorithms in Predicting Software Refactoring
Guest Editors' Introduction Special Section on Petri Net Performance Models
Investigating the Impact of Development Task on External Quality in Test-Driven Development: An Industry Experiment
Specifying and Verifying Requirements of Real-Time Systems
A Mathematical Framework for the Investigation of Testing
Using CSP to Detect Errors in the TMN Protocol
A Note on Denial-of-Service in Operating Systems
Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases
What Predicts Software Developers' Productivity?
Ethical Issues in Empirical Studies of Software Engineering
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets
To Follow or Not to Follow: Understanding Issue/Pull-Request Templates on GitHub
A Systematical Study on Application Performance Management Libraries for Apps
Key Establishment in Large Dynamic Groups Using One-Way Function Trees
Tidier Drawings of Trees
Making Sense of AI Systems Development
Mining Treatment-Outcome Constructs from Sequential Software Engineering Data
Coverage-Based Greybox Fuzzing as Markov Chain
Function Points in the Estimation and Evaluation of the Software Process
Combining Static Concurrency Analysis with Symbolic Execution
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
The Evolution Support Environment System
Concretely Mapped Symbolic Memory Locations for Memory Error Detection
The Soma: A Programming Construct for Distributed Processing
A Prototyping Language for Real-Time Software
Steps to an Advanced Ada^1 Programming Environment
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems
Minimizing Aperiodic Response Times in a Firm Real-Time Environment
Introduction to Special Issue on Software for Critical Systems
"On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions
Experience with a Software Engineering Project Course
Does Code Decay? Assessing the Evidence from Change Management Data
Evaluation of Accuracy in Design Pattern Occurrence Detection
Matching Secrets in the Absence of a Continuously Available Trusted Authority
Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems
How to Improve the Calibration of Cost Models
Range Fixes: Interactive Error Resolution for Software Configuration
How Reliable Are Systematic Reviews in Empirical Software Engineering?
Effect of Requirements Analyst Experience on Elicitation Effectiveness: A Family of Quasi-Experiments
PARLOG and Its Applications
SODOS: A Software Documentation Support Environment - Its Use
Conceptual Modeling of Coincident Failures in Multiversion Software
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
Structural Testing of Concurrent Programs
Prototyping Versus Specifying: A Multiproject Experiment
Using Automatic Process Clustering for Design Recovery and Distributed Debugging
Qualitative Surveys in Software Engineering Research: Definition, Critical Review, and Guidelines
Reuse of Software Through Generation of Partial Systems
You Are the Only Possible Oracle: Effective Test Selection for End Users of Interactive Machine Learning Systems
An Overview of a Graphical Multilanguage Applications Environment
Generating Test Data from OCL Constraints with Search Techniques
Mining Similar Methods for Test Adaptation
An Iconic Programming System, HI-VISUAL
Self-Adaptive and Online QoS Modeling for Cloud-Based Software Services
Computer-Aided Software Development Process Design
Optimum Control Limits for Employing Statistical Process Control in Software Process
Software Reliability Modeling and Analysis
Interactive Pattern Recognition: A System and Data Structure
Identifying High Performance ERP Projects
Warm Standby in Hierarchically Structured Process-Control Programs
Variability Analysis of Requirements: Considering Behavioral Differences and Reflecting Stakeholders' Perspectives
The Rigorous Development of a System Version Control Program
An Automatic Physical Designer for Network Model Databases
On Path Cover Problems in Digraphs and Applications to Program Testing
Performance Analysis of Disk Modulo Allocation Method for Cartesian Product Files
Multiprocessor Scheduling with the Aid of Network Flow Algorithms
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
Providing Quality Responses with Natural Language Interfaces: The Null Value Problem
Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems
Structured Solution of Asynchronously Communicating Stochastic Modules
Reliability of Systems with Markov Transfer of Control, II
Achieving Strong Consistency in a Distributed File System
Heterogeneous Defect Prediction
A Data Mining Approach for Detecting Higher-Level Clones in Software
Improving Retrieval-Augmented Deep Assertion Generation via Joint Training
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications
On the Optimal Selection of Multilist Database Structures
An Approach to Formal Definitions and Proofs of Programming Principles
Echo Algorithms: Depth Parallel Operations on General Graphs
Tool Support for Testing Concurrent Java Components
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method
Mining Semantic Loop Idioms
Symbolic Testing and the DISSECT Symbolic Evaluation System
Estimating the Number of Faults in Code
GALE: Geometric Active Learning for Search-Based Software Engineering
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
Correction to "A Rational Design Process: How and Why to Fake It"
Connectors for Mobile Programs
Resilient Distributed Computing
PHPJoy: A Novel Extended Graph-Based PHP Code Analysis Framework
Systematic Review and Aggregation of Empirical Studies on Elicitation Techniques
ACFix: Guiding LLMs With Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
The Effect of Work Environments on Productivity and Satisfaction of Software Engineers
Consistency Issues in Distributed Checkpoints
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
Design Recovery for Distributed Systems
On Fault Representativeness of Software Fault Injection
An Interval Logic for Real-Time System Specification
Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments
Software Development Productivity of European Space, Military, and Industrial Applications
An Analytic/Empirical Study of Distributed Sorting on a Local Area Network
Version Support for Engineering Database Systems
Cross-Project Online Just-In-Time Software Defect Prediction
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
Reflections on Metaprogramming
Software Structure for Display Management Systems
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
DEVS Formalism: A Framework for Hierarchical Model Development
Derivation of a Parallel Algorithm for Balancing Binary Trees
The N-Version Approach to Fault-Tolerant Software
An Observe-Model-Exercise* Paradigm to Test Event-Driven Systems with Undetermined Input Spaces
Studying Bad Updates of Top Free-to-Download Apps in the Google Play Store
Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems
The Object-Oriented Functional Data Language
Multimodal Fusion for Android Malware Detection Based on Large Pre-Trained Models
An Empirical Study of Software Reuse with Special Attention to Ada
Dynamic Rematerialization: Processing Distributed Queries Using Redundant Data
Priority Queues and Sorting Methods for Parallel Simulation
Comments on "More Success and Failure Factors in Software Reuse"
Development of Véda, a Prototyping Tool for Distributed Algorithms
LLM-Based Automation of COSMIC Functional Size Measurement From Use Cases
Common Trends in Software Fault and Failure Data
Comments on "Allocating Programs Containing Branches and Loops Within a Multiple Processor System"
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Pair Programming and Software Defects-A Large, Industrial Case Study
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
A Framework for Neural Net Specification
A Multi-Objective Technique to Prioritize Test Cases
A Case Study in Structure Specification: A Grid Description of Scribe
The Power of Small LLMs: A Multi-Agent for Code Generation via Dynamic Precaution Tuning
FA-Fuzz: A Novel Scheduling Scheme Using Firefly Algorithm for Mutation-Based Fuzzing
Toward an Architectural Knowledge Base for Wireless Service Engineering
Making Pointers Safe in System Programming Languages
Compiling Quantamorphisms for the IBM Q Experience
Data Compression in Scientific and Statistical Databases
Fundamentals of Deductive Program Synthesis
Evaluation of Competing Software Reliability Predictions
A Comparison of Natural Language Understanding Platforms for Chatbots in Software Engineering
Predicting Source Code Changes by Mining Change History
Redundancy in Data Structures: Some Theoretical Result
Understanding Mentors' Engagement in OSS Communities via Google Summer of Code
An Industrial Survey of Safety Evidence Change Impact Analysis Practice
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
Reporting Usability Defects: A Systematic Literature Review
Cerebro: Static Subsuming Mutant Selection
Update Transport: A New Technique for Update Synchronization in Replicated Database Systems
What Types of Defects Are Really Discovered in Code Reviews?
Guest Editors' Introduction: Specification and Analysis of Real-Time Systems
A System for Specification and Rapid Prototyping of Application Command Languages
Synthesizing Code for Resource Controllers
The Analysis of Safety Critical Software Systems
A Design Methodology for Data-Parallel Applications
Modula and a Question of Time
A Large-Scale Empirical Study of Just-in-Time Quality Assurance
An Autonomous Engine for Services Configuration and Deployment
On "Prioritizing Test Cases for Regression Testing"
How Accurate Is Scientific Software?
Retargeting Sequential Image-Processing Programs for Data Parallel Execution
An Empirical Study on Log Level Prediction for Multi-Component Systems
Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search
Using Program Slicing in Software Maintenance
Prudent Engineering Practice for Cryptographic Protocols
Data Structured Programming: Program Design without Arrays and Pointers
Optimal Partitioning of Random Programs Across two Processors
The Design of a Multicore Extension of the SPIN Model Checker
TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation
Editorial: New EIC Introduction
Functional Program Testing
Real-Time Execution Monitoring
Measuring Improvements in Program Clarity
Subsystems of Processes with Deadlock Avoidance
Exception Handling Patterns for Process Modeling
Inferring Bug Signatures to Detect Real Bugs
A Systematic Literature Review and Meta-Analysis on Cross Project Defect Prediction
TuringTool: A User Interface to Aid in the Software Maintenance Task
Software and Hardware in Data Processing Budgets
Subtypes for Specifications: Predicate Subtyping in PVS
Reducing Unauthorized Modification of Digital Objects
Spatial Complexity Metrics: An Investigation of Utility
Verification and Synthesis of Responsive Symmetric Uni-Rings
A Functional Approach to Program Testing and Analysis
An Algorithm to Decide Feasibility of Linear Integer Constraints Occurring in Decision Tables
Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation
CEDAR: Silent Control Flow Error Detection via Heterogeneous Relation Learning
DupHunter: Detecting Duplicate Pull Requests in Fork-Based Development
Deep Semantic Feature Learning for Software Defect Prediction
The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory
Comparing Verification Systems: Interactive Consistency in ACL2
Perceived Influences on Implementing Data Warehousing
Characterizing Communication Channel Deadlocks in Sequence Diagrams
Self-Admitted Technical Debt in the Embedded Systems Industry: An Exploratory Case Study
Three "Influential" Software Design Papers
On Inspection and Verification of Software with Timing Requirements
The Role of Inspection in Software Quality Assurance
Correction to "A Practical Approach to Programming with Assertions"
Control Computations and the Design of Loop Control Structures
FAML: A Generic Metamodel for MAS Development
Expanding Queries for Code Search Using Semantically Related API Class-names
Software Descriptions with Flow Expressions
Revisiting Abstractions for Software Architecture and Tools to Support Them