yusuke1997/dblp-id-title huggingface dataset:
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
MetaSel: A Test Selection Approach for Fine-Tuned DNN Models
An Overview of JSD
Improving the Reliability of Function Point Measurement: An Empirical Study
Introducing Object Orientation into Large and Complex Systems
Extending the Noninterference Version of MLS for SAT
Data Structures for Parallel Resource Management
Automated Co-Evolution of Metamodels and Code
Requirements Specification for Process-Control Systems
Characterizing Timeout Builds in Continuous Integration
Preventing Defects: The Impact of Requirements Traceability Completeness on Software Quality
Long Live the Image: On Enabling Resilient Production Database Containers for Microservice Applications
PRIM: A Fast Matrix Transpose Method
Provable Improvements on Branch Testing
Verifying General Safety Properties of Ada Tasking Programs
Supporting Scenario-Based Requirements Engineering
A Formal Evaluation of Data Flow Path Selection Criteria
Towards the Analysis and Completion of Syntactic Structure Ellipsis for Inline Comments
Weak Mutation Testing and Completeness of Test Sets
Specification and Implementation of Mutual Exclusion
Database Skeleton and Its Application to Logical Database Synthesis
Complexity of Points-To Analysis of Java in the Presence of Exceptions
The Programmer's Apprentice: Knowledge Based Programm Editing
Studying the Interplay Between the Durations and Breakages of Continuous Integration Builds
Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection
Functional Paleontology: The Evolution of User-Visible System Services
Discrete Time Stochastic Petri Nets
Data-Driven Parallel Production Systems
Software Bootlenecking in Client-Server Systems and Rendezvous Networks
Improving Timeliness and Visibility in Publishing Software Engineering Research
Performance Analysis of FFT Algorithms on Multiprocessor Systems
Incremental Integration Testing of Concurrent Programs
An Optimistic Locking Technique For Concurrency Control in Distributed Databases
ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering
Transfer Learning Across Variants and Versions: The Case of Linux Kernel Size
Selecting Best Practices for Effort Estimation
Effects of Developer Experience on Learningand Applying Unit Test-Driven Development
Virtual Platform: Effective and Seamless Variability Management for Software Systems
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems
Trie Hashing With Controlled Load
Scheduling Tasks with Resource Requirements in Hard Real-Time Systems
Estimating Computational Requirements in Multi-Threaded Applications
Automatic Identification and Classification of Software Development Video Tutorial Fragments
Analyzing Concurrency Control Algorithms When User and System Operations Differ
Automatically Distilling Storyboard With Rich Features for Android Apps
Correction to "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool"
BinCola: Diversity-Sensitive Contrastive Learning for Binary Code Similarity Detection
Property Extraction in Well-Founded Property Sets
Efficient Dynamic Updates of Distributed Components Through Version Consistency
A Method for Improving String Pattern Matching Machine
The Source Code Control System
Wolf in Sheep's Clothing: Shearing the Camouflage of Malicious Java Components in Maven
A Hookup Theorem for Multilevel Security
A Model for the Basic Block Protocol of the Cambridge Ring
Trace Analysis for Conformance and Arbitration Testing
Android Custom Permissions Demystified: A Comprehensive Security Evaluation
ReCompGPT: An NL2NL Framework for Automated Requirements Completeness
Supporting Change Impact Analysis Using a Recommendation System: An Industrial Case Study in a Safety-Critical Context
Better Pay Attention Whilst Fuzzing
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems
Optimization Strategies for Relational Disjunctive Queries
Fragmenting Relations Horizontally Using a Knowledge-Based Approach
Strategies for Software Reuse: A Principal Component Analysis of Reuse Practices
Augmenting Diffs With Runtime Information
The FreeBSD Project: A Replication Case Study of Open Source Development
On the Automatic Modularization of Software Systems Using the Bunch Tool
API Usage Recommendation Via Multi-View Heterogeneous Graph Representation Learning
Explaining Static Analysis With Rule Graphs
Detecting the Locations and Predicting the Maintenance Costs of Compound Architectural Debts
How Should Software Engineering Secondary Studies Include Grey Material?
Correction: "The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software"
A Systematic Survey of Program Comprehension through Dynamic Analysis
A Retrospective on Mining Version Histories to Guide Software Changes
Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model
Toward a Smell-Aware Bug Prediction Model
The POSTGRES Rule Manager
Guest Editor's Introduction: International Conference on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
The Optimal Class Size for Object-Oriented Software
Using Dependency Structures for Prioritization of Functional Test Suites
Lower Bound on the Number of Processors and Time for Scheduling Precedence Graphs with Communication Costs
Automatic and Accurate Expansion of Abbreviations in Parameters
Editorial: Program Transformations
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
Real-Time Software Life Cycle with the Model System
Reply to "Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods"
A Systematic Evaluation of Static API-Misuse Detectors
Automated Classification of Overfitting Patches With Statically Extracted Code Features
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
Performance Study of Two Phase Locking in Single-Site Database Systems
SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
Timed Wp-Method: Testing Real-Time Systems
Specification of the UNIX Filing System
CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models
Database Support for Versions and Alternatives of Large Design Files
From CSP Models to Markov Models
Service Candidate Identification from Monolithic Systems Based on Execution Traces
The Evolution of Wang Institute's Master of Software Engineering Program
A Model for Software Development Effort and Cost Estimation
A Causal Model for Software Cost Estimating Error
Contract-Based Program Repair Without The Contracts: An Extended Study
Cleanroom Software Development: An Empirical Evaluation
Exploring the Effectiveness of LLMs in Automated Logging Statement Generation: An Empirical Study
Programmer-Friendly Refactoring Errors
Software Measurement: A Necessary Scientific Basis
A General Theory of Composition for a Class of "Possibilistic'' Properties
Asking and Answering Questions During Memory Profiling
Isolation Method in a Network of Queues
Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search
Building Knowledge through Families of Experiments
View Definition and Generalization for Database Integration in a Multidatabase System
METRIC$^{+}$+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism
Machine Learning for Technical Debt Identification
Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language
Discrete Systems and Flowcharts
Finding and Evaluating the Performance Impact of Redundant Data Access for Applications that are Developed Using Object-Relational Mapping Frameworks
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience
Locating Features in Source Code
How Different is Test Case Prioritization for Open and Closed Source Projects?
Mining Workflow Models from Web Applications
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Validating the ISO/IEC 15504 Measure of Software Requirements Analysis Process Capability
CHARMY: A Framework for Designing and Verifying Architectural Specifications
Critical Races in Ada Programs
CSDL: A Language for Cooperative Systems Design
Applying Formal Methods to a Certifiably Secure Software System
Extending Abstract Interpretation to Dependency Analysis of Database Applications
A Survey of Recent Trends in Testing Concurrent Software Systems
An Experience in Testing the Security of Real-World Electronic Voting Systems
On the Accuracy, Efficiency, and Reusability of Automated Test Oracles for Android Devices
Implementation of the Database Machine DIRECT
Software Engineering and Structured Programming
Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development
Performance Modeling of Shared-Resource Array Processors
Metric-Based Fault Prediction for Spreadsheets
The Effects of Test-Driven Development on External Quality and Productivity: A Meta-Analysis
State of the Journal Address
Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study
Characterizing and Finding System Setting-Related Defects in Android Apps
Specification Techniques for Data Abstractions
AIM: Automated Input Set Minimization for Metamorphic Security Testing
MMO: Meta Multi-Objectivization for Software Configuration Tuning
An Engineering Approach to Software Test Data Design
Detecting Bugs by Discovering Expectations and Their Violations
A Lightweight System for Detecting and Tolerating Concurrency Bugs
Improving the Performance of an Optimistic Concurrency Control Algorithm Through Timestamps and Versions
Specification of Realtime Systems Using ASTRAL
Some Analysis Techniques for Asynchronous Multiprocessor Algorithms
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
On the Value of Ensemble Effort Estimation
Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities
A Machine Learning Approach to Improve the Detection of CI Skip Commits
Mathematical Principles for a First Course in Software Engineering
Timed State Space Analysis of Real-Time Preemptive Systems
Memory Access Dependencies in Shared-Memory Multiprocessors
Capabilities and Practices in DevOps: A Multivocal Literature Review
Extended K-d Tree Database Organization: A Dynamic Multiattribute Clustering Method
Starvation and Critical Race Analyzers for Ada
EDZL Schedulability Analysis in Real-Time Multicore Scheduling
TrinityRCL: Multi-Granular and Code-Level Root Cause Localization Using Multiple Types of Telemetry Data in Microservice Systems
An Interpreter of Attribute Grammars and Its Application to Waveform Analysis
Automated Behavioral Testing of Refactoring Engines
A VDM Case Study in mural
The Design of a Message Switching System: An Application and Evaluation of Modula
Incentivizing Deep Fixes in Software Economies
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
Self-Supervising BPEL Processes
Information Flow Certification Using an Intermediate Code Program Representation
What Leads to a Confirmatory or Disconfirmatory Behavior of Software Testers?
Composite Constant Propagation and its Application to Android Program Analysis
Reliability Analysis of Large Software Systems: Defect Data Modeling
Modeling and Improving an Industrial Software Process
Automatic Compiler Production: The Front End
Spawn: A Distributed Computational Economy
Multi-Objective Quality-Driven Service Selection - A Fully Polynomial Time Approximation Scheme
ProFuse: Test Case Prioritization Based on Multi Dimensional Feature Fusion for Logic Synthesis Tools Testing Acceleration
Software Engineering Research Trends 1994-2024: Stepping Beyond the Lamppost
Predictive Comment Updating With Heuristics and AST-Path-Based Neural Learning: A Two-Phase Approach
Enforcing Correctness of Collaborative Business Processes Using Plans
The Transformation Schema: An Extension of te Data Flow Diagram to Represent Control and Timing
Visual Knowledge Engineering
Astraea: Grammar-Based Fairness Testing
DeepLineDP: Towards a Deep Learning Approach for Line-Level Defect Prediction
A Control-Flow Normalization Algorithm and Its Complexity
Reducing Features to Improve Code Change-Based Bug Prediction
Performance Analysis of Concurrency Control Using Locking with Deferred Blocking
A Language and System for the Construction and Tuning of Parallel Programs
Use and Misuse of the Term "Experiment" in Mining Software Repositories Research
The Qualified Function Approach to Analysis of Program Behavior and Performance
Input-Sensitive Profiling
Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks
Checking Smart Contracts With Structural Code Embedding
Hyperparameter Optimization for AST Differencing
A Technique of Algorithm Construction on Sequences
Enforcing Exception Handling Policies with a Domain-Specific Language
Estimating Capacity For Sharing in a Privately Owned Workstation Environment
Statically Safe Speculative Execution for Real-Time Systems
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
General Test Result Checking with Log File Analysis
Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel
Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets
Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces
Documentation Driven Development for Complex Real-Time Systems
Prompt Alchemy: Automatic Prompt Refinement for Enhancing Code Generation
Design Synthesis from Interaction and State-Based Specifications
Advanced Exception Handling Mechanisms
Cognitive Heuristics in Software Engineering: Applying and Extending Anchoring and Adjustment to Artifact Reuse
A Case History Analysis of Software Error Cause-Effect Relationships
How to Find Actionable Static Analysis Warnings: A Case Study With FindBugs
The Cactis Project: Database Support for Software Environment
Automatically Recommending Peer Reviewers in Modern Code Review
Development and Structure of an X.25 Implementation
FeatRacer: Locating Features Through Assisted Traceability
Improving Co-Decoding Based Security Hardening of Code LLMs Leveraging Knowledge Distillation
Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect"
The State of Software Maintenance
Do Automated Fixes Truly Mitigate Smart Contract Exploits?
Engineering and Analysis of Fixed Priority Schedulers
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
A Domain Strategy for Computer Program Testing
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
Forecasting Architectural Decay From Evolutionary History
Optimum Cell Size for the Storage of Messages
Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data
Reactive Auto-Completion of Modeling Activities
Scalably Detecting Third-Party Android Libraries With Two-Stage Bloom Filtering
A Space-Efficient Optimization of Call-by-Need
Extending Typestate Checking Using Conditional Liveness Analysis
Software Reliability Models: Assumptions, Limitations, and Applicability
Experiences with a Feedback Version Development Methodology
Beyond Technical Aspects: How Do Community Smells Influence the Intensity of Code Smells?
ADI: Automatic Derivation of Invariants
Inferring Declarative Requirements Specifications from Operational Scenarios
Code Optimization Considerations in List Processing Systems
Clusters and Dialogues for Set Implementations
Message Logging: Pessimistic, Optimistic, Causal, and Optimal
A Deep Learning Model for Estimating Story Points
A Measure of Control Flow Complexity in Program Text
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
Optimization of Automated and Manual Software Tests in Industrial Practice: A Survey and Historical Analysis
Performance of Storage Management in an Implementation of SNOBOL4
Efficient Online Schedulability Tests for Real-Time Systems
Correction to "An Empirical Evaluation of Weak Mutation"
The Use of Proof in Diversity Arguments
Prediction of Software Reliability Using Connectionist Models
Correction to "The Case for Electric Design of Real-Time Software''
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
Observer-A Concept for Formal On-Line Validation of Distributed Systems
Reinforcement-Learning-Guided Source Code Summarization Using Hierarchical Attention
Model-Based Performance Prediction in Software Development: A Survey
A Universal File Server
Including Scalars in a Programming Language Based on the Relational Algebra
Software Science Applied to APL
Using Spanning Sets for Coverage Testing
Constructive Protocol Specification Using Cicero
Evaluation and Measurement of Software Process Improvement - A Systematic Literature Review
Towards Prioritizing Documentation Effort
A Procedure for Analyzing Unbalanced Datasets
Software Projects in an Academic Environment
A Message-Based Approach to Discrete-Event Simulation
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package
Two Studies of Framework-Usage Templates Extracted from Dynamic Traces
On the Distribution of Software Faults
A Distributed Drafting Algorithm for Load Balancing
Error Sensitive Test Cases Analysis (ESTCA)
Towards Usable Neural Comment Generation via Code-Comment Linkage Interpretation: Method and Empirical Study
Generating Concise Patches for Newly Released Programming Assignments
On the Reliability of the IBM MVS/XA Operating
Supertotal Function Definition in Mathematics and Software Engineering
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
Empirical Validation of Automated Vulnerability Curation and Characterization
A Programming Methodology for Dual-Tier Multicomputers
Software Fault Tolerance: An Evaluation
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities
An Applicable Family of Data Flow Testing Criteria
Changeset-Based Topic Modeling of Software Repositories
Capacity of Voting Systems
Software Reliability Trend Analyses from Theoretical to Practical Considerations
Matching and Merging of Variant Feature Specifications
An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems
A Lean Simulation Framework for Stress Testing IoT Cloud Systems
A Controlled Experiment in Maintenance Comparing Design Patterns to Simpler Solutions
Criteria for Software Reliability Model Comparisons
A Wizard of Oz Study Simulating API Usage Dialogues With a Virtual Assistant
A Knowledge-Based Approach to the Analysis of Loops
COTE: Predicting Code-to-Test Co-Evolution by Integrating Link Analysis and Pre-Trained Language Model Techniques
Impact of "Evaluating Software Complexity Measures"
Performance Analysis for Object-Oriented Software: A Systematic Mapping
On Some Reliability Estimation Problems in Random and Partition Testing
The Role of the Tester's Knowledge in Exploratory Software Testing
The Role of Modeling in the Performance Testing of E-Commerce Applications
Guest Editors' Introduction to the Special Section on the International Conference on Software Engineering
Concurrent Certifications by Intervals of Timestamps in Distributed Database Systems
Formal Methods for Protocol Testing: A Detailed Study
Bounding Cache-Related Preemption Delay for Real-Time Systems
Local and Global Explainability for Technical Debt Identification
Implementing and Evaluating Candidate-Based Invariant Generation
Evaluating the Impact of Possible Dependencies on Architecture-Level Maintainability
Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems
Guest Editors' Introduction Security and Privacy
Characterizing the Usage, Evolution and Impact of Java Annotations in Practice
Interface Grammars for Modular Software Model Checking
Reverse Engineering Input Syntactic Structure from Program Execution and Its Applications
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Finding Correctness Issues on Ethereum Verkle Tries via Preimage-Aware Differential Testing
A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems
ASSIST-V: An Environment Simulator for IBM 360 Systems Software Development
An Information-Theoretic Analysis of Relational Databases - Part II: Information Structures of Database Schemas
Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers
In Memoriam - David Notkin (1953-2013)
Error Recovery in Asynchronous Systems
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification
On Parallelization of Static Scheduling Algorithms
Object-Oriented Development, Revisited
Computation Tree Logic Guided Program Repair
Investigating Reading Techniques for Object-Oriented Framework Learning
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
Algorithms for Constructing Minimal Deduction Graphs
A Generalized Query-by-Example Data Manipulation Language Based on Database Logic
The Rejection Rate for Tasks with Random Arrivals, Deadlines, and Preemptive Scheduling
Multi-Language Software Development: Issues, Challenges, and Solutions
Response to "Comments on 'On Object Systems and Behavior Inheritance'"
Knowledge-Based Programming: A Survey of Program Design and Construction Techniques
Aspect-Oriented Race Detection in Java
Version Control Systems: An Information Foraging Perspective
Representing and Reasoning With Non-Functional Requirements: A Retrospective
Satellite: Detecting and Analyzing Smart Contract Vulnerabilities Caused by Subcontract Misuse
Analyzing Error-Prone System Structure
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets
Preserving Abstraction in Concurrent Programming
The Determination of Loop Invariants for Programs with Arrays
Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice
Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS
A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System
Simpler Hyperparameter Optimization for Software Analytics: Why, How, When?
Performance Analysis of Two-Phase Locking
On the Combined Problem of Compaction and Sorting
LUNA: A Model-Based Universal Analysis Framework for Large Language Models
Correction to "A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution"
Rapid Software Development through Team Collocation
Optimal Dynamic Control of Resources in a Distributed System
An Optimal Algorithm for Processing Distributed Star Queries
The Guardian Model and Primitives for Exception Handling in Distributed Systems
An Assessment of the Programming Language Pascal
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models
Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties"
Analysis of Restart Mechanisms in Software Systems
Architecture-Based Performance Analysis Applied to a Telecommunication System
Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security
Global States of a Distributed System