yusuke1997/dblp-id-title huggingface dataset:
CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications
Location Independent Remote Execution in NEST
Automatically Categorizing Software Technologies
Modeling of Hierarchical Distributed Systems with Fault-Tolerance
Measuring Code Quality to Improve Specification Mining
Automated Extraction and Clustering of Requirements Glossary Terms
SmartUpdater: Enabling Transparent, Automated, and Secure Maintenance of Stateful Smart Contracts
Understanding Exception Handling: Viewpoints of Novices and Experts
A Designer/Verifiers's Assistant
Identifying Error-Prone Software - An Empirical Study
Structured Programming in a Production Programming Environment
Robustness Testing of Java Server Applications
Accuracy Can Lie: On the Impact of Surrogate Model in Configuration Tuning
ProXray: Protocol Model Learning and Guided Firmware Analysis
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
Efficient Evaluation of Multifactor Dependent System Performance Using Fractional Factorial Design
Editorial: How Special Should Issues Be?
A Simulation Study of Two Distributed Task Allocation Procedures
Reversible Debugging Using Program Instrumentation
Distribution and Abstract Types in Emerald
Algorithmic Profiling for Real-World Complexity Problems
Optimal Placement of Software Monitors Aiding Systematic Testing
Hardware-Related Software Errors: Measurement and Analysis
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
Software Reliability Model with Optimal Selection of Failure Data
Line-Level Defect Prediction by Capturing Code Contexts With Graph Convolutional Networks
Using Docker to Assist Q&A Forum Users
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing
Quantifying the Effect of Code Smells on Maintenance Effort
Using Symbolic States to Infer Numerical Invariants
On Programming by Iterations
Modechart: A Specification Language for Real-Time Systems
On Hierarchical Design of Computer Systems for Critical Applications
Consequence Verification of Flowcharts
Incremental Scanning and Parsing With Galaxy
TARGET: Traffic Rule-Based Test Generation for Autonomous Driving via Validated LLM-Guided Knowledge Extraction
On the Variability of Software Engineering Needs for Deep Learning: Stages, Trends, and Application Types
Open or Sneaky? Fast or Slow? Light or Heavy?: Investigating Security Releases of Open Source Packages
A Declarative Metamorphic Testing Framework for Autonomous Driving
A Survey on the Adoption of Patterns for Engineering Software for the Cloud
An Intelligent Image Database System
Synthesizing Modal Transition Systems from Triggered Scenarios
A Large-Scale Empirical Study of Real-Life Performance Issues in Open Source Projects
APPT: Boosting Automated Patch Correctness Prediction via Fine-Tuning Pre-Trained Models
Using Redundancies to Find Errors
Maintenance Support for Object-Oriented Programs
$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems
Formal Aspects of Serializability in Database Concurrency Control
A Framework for Software Fault Tolerance in Real-Time Systems
A Paradigm for the Design of Parallel Algorithms with Applications
On The Detection of Test Smells: A Metrics-Based Approach for General Fixture and Eager Test
Software Quality Measurement Based on Fault-Detection Data
Specification and Analysis of System Architecture Using Rapide
A Study of the Electrum and DynAlloy Dynamic Behavior Notations
Designing an Agent Synthesis System for Cross-RPC Communication
Towards a Cognitive Model of Dynamic Debugging: Does Identifier Construction Matter?
A Survey of Software Design Techniques
Requirements-Based Monitors for Real-Time Systems
Extracting Reusable Funtions by Flow Graph-Based Program Slicing
RSF: A Formalism for Executable Requirement Specifications
Analysis of the Periodic Update Write Policy For Disk Cache
Automated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets
Correction to "Optimal Load Balancing in a Multiple Processor System with Many Job Classes"
Visualizing Design Patterns in Their Applications and Compositions
Gender Differences in Personality Traits of Software Engineers
Yeast: A General Purpose Event-Action System
Estimation of Defects Based on Defect Decay Model: ED^{3}M
Design of Knowledge-Based Systems with a Knowledge-Based Assistant
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
An Empirical Study of a Syntactic Complexity Family
Building Maintainable Software Using Abstraction Layering
Use Case Maps as Architectural Entities for Complex Systems
A Markov Chain Model for Statistical Software Testing
Construct Validity in Software Engineering
Generating Class-Level Integration Tests Using Call Site Information
Evaluating Software Engineering Technologies
Parametric Graph Drawing
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
On Multiple Random Accesses and Physical Data Placement in Dynamic Files
On Effectiveness and Efficiency of Gamified Exploratory GUI Testing
Some Results on the Working Set Anomalies in Numerical Programs
Estimating Bounds on the Reliability of Diverse Systems
Semi-Distributed Load Balancing For Massively Parallel Multicomputer Systems
Database Skeleton and Its Application to Fuzzy Query Translation
Detecting Information Flow Security Vulnerabilities by Analysis Coupling
Query Optimization for Nontraditional Database Applications
Archetype: A Unified Method for the Design and Implementation of Protocol Architectures
From UML to Petri Nets: The PCM-Based Methodology
Method-Level Test-to-Code Traceability Link Construction by Semantic Correlation Learning
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models
Replicating and Re-Evaluating the Theory of Relative Defect-Proneness
Characterizing the Prevalence, Distribution, and Duration of Stale Reviewer Recommendations
Software Complexity and Its Impact on Software Reliability
A Wachtdog Processor Based General Rollback Technique with Multiple Retries
A Generalized Times Petri Net Model for Performance Analysis
Abstract Requirements Specification: A New Approach and Its Application
Learning Project Management Decisions: A Case Study with Case-Based Reasoning versus Data Farming
Managing Technical Debt Using Intelligent Techniques - A Systematic Mapping Study
A Developer Centered Bug Prediction Model
hmCodeTrans: Human-Machine Interactive Code Translation
Block Access Estimation for Clustered Data Using a Finite LRU Buffer
Performance Criteria for Constrained Nonlinear Programming Codes
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra
Effect of Domain Knowledge on Elicitation Effectiveness: An Internally Replicated Controlled Experiment
An Empirical Study on Views of Importance of Change Impact Analysis Issues
An Analysis of Some Problems in Managing Virtual Memory Systems with Fast Secondary Storage Devices
Cell: A Distributed Computing Modularization Concept
PerLa: A Language and Middleware Architecture for Data Management and Integration in Pervasive Information Systems
An Optimizing Pascal Compiler
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
Incidents are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector
Studying Task Processes for Improving Programmer Productivity
Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults
Generating Unit Tests for Documentation
CTK: Configurable Object Abstractions for Multiprocessors
The Study of a New Perfect Hash Scheme
On the Relationship Between the Developer's Perceptible Race and Ethnicity and the Evaluation of Contributions in OSS
A Comparison of Measures of Control Flow Complexity
ElementRank: Ranking Java Software Classes and Packages using a Multilayer Complex Network-Based Approach
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
DockerFill: Automatically Completing Dockerfile Code With Syntax-Aware Multi-Task Learning
An Event-Based Architecture Definition Language
Problems with Precision: A Response to "Comments on 'Data Mining Static Code Attributes to Learn Defect Predictors'"
Signing Off: The State of the Journal
Deriving a Slicing Algorithm via FermaT Transformations
Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App
Resilient Objects in Broadcast Networks
Linking Model-Driven Development and Software Architecture: A Case Study
An Information Retrieval Approach For Automatically Constructing Software Libraries
A Family of Locking Protocols for Database Systems that Are Modeled by Directed Graphs
An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving
Introduction: The Best Papers of ISSTA
Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles
A Framework-Based Approach to the Development of Network-Aware Applications
Bounding Completion Times of Jobs with Arbitrary Release Times, Variable Execution Times and Resource Sharing
Performance Measurement and Modeling to Evaluate Various Effects on a Shared Memory Multiprocessor
${\text{FS}^{3}}_{\text{change}}$FS3change: A Scalable Method for Change Pattern Mining
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
Analysis of a Hybrid Access Scheme for Buffered Users-Probabilistic Time Division
Proofs from Tests
Editorial: AE Introduction
Why Programming Environments Need Dynamic Data Types
Coordination Challenges in Large-Scale Software Development: A Case Study of Planning Misalignment in Hybrid Settings
Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation
An Improved SDA Based Defect Prediction Framework for Both Within-Project and Cross-Project Class-Imbalance Problems
Accessing Files in an Internet: The Jade File System
Storing and Retrieving Software Conponents: A Refinement Based System
The Interrogator: Protocol Security Analysis
UniDoSA: The Unified Specification and Detection of Service Antipatterns
Towards Automatically Localizing Function Errors in Mobile Apps With User Reviews
Editorial: AE Introduction and Farewell
State-Based Model Checking of Event-Driven System Requirements
A Pessimistic Consistency Control Algorithm for Replicated Files which Achieves High Availability
On the Development of Correct Specified Programs
Theory-W Software Project Management: Principles and Examples
A Simulation Study of the Vertical-Migration Microprocessor Architecture
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps
Interprocess Communication Dependency on Network Load
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management
A Quantitative Model of the Security Intrusion Process Based on Attacker Behavior
Studying Ad Library Integration Strategies of Top Free-to-Download Apps
How Programmers Debug, Revisited: An Information Foraging Theory Perspective
A Risk Management Methodology for Project Risk Dependencies
Enriching API Documentation with Code Samples and Usage Scenarios from Crowd Knowledge
Clock Trees: Logical Clocks for Programs with Nested Parallelism
An Approach and Mechanism for Auditable and Testable Advanced Transaction Processing Systems
Partition Testing vs. Random Testing: The Influence of Uncertainty
Designing Autonomic Management Systems by Using Reactive Control Techniques
Software Life Cycle Management: Weapons Process Developer
MIDAS: Integrated Design and Simulation of Distributed Systems
Chidamber and Kemerer's Metrics Suite: A Measurement Theory Perspective
Distribution Design of Logical Database Schemas
How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs
Learning from Examples: Generation and Evaluation of Decision Trees for Software Resource Analysis
Analyzing the Effect of Gain Time on Soft-Task Scheduling Policies in Real-Time Systems
What Makes a Great Software Quality Assurance Engineer?
An Optimal Approach to Fault Tolerant Software Systems Design
The Art, Science, and Engineering of Fuzzing: A Survey
The Awareness Network, To Whom Should I Display My Actions? And, Whose Actions Should I Monitor?
Verification and Trade-Off Analysis of Security Properties in UML System Models
An Empirical Study on Heterogeneous Defect Prediction Approaches
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena
Measuring the Performance and Behavior of Icon Programs
A Semantic Design Method
Asymmetric Release Planning: Compromising Satisfaction against Dissatisfaction
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers
The Use of Software Complexity Metrics in Software Maintenance
Efficient Database Access from Prolog
A Methodology for Software Engineering
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction
Refactoring Inspection Support for Manual Refactoring Edits
On the Selection of an Optimal Set of Indexes
Performance and Reliability Analysis Using Directed Acyclic Graphs
The Design and Implementation of a Secure Auction Service
ExplanaSC: A Framework for Determining Information Requirements for Explainable Blockchain Smart Contracts
On the Untriviality of Trivial Packages: An Empirical Study of npm JavaScript Packages
A Multiframe Model for Real-Time Tasks
IntRepair: Informed Repairing of Integer Overflows
A Formal Model for Software Project Management
A Picture-Building System
On the Semantics of Distributed Reactive Programming: The Cost of Consistency
A Faceted Taxonomy of Requirements Changes in Agile Contexts
Automatic Derivation of Formal Software Specifications From Informal Descriptions
A Controlled Experiment with Novice Developers on the Impact of Task Description Granularity on Software Quality in Test-Driven Development
ConfigMiner: Identifying the Appropriate Configuration Options for Config-Related User Questions by Mining Online Forums
Enhanced Smart Contract Vulnerability Detection via Graph Neural Networks: Achieving High Accuracy and Efficiency
Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing
Approximate Mean Value Analysis for Stochastic Marked Graphs
An Algebraic Specification of HDLC Procedures and Its Verification
Watch Out for Extrinsic Bugs! A Case Study of Their Impact in Just-In-Time Bug Prediction Models on the OpenStack Project
Studying the Influence and Distribution of the Human Effort in a Hybrid Fitness Function for Search-Based Model-Driven Engineering
Correction to "Protocol Conversion"
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
Performance Model Estimation and Tracking Using Optimal Filters
Automating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering (CASE) Environment
MNav: A Markov Model-Based Web Site Navigability Measure
Process Model Evolution in the SPADE Environment
A Survey of Software Refactoring
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"
A Logic-Based Approach to Reverse Engineering Tools Production
Validating Second-Order Mutation at System Level
A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion
Optimizing Real-Time Equational Rule-Based Systems
A Data Flow Oriented Program Testing Strategy
The Join Alogorithms on a Shared-Memory Multiprocessor Database Machine
Nonfunctional Requirements: From Elicitation to Conceptual Models
The Impact of API Change- and Fault-Proneness on the User Ratings of Android Apps
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling
The Ghost Commit Problem When Identifying Fix-Inducing Changes: An Empirical Study of Apache Projects
A Qualitative Study of Application-Level Caching
Generating Test Cases for Real-Time Systems Based on Symbolic Models
Privacy Engineering in the Wild: Understanding the Practitioners' Mindset, Organizational Aspects, and Current Practices
Better Debugging via Output Tracing and Callstack-Sensitive Slicing
A Systematic Literature Review of Applications of the Physics of Notations
Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation
Software Development Cost Estimation Using Function Points
Using Transformations in Specification-Based Prototyping
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
Characterizing and Mitigating Self-Admitted Technical Debt in Build Systems
Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
Transformational Implementation: An Example
Empirical Studies of a Prediction Model for Regression Test Selection
Revisiting the Performance Evaluation of Automated Approaches for the Retrieval of Duplicate Issue Reports
Need for Sleep: The Impact of a Night of Sleep Deprivation on Novice Developers' Performance
On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics
Debugging Larch Shared Language Specifications
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection
Environmental Testing Techniques for Software Certification
An Architecture for High Performance Engineering Information Systems
Runtime Checking for ISO Standard Pascal
Trace-Based Load Characterization for Gernerating Performance Software Models
Toward Reference Models of Requirements Traceability
Experimentation in Software Engineering
A Systematic Literature Review of Machine Learning Approaches for Migrating Monolithic Systems to Microservices
Perceptions on the Utility of Community Question and Answer Websites Like Stack Overflow to Software Developers
Theory of Modules
Software Pipelining for Quantum Loop Programs
A Framework for Emotion-Oriented Requirements Change Handling in Agile Software Engineering
A Study of Social Interactions in Open Source Component Use
Who Is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks Through State-Aware Dataflow Analysis
An Evaluation of Random Testing
Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism
Learning to Predict User-Defined Types
SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems
Fully Reflective Execution Environments: Virtual Machines for More Flexible Software
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
Compilation of Nonprocedural Specifications into Computer Programs
GEA: A Goal-Driven Approach toDiscovering Early Aspects
An Information-Based Model for Failure-Handling in Distributed Database Systems
Tool Support for Verifying UML Activity Diagrams
Virtual Time CSMA Protocols for Hard Real-Time Communication
FlexFL: Flexible and Effective Fault Localization With Open-Source Large Language Models
Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming
A Theory of Software Reliability and Its Application
Parsing Nonlinear Languages
A Second Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems
Session Reliability of Web Systems under Heavy-Tailed Workloads: An Approach Based on Design and Analysis of Experiments
RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair
Reflexive Incidence Matrix (RIM) Representation of Petri Nets
A Simulation Study of the Model Evaluation Criterion MMRE
A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
A Generalized Expert System for Database Design
Automatic Loop Summarization via Path Dependency Analysis
Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe
An Empirical Comparison of Software Fault Tolerance and Fault Elimination
Mutable Protection Domains: Adapting System Fault Isolation for Reliability and Efficiency
Reliability Optimization in The Design of Distributed Systems
Elements of Software Configuration Management
Motivation and Satisfaction of Software Engineers
DiffTech: Differencing Similar Technologies From Crowd-Scale Comparison Discussions
Forecasting Risk Impact on ERP Maintenance with Augmented Fuzzy Cognitive Maps
Approximate Analysis of Open Networks of Queues with Blocking: Tandem Configurations
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences
Robotic Visual GUI Testing for Truly Non-Intrusive Test Automation of Touch Screen Applications
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
Software Dependability in the Tandem GUARDIAN System
Guest Editorial - A Case for Software Testing
Explaining Software Developer Acceptance of Methodologies: A Comparison of Five Theoretical Models
Static Fault Localization in Model Transformations
Shortening Matching Time in OPS5 Production Systems
Accelerating Continuous Integration by Caching Environments and Inferring Dependencies
On the Workflows and Smells of Leaderboard Operations (LBOps): An Exploratory Study of Foundation Model Leaderboards
Stability, Availability and Response in Network File Service
Learning Communicating Automata from MSCs
Handling Obstacles in Goal-Oriented Requirements Engineering
Embedding Polychrony into Synchrony
ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking
The Impact of View Histories on Edit Recommendations
On the Effectiveness of LLM-as-a-Judge for Code Generation and Summarization
Hypercharts: Extended Statecharts to Support Hypermedia Specification
Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components
The Logic of Computer Programming
A Survey of Performance Optimization for Mobile Applications
Program Design by a Multidisciplinary Team
Evaluating Pair Programming with Respect to System Complexity and Programmer Expertise
Protocols for Deadlock Detection in Distributed Database Systems
A Simplification of a Conversation Design Scheme Using Petri Nets
An Approach to Formal Specification of Control Modules
Structuring Programs for Efficient Operation in Virtual Memory Systems
Pull Request Governance in Open Source Communities
SPANNER: A Tool for the Specification, Analysis, and Evaluation of Protocols
Software Batch Testing to Save Build Test Resources and to Reduce Feedback Time
Applicability of Weyuker's Property 9 to Object Oriented Metrics
Dynamic Software Updating Using a Relaxed Consistency Model
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Evaluating Dynamic Software Update Safety Using Systematic Testing
Assessment of Software Reliability Models
The Software Engineering Shortage: A Third Choice
The Role of Deliberate Artificial Design Elements in Software Engineering Experiments
Dynamic Storage Fragmentation and File Deterioration
Analyzing Hard-Real-Time Programs For Guaranteed Schedulability