yusuke1997/dblp-id-title huggingface dataset:
Task Response Time For Real-Time Distributed Systems With Resource Contentions
50 Years of Transactions on Software Engineering
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-Physical Systems
A Specification Method for Specifying Data and Procedural Abstractions
Code Review Automation: Strengths and Weaknesses of the State of the Art
COVERT: Compositional Analysis of Android Inter-App Permission Leakage
GenProg: A Generic Method for Automatic Software Repair
Zebu: A Language-Based Approach for Network Protocol Message Processing
Support for Maintaining Object-Oriented Programs
Foreword What is AI? And what Does It Have to Do with Software Engineering?
Making Use of Scenarios for Validating Analysis and Design
Plat_Forms: A Web Development Platform Comparison by an Exploratory Experiment Searching for Emergent Platform Properties
Efficient State Identification for Finite State Machine-Based Testing
Methodbook: Recommending Move Method Refactorings via Relational Topic Models
Towards a Better Understanding of Data Models Through the Multilingual Database System
Estimating the Probability of Failure When Testing Reveals No Failures
Evaluating Automatic Program Repair Capabilities to Repair API Misuses
An Empirical Study on API Usages
CfgNet: A Framework for Tracking Equality-Based Configuration Dependencies Across a Software Project
How Do Developers Structure Unit Test Cases? An Empirical Analysis of the AAA Pattern in Open Source Projects
Program Behavior Discovery and Verification: A Graph Grammar Approach
CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source Code
Informal and Formal Requirements Specification Languages: Bridging the Gap
Reply to Comments on "An Interval Logic for Real-Time System Specification'
Corrigendum to "Proofs of Networks of Processes''
Comments on "On Criteria for Module Interfaces
Empowering the Human as the Fitness Function in Search-Based Model-Driven Engineering
Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks
The Model Checker SPIN
Introduction to Special Section (Guest Editorial)
The Impact of Institutional Forces on Software Metrics Programs
SmartFL: Semantics Based Probabilistic Fault Localization
Commutable Transactions and the Time_pad Synchronization Mechanism for Distributed Systems
Using Traceability Links to Recommend Adaptive Changes for Documentation Evolution
A Conceptual Analysis of the Draco Approach to Constructing Software Systems
Overhead Storage Considerations and a Multilinear Method for Data File Compression
Examiner-Pro: Testing Arm Emulators Across Different Privileges
A New Nonlinear Pseudorandom Number Generator
On a Class of Linear Maps for Data Compression
Safety Practices in Requirements Engineering: The Uni-REPM Safety Module
Requirements Elicitation and Validation with Real World Scenes
Requirements Validation Through Viewpoint Resolution
Mean Value Analysis for Blocking Queueing Networks
Integrating Multiple Paradigms within the Blackboard Framework
A Qualitative Study of the Benefits and Costs of Logging From Developers' Perspectives
Direct Implementation of Abstract Data Types from Abstract Specifications
An Empirical Study of Speed and Communication in Globally Distributed Software Development
An Architectural Technical Debt Index Based on Machine Learning and Architectural Smells
Specification of Iterators
Dynamic Adaptation and Deployment of Distributed Components In Hadas
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs
An Empirical Validation of Oracle Improvement
Dynamic Syntax Specification Using Grammar Forms
The Implementation of Run-Time Diagnostics in Pascal
Mutation Testing in Practice: Insights From Open-Source Software Developers
Comparing Semi-Automated Clustering Methods for Persona Development
An Analysis of Swapping Policies in Virtual Storage Systems
A Two-Person Inspection Method to Improve Programming Productivity
Analyzing Regression Test Selection Techniques
A*: A Language for Implementing Language Processors
Mind the Gap! A Study on the Transferability of Virtual Versus Physical-World Testing of Autonomous Driving Systems
The Annotated Assistant: A Step Towards Human Engineering
Graph Based Mining of Code Change Patterns From Version Control Commits
Trident: Controlling Side Effects in Automated Program Repair
Comments on "Estimating the Number of Faults in Code" and Two Corrections to Published Data
Integer Parameter Synthesis for Real-Time Systems
Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis
An Efficient Implementation of Static String Pattern Matching Machines
Specifying Ada Server Tasks with Executable Formal Grammars
Eyes on Code: A Study on Developers' Code Navigation Strategies
On Preventing Programming Languages from Interfering with Programming
Software Requirements Analysis for Real-Time Process-Control Systems
On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols
Developers' Views on Commercial Involvement in OSS: A Survey From Three Projects
Resource Allocation for Primary-Site Fault-Tolerant Systems
Learning Assumptions for CompositionalVerification of Timed Systems
A Decomposition Solution to a Queueing Network Model of a Distributed File System with Dynamic Locking
AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
Anomaly Detection in Concurrent Software by Static Data Flow Analysis
Off to a Good Start: Dynamic Contribution Patterns and Technical Success in an OSS Newcomer's Early Career
Variability and Reproducibility in Software Engineering: A Study of Four Companies that Developed the Same System
Dependability Modeling and Analysis of Distributed Programs
Performance Considerations for an Operating System Transaction Manager
What Industry Needs from Architectural Languages: A Survey
Why Did Developers Migrate Android Applications From Java to Kotlin?
Data-Oriented Exception Handling
Evaluating Legal Implementation Readiness Decision-Making
A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement
Deprecation of Packages and Releases in Software Ecosystems: A Case Study on NPM
Confirmation Bias and Time Pressure: A Family of Experiments in Software Testing
Stability and Distributed Scheduling Algorithms
Software Support for Multiprocessor Latency Measurement and Evaluation
Maisie: A Language for the Design of Efficient Discrete-Event Simulations
Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects
Interactive, Evolutionary Search in Upstream Object-Oriented Class Design
A Semi-Automatic Approach for Extracting Software Product Lines
Coordinating Multiagent Aplications on the WWW: A Reference Architecture
A Methodology for Data Schema Integration in the Entity Relationship Model
AC++ Data Model Supporting Reachability Analysis and Dead Code Detection
Guaranteed Response Times in a Hard-Real-Time Environment
Schedule of Bad Smell Detection and Resolution: A New Way to Save Effort
Efficient Software Verification: Statistical Testing Using Automated Search
Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study
Compaction with General Timing
Reference Model for Smooth Growth of Software Systems
Reasoning About Places, Times, and Actions in the Presence of Mobility
Heterogeneous Data Translations Based on Environment Grammars
Data Integration in Distributed Databases
A Functional Approach to Module Verification
Correction to "Specification and Analysis of System Architecture Using Rapide"
Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic
NON-VON's Performance on Certain Database Benchmarks
Identification, Impact, and Refactoring of Smells in Pipe-Like Web Mashups
Iterative Enhancement: A Practical Technique for Software Development
How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models
Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support
Software Reuse Research: Status and Future
SeqTrans: Automatic Vulnerability Fix Via Sequence to Sequence Learning
Using Natural Language Processing to Automatically Detect Self-Admitted Technical Debt
Technology for Testing Nondeterministic Client/Server Database Applications
Dealing with Burstiness in Multi-Tier Applications: Models and Their Parameterization
Proving the Correctness of Multiprocess Programs
Conflicts in Policy-Based Distributed Systems Management
Working Sets Past and Present
Detecting Malicious Packages in PyPI and NPM by Clustering Installation Scripts
DeepMerge: Learning to Merge Programs
Techniques to Tackle State Explosion in Global Predicate Detection
Artificial Patterns
APIMatchmaker: Matching the Right APIs for Supporting the Development of Android Apps
Automated Smell Detection and Recommendation in Natural Language Requirements
Towards Banishing the Cut from Prolog
A Case History Development of a Foolproofing Interface Documentation System
Device Monitors
Carving and Replaying Differential Unit Test Cases from System Test Cases
Experience with Multiple Processor Versions of Concurrent C
Comment on "A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems''
A Relational Algebraic Approach to Protocol Verification
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs
Induction as the Basis for Program Verification
Reviews, Walkthroughs, and Inspections
The Generic Consensus Service
Design and Assurance of Control Software
The Use of Summation to Aggregate Software Metrics Hinders the Performance of Defect Prediction Models
A Testing Framework for Mobile Computing Software
Linear and Branching System Metrics
Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment
Exercises in Software Design
Reachability Testing of Concurrent Programs
Towards Better Dependency Management: A First Look at Dependency Smells in Python Projects
Comments on "Structured Programming in a Production Programming Environment''
Revisiting Test Impact Analysis in Continuous Testing From the Perspective of Code Dependencies
An Entity Relationship Programming Language
Site Initialization, Recovery, and Backup in a Distributed Database System
Automatic Detection and Removal of Ineffective Mutants for the Mutation Analysis of Relational Database Schemas
Validating Halstead's Theory with System 3 Data
An Ensemble Approach for Annotating Source Code Identifiers With Part-of-Speech Tags
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
Solving the Large Scale Next Release Problem with a Backbone-Based Multilevel Algorithm
A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm
A Retrospective of ChangeDistiller: Tree Differencing for Fine-Grained Source Code Change Extraction
Concurrent Broadcast for Information Dissemination
Mapping Bug Reports to Relevant Files: A Ranking Model, a Fine-Grained Benchmark, and Feature Evaluation
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems
Evaluating Spectrum-Based Fault Localization on Deep Learning Libraries
A State-of-the-Art Survey on Software Merging
PODS - A Project on Diverse Software
HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy
Verifying Authentication Protocols in CSP
How Software Developers Use Tagging to Support Reminding and Refinding
Optimizing Shadow Recovery Algorithms
Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
A Formal Framework for On-line Software Version Change
Automated Software Test Data Generation
Optimal Partitioning of Randomly Generated Distributed Programs
A Comparison of Six UML-Based Languages for Software Process Modeling
A Recursive Solution Method to Analyze the Performance of Static Locking Systems
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs
An Essay on Software Reuse
Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads
Local Distributed Deadlock Detection by Cycle Detection and Clustering
Towards a Theory of Software Developer Job Satisfaction and Perceived Productivity
Experiments on the Knee Criterion in a Multiprogrammed Computer System
Combining a Performance Estimation Methodology with a Hardware/Software Codesign Flow Supporting Multiprocessor Systems
Analyzing Families of Experiments in SE: A Systematic Mapping Study
Specification and Design of Transactions in Information Systems: A Formal Approach
Integrating Provenance Capture and UML With UML2PROV: Principles and Experience
Efficient Detection and Resolution of Generalized Distributed Deadlocks
Towards Complexity Metrics for Ada Tasking
A Formal Framework for ASTRAL Intralevel Proof Obligations
The Derivation of Conformance Tests from LOTOS Specifications
The Duality in Computing SSA Programs and Control Dependency
The Feature and Service Interaction Problem in Telecommunications Systems. A Survey
D$^2$2Abs: A Framework for Dynamic Dependence Analysis of Distributed Programs
Communication Port: A Language Concept for Concurrent Programming
A Framework for Programming Robust Context-Aware Applications
Toward a Tool-Based Development Methodology for Pervasive Computing Applications
Comments on "A Formal Semantics for Object Model Diagrams"
PIE: A Dynamic Failure-Based Technique
A Study of High-Resolution Timing
Stealthy Backdoor Attack for Code Models
The Why, When, What, and How About Predictive Continuous Integration: A Simulation-Based Investigation
Extending CSP to Allow Dynamic Resource Management
Discrete-Event Simulation of Fluid Stochastic Petri Nets
An Empirical Study of JVMs' Behaviors on Erroneous JNI Interoperations
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
Editorial: The State of TSE
How Social and Communication Channels Shape and Challenge a Participatory Culture in Software Development
Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure
Comments on "Elements of Software Configuration Management"
Semi-Automatic Program Construction From Specifications Using Library Modules
Detecting Android API Compatibility Issues With API Differences
A Classification and Comparison Framework for Software Architecture Description Languages
Structured Analysis for Requirements Definition
A Method for Representing Data Items of Unlimited Length in a Computer Memory
Structural Complexity and Programmer Team Strategy: An Experimental Test
A Symbol Table Abstraction to Implement Languages with Explicit Scope Control
Two Access Methods Using Compact Binary Trees
An Insider's Evaluation of PAISLey
LR - Automatic Parser Generator and LR(1) Parser
On the Exact and Approximate Throughput Analysis of Closed Queueing Networks with Blocking
Adding Roles to CORBA Objects
Program Slicing: A Brief Retrospective
Heuristic Search + Local Model Checking in Selective mu-Calculus
Program Restructuring in a Multilevel Virtual Memory
Approximate Throughput Analysis of Cyclic Queueing Networks with Finite Buffers
Alloy Meets the Algebra of Programming: A Case Study
Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java
An Object-Oriented Knowledge Representation for Spatial Information
Language Design for Programming Reliability
Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects
Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
Specification-Based Autonomous Driving System Testing
Methods for the Measurement of Memory Utilization and the Improvement of Program Locality
A Combinatorial Testing-Based Approach to Fault Localization
Analyzing the Effects of Bugs on Software Interfaces
Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques
Task Environment Complexity, Global Team Dispersion, Process Capabilities, and Coordination in Software Development
Just-In-Time Defect Identification and Localization: A Two-Phase Framework
Program Correctness: On Inductive Assertion Methods
Database Transformation, Query Translation, and Performance Analysis of a New Database Computer in Supporting Hierarchical Database Management
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Dominoes: An Interactive Exploratory Data Analysis Tool for Software Relationships
Covert Channels in LAN's
Experience with Modular Concurrent Programming
Statistical Relational Tables for Statistical Database Management
Guest Editors' Introduction: 2008 Conference on the Foundations of Software Engineering
The AETG System: An Approach to Testing Based on Combinatiorial Design
Model Checking Semantically Annotated Services
Interactive Fault Localization Techniques in a Spreadsheet Environment
Performance Analysis of Alternative Database Machine Architectures
Modeling of Correlated Failures and Community Error Recovery in Multiversion Software
Stochastic Bounds on Execution Times of Parallel Programs
Editorial [new associate editors]
Inference of Message Sequence Charts
Combining Code and Requirements Coverage with Execution Cost for Test Suite Reduction
A Systematic Literature Review on Fault Prediction Performance in Software Engineering
Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date?
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
On the Multiple Sources and Privacy Preservation Issues for Heterogeneous Defect Prediction
Reflections on McCabe's Cyclomatic Complexity
The Use of Software Science in Evaluating Modularity Concepts
A Framework for Temporal Verification Support in Domain-Specific Modelling
A Comprehensive Evaluation of Capture-Recapture Models for Estimating Software Defect Content
Some Consideration on Real-Time Bahavior of Concurrent Programs
Does Reviewer Recommendation Help Developers?
An Algebra for Data Flow Diagram Process Decomposition
An Information-Theoretic Analysis of Relational Databases - Part I: Data Dependencies and Information Metric
Performance Improvement of Abstractions Through Context Dependent Transformations
CPVD: Cross Project Vulnerability Detection Based on Graph Attention Network and Domain Adaptation
Post2Vec: Learning Distributed Representations of Stack Overflow Posts
DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles
Large-Scale Empirical Study of Inline Assembly on 7.6 Million Ethereum Smart Contracts
Comparison and Diagnosis of Large Replicated Files
We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration
"I just looked for the solution!"On Integrating Security-Relevant Information in Non-Security API Documentation to Support Secure Coding Practices
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite
Abstractions for Software Architecture and Tools to Support Them
Goal-Directed Reasoning for Specification-Based Data Structure Repair
A Scheme of Parallel Processing for MIMD Systems
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection With LLMs?
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems
An Approach to the Reliability Optimization of Software with Redundancy
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
A Parsing Methodology for the Implementation of Visual Systems
Assessing the Refactorability of Software Clones
Clarification of Two Phase Locking in Concurrent Transaction Processing
Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction
Automating Intention Mining
Synchronized Distributed Termination
Utilizing Automatic Query Reformulations as Genetic Operations to Improve Feature Location in Software Models
Looking For Novelty in Search-Based Software Product Line Testing
Formal Equivalence Checking for Mobile Malware Detection and Family Classification
A Tool to Help Tune where Computation Is Performed
Specifying and Validating Data-Aware Temporal Web Service Properties
Query-by-Pictorial-Example
The Evolution of Programs: Automatic Program Modification
A Performance Comparison of Multimicro and Mainframe Database Architectures
On the Value of Static Analysis for Fault Detection in Software
Keeping the Development Environment Up to Date - A Study of the Situated Practices of Appropriating the Eclipse IDE
Event Logs for the Analysis of Software Failures: A Rule-Based Approach
Editorial: State of the Journal Addrress
An Empirical Investigation of the Key Factors for Success in Software Process Improvement
A Systematic Literature Review of Anti-Discrimination Design Strategies in the Digital Sharing Economy
Algorithmic Transformations for Neural Computing and Performance of Supervised Learning on a Dataflow Machine
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
To Be Optimal or Not in Test-Case Prioritization
Ada Program Partitioning Language: A Notation for Distributing Ada Programs
Assessing the Cost Effectiveness of Fault Prediction in Acceptance Testing
Accountability in Electronic Commerce Protocols
Orderly Generation of Test Data via Sorting Mutant Branches Based on Their Dominance Degrees for Weak Mutation Testing
Chameleon: A System for Solving the Data-Translation Problem
Variability Mining: Consistent Semi-automatic Detection of Product-Line Features
Quality of Automated Program Repair on Real-World Defects
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
The Realizable Benefits of a Language Prototyping Language
Logram: Efficient Log Parsing Using $n$n-Gram Dictionaries
Portable Character Processing in Fortran and Fixed Integer Environments
A Distributed Specification Model and Its Prototyping
Theory of Fault-Based Predicate Testing for Computer Programs
The Software Development System
Computer-Mediated Group Support, Anonymity, and the Software Inspection Process: An Empirical Investigation
Defining and Applying Measures of Distance Between Specifications
SemanticLog: Towards Effective and Efficient Large-Scale Semantic Log Parsing
The Design of a Cryptopgraphy Based Secure File System
Meta-Path Based Attentional Graph Learning Model for Vulnerability Detection
If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines
A Multi-Study Investigation into Dead Code
Uncertainty Analysis in Software Reliability Modeling by Bayesian Analysis with Maximum-Entropy Principle
The Impact of Data Merging on the Interpretation of Cross-Project Just-In-Time Defect Models
Inner Source in Platform-Based Product Engineering
Governing Software Process Improvementsin Globally Distributed Product Development
Formal Derivation of Rule-Based Programs
A Methodology for Architecture-Level Reliability Risk Analysis
Managing Software Engineering Projects: A Social Analysis
Range Specification Bug Detection in Flight Control System Through Fuzzing
A Close Look at Domain Testing
Literate Smalltalk Programming Using Hypertext
Comments on "Temporal Logic-Based Deadlock Analysis for Ada''
Modelling Second-Order Uncertainty in State Machines
Synthesizing Multithreaded Code from Real-Time Object-Oriented Models via Schedulability-Aware Thread Derivation
On Event-Based Middleware for Location-Aware Mobile Applications
Guest Editorial on Software Science
Identifying Concepts in Software Projects
PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems
Editorial: Associate Editor Introduction and Farewell
A Comprehensive Investigation of the Role of Imbalanced Learning for Software Defect Prediction
Two-Dimensional Program Design
Dealing with Traceability in the MDDof Model Transformations
On Distributing JASMIN's Optimistic Multiversioning Page Manager
Guiding Goal Modeling Using Scenarios