yusuke1997/dblp-id-title huggingface dataset:
Reasons for Software Effort Estimation Error: Impact of Respondent Role, Information Collection Approach, and Data Analysis Method
Approaches to Mechanization of the Conversation Scheme Based on Monitors
A Network Pump
A Binary Markov Process Model for Random Testing
Multi-Objective Software Defect Prediction via Multi-Source Uncertain Information Fusion and Multi-Task Multi-View Learning
On Criteria for Module Interfaces
API-Related Developer Information Needs in Stack Overflow
Analysis and Testing of Programs with Exception Handling Constructs
Approximate Throughput Computation of Stochastic Marked Graphs
Formal Methods Applied to a Floating-Point Number System
How Gender-Biased Tools Shape Newcomer Experiences in OSS Projects
On the Minimization of Loads/Stores in Local Register Allocation
Design Rule Spaces: A New Model for Representing and Analyzing Software Architecture
Dataflow Resource Managers and Their Synthesis from Open Path Expressions
Review Dynamics and Their Impact on Software Quality
Instance Space Analysis of Search-Based Software Testing
Evaluation of the Average Access Time for a Digital Cassette Memory System
Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations
Measuring the Discriminative Power of Object-Oriented Class Cohesion Metrics
A Variability Fault Localization Approach for Software Product Lines
Automatically Detecting and Tracking Inconsistencies in Software Design Models
Program Translation via Abstraction and Reimplementation
A Technique for Drawing Directed Graphs
Mechanizing CSP Trace Theory in Higher Order Logic
Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems
Software Development Management Planning
A Development Environment for Complex Distributed Real-Time Applications
Aging-Related Bug Prediction Based on Multi-View Graph Feature Learning and Graph-Transformer
Reusability in Programming: A Survey of the State of the Art
Distributed System Software Design Paradigm with Application to Computer Networks
An Efficient Digital Search Algorithm by Using a Double-Array Structure
Optimizing Symbolic Model Checking for Statecharts
A Case Study in Program Transformation: Translation into Polish
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
Reconfiguration Models and Algorithms for Stateful Interactive Processes
Correction to "On Satisfying Timing Constraints in Hard-Real-Time Systems''
Open Science in Software Engineering: A Study on Deep Learning-Based Vulnerability Detection
Reading Answers on Stack Overflow: Not Enough!
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study
Explicit Communication Revisited: Two New Attacks on Authentication Protocols
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
Enhancing Structured Review with Model-Based Verification
A Simplified Framework for Reduction in Strength
Learning to Find Usages of Library Functions in Optimized Binaries
Detecting Unsafe Error Recovery Schedules
A Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation
Challenges of Resolving Merge Conflicts: A Mining and Survey Study
Managing Communication Networks by Monitoring Databases
Optimization Models for Reliability of Modular Software Systems
A Machine and Configuration Independent Fortran: Portable Fortran (PFortran)
Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations
Seeing is Believing: Vision-Driven Non-Crash Functional Bug Detection for Mobile Apps
Misactivation-Aware Stealthy Backdoor Attacks on Neural Code Understanding Models
Empirical Effort and Schedule Estimation Models for Agile Processes in the US DoD
Toward the Next Generation of Data Modeling Tools
Analysis of Software Availability/Reliability Under the Influence of Hardware Failures
ModGuard : Identifying Integrity & Confidentiality Violations in Java Modules
The Crystal Multicomputer: Design and Implementation Experience
The Oracle Problem in Software Testing: A Survey
VarGAN: Adversarial Learning of Variable Semantic Representations
A Specificational Approach to High Level Program Monitoring and Measuring
Access Control with Single-Key-Lock
Practical, Automated Scenario-Based Mobile App Testing
CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing for Image-Based Deep Learning Systems
Optimization Algorithms for Distributed Queries
An Acyclic Expansion Algorithm for Fast Protocol Validation
Operational Survivability in Gracefully Degrading Distributed Processing Systems
The Delay Due to Dynamic Two-Phase Locking
Partition Strategy for Distributed Query Processing in Fast Local Networks
The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example
Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems
Some Properties Derived from Structural Analysis of Program Graph Models
Approximate Structural Context Matching: An Approach to Recommend Relevant Examples
Studying Duplicate Logging Statements and Their Relationships With Code Clones
Performance of Synchronized Iterative Processes in Multiprocessor Systems
Engineering of Framework-Specific Modeling Languages
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
A Software Engineering Environment (SEE) for Weapon System Software
Internet Locus: Extending Transparency to an Internet Environment
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
Uncovering the Periphery: A Qualitative Survey of Episodic Volunteering in Free/Libre and Open Source Software Communities
Guest Editorial - Software Management: We Must Find a Way
Identifying Extended Entity-Relationship Object Structures in Relational Schemas
Pert: The Application-Aware Tailoring of Java Object Persistence
Semantics-Preserving Design of Embedded Control Software from Synchronous Models
Nested Transactions in Distributed Systems
Unadmitted Technical Debt: Dataset and Detection Approaches
A Holistic Approach to Design Understanding Through Concept Explanation
Software Effort, Quality, and Cycle Time: A Study of CMM Level 5 Projects
The Use of Cooperation Scenarios in the Design and Evaluation of a CSCW System
Semantic Slicing of Software Version Histories
Towards a Framework for Software Measurement Validation
Collaborative Model-Driven Software Engineering: A Classification Framework and a Research Map
Deduction Graphs: An Algorithm and Applications
Visualizing Co-Change Information with the Evolution Radar
Ranking Significance of Software Components Based on Use Relations
System Structure Analysis: Clustering with Data Bindings
Trends in the Quality of Human-Centric Software Engineering Experiments-A Quasi-Experiment
Dynamic Coupling Measurement for Object-Oriented Software
Authentication Mechanisms in Microprocessor-Based Local Area Networks
A Local Network Based on the UNIX Operating System
Protocol Conversion
CTTE: Support for Developing and Analyzing Task Models for Interactive System Design
Generic Lifecycle Support in the ALMA Environment
Simulation of Procedure Variables Using Ada Tasks
State Transition Analysis: A Rule-Based Intrusion Detection Approach
An Environment for Developing Fault-Tolerant Software
Hipikat: A Project Memory for Software Development
Editorial: New Associate Editor Introduction
BURN: Enabling Workload Burstiness in Customized Service Benchmarks
A Controlled Experiment in Age and Gender Bias When Reading Technical Articles in Software Engineering
Whether Software Engineering Needs to Be Artificially Intelligent
Hierarchical Clustering for Software Architecture Recovery
Enhancing the Security of Statistical Databases with a Question-Answering System and a Kernel Design
How Much Does Software Complexity Matter for Maintenance Productivity? The Link Between Team Instability and Diversity
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems
Software Assurance by Bounded Exhaustive Testing
Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model
A New Spectral Test for Nonrandomness and the DES
ARES: A Relational Database with the Capability of Performing Flexible Interpretation of Queries
Conditional Quantitative Program Analysis
An Operational Process for Goal-Driven Definition of Measures
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models
DMIN: An Algorithm for Computing the Optimal Dynamic Allocation in a Virtual Memory Computer
The Raid Distributed Database System
Order and Difficulty of Debugging
Empirical Data Modeling in Software Engineering Using Radical Basis Functions
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics
Context-Aware Neural Fault Localization
Adaptive Routing Using a Virtual Waiting Time Technique
Detecting Arbitrary Stable Properties Using Efficient Snapshots
The Class Blueprint: Visually Supporting the Understanding of Classes
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
Proving Total Correctness of Parallel Programs
ABYSS: An Architecture for Software Protection
On Deadlock Detection in Distributed Systems
ChatGPT vs SBST: A Comparative Assessment of Unit Test Suite Generation
Program Repair With Repeated Learning
A Look into Programmers' Heads
When and Why Your Code Starts to Smell Bad (and Whether the Smells Go Away)
Efficient Evaluation of Multiple Linear Recursions
Bayesian Analysis of Empirical Software Engineering Cost Models
Program Complexity and Programmer Productivity
Diversity-Oriented Testing for Competitive Game Agent via Constraint-Guided Adversarial Agent Training
MM-SCS: Leveraging Multimodal Features to Enhance Smart Contract Code Search
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification
Neural Library Recommendation by Embedding Project-Library Knowledge Graph
WAM - The Weighted Average Method for Predicting the Performance of Systems with Bursts of Customer Sessions
PPChecker: Towards Accessing the Trustworthiness of Android Apps' Privacy Policies
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
DevRec: Multi-Relationship Embedded Software Developer Recommendation
What Makes a Great Manager of Software Engineers?
Measurements of Dynamic List Structure Use in Lisp
The Cost of Data Flow Testing: An Empirical Study
On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems
Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications
The Emotional Roller Coaster of Responding to Requirements Changes in Software Engineering
Optimizing Joins in Fragmented Database Systems on a Broadcast Local Network
Comments on "On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics"
An Approach to Decentralized Computer Systems
Initial Report on a Lisp Programmer's Apprentice
Some Results of the Earliest Deadline Scheduling Algorithm
Extending Statecharts with Temporal Logic
Analysis of Long Term File Reference Patterns for Application to File Migration Algorithms
Operation-Based Refactoring-Aware Merging: An Empirical Evaluation
New Reliability-Driven Bounds for Architecture-Based Multi-Objective Testing Resource Allocation
FairMask: Better Fairness via Model-Based Rebalancing of Protected Attributes
An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples
Evaluating Alternative Software Production Functions
A General Software Defect-Proneness Prediction Framework
DevOps Team Structures: Characterization and Implications
Using the Conceptual Cohesion of Classes for Fault Prediction in Object-Oriented Systems
A Little Help Goes a Long Way: Tutoring LLMs in Solving Competitive Programming Through Hints
Query Processing in a Fragmented Relational Distributed System: Mermaid
A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems
Fragment-Based Test Generation for Web Apps
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion
Cautious Transaction Schedulers for Database Concurrency Control
Compile Time Memory Allocation for Parallel Processes
Chain-of-Thought in Neural Code Generation: From and for Lightweight Language Models
Qualitative Methods in Empirical Studies of Software Engineering
*MOD - A Language for Distributed Programming
A Comprehensive Study on ARM Disassembly Tools
On the Use of an Extended Relational Model to Handle Changing Incomplete Information
Knowledge Representation for Model Management Systems
Guest Editorial for the Special Collection from the Third International Conference on Software Engineering
PackHunter: Recovering Missing Packages for C/C++ Projects
DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-Based Systems
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing
How Do Developers Adapt Code Snippets to Their Contexts? An Empirical Study of Context-Based Code Snippet Adaptations
Software Project Control: An Experimental Investigation of Judgment with Fallible Information
Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection
An Automated Approach to Discovering Software Refactorings by Comparing Successive Versions
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications
An Efficient Algorithm for Aggregating PEPA Models
The Consistent Comparison Problem in N-Version Software
Measurements of Ada Overhead in OSI-Style Communications Systems
Lock Conversion in Non-Two-Phase Locking Protocols
State Constraints and Pathwise Decomposition of Programs
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour
Controlling the Software Life Cycle-The Project Management Task
A Static Approach to Prioritizing JUnit Test Cases
An Experimental Comparison of Usage-Based and Checklist-Based Reading
Comments on ScottKnottESD in Response to "An Empirical Comparison of Model Validation Techniques for Defect Prediction Models"
Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation
A Macroscopic Profile of Program Compilation and Linking
Explaining Regressions via Alignment Slicing and Mending
Reliability and Validity in Comparative Studies of Software Prediction Models
Learning Component Size Distributions for Software Cost Estimation: Models Based on Arithmetic and Shifted Geometric Means Rules
Metamorphic Robustness Testing: Exposing Hidden Defects in Citation Statistics and Journal Impact Factors
A Theory of Attribute Equivalence in Databases with Application to Schema Integration
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
Effects of Field Service on Software Reliability
Testing and Debugging Distributed Programs Using Global Predicates
Tracking Mobile Units for Dependable Message Delivery
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
SQLPsdem: A Proxy-Based Mechanism Towards Detecting, Locating and Preventing Second-Order SQL Injections
A Causal Model for Analyzing Distributed Concurrency Control Algorithms
User Interface Evaluation and Empirically-Based Evolution of a Prototype Experience Management Tool
Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources
Architecture-Directed Refinement
LTM: Scalable and Black-Box Similarity-Based Test Suite Minimization Based on Language Models
Interfacing UNIX to Data Communications Networks
SYGRAF: Implementing Logic Programs in a Database Style
Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development
Concurrent Maintenance of Binary Search Trees
A Complexity Measure
The SEXTANT Software Exploration Tool
Empirical Studies of a Safe Regression Test Selection Technique
Clarifying Some Fundamental Concepts in Software Testing
Impact of Software Engineering Research in Practice: A Patent and Author Survey Analysis
On the Specification and Synthesis of Communicating Processes
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers
ALADDIN: Assembly Language Assertion Driven Debugging Interpreter
Automated Test Case Repair Using Language Models
GUI-Guided Test Script Repair for Mobile Apps
An Atomicity-Generating Protocol for Anonymous Currencies
Reliable Hardware/Software Architecture
Pictorial Information Retrieval Using the Random Neural Network
Implementation of an FP-Shell
Triggered Message Sequence Charts
A Controlled Experiment for Program Comprehension through Trace Visualization
Contrasting the Hyperparameter Tuning Impact Across Software Defect Prediction Scenarios
Towards Self-Stabilizing Operating Systems
On the Design and Development of Program Families
Incremental Test Generation for Software Product Lines
MSeer - An Advanced Technique for Locating Multiple Bugs in Parallel
Critical Load Factors in Two-Processor Distributed Systems
Debugging of Behavioural Models using Counterexample Analysis
A Comparison of Function Point Counting Techniques
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing
An Effective Approach to High Strength Covering Array Generation in Combinatorial Testing
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables
Cognitive Biases in Software Engineering: A Systematic Mapping Study
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
Improving Vulnerability Inspection Efficiency Using Active Learning
A Model-Driven Methodology for Developing Secure Data-Management Applications
Execution of Partial State Machine Models
A Software Environment For Studying Computational Neural Systems
No Special Schemes Are Needed for Solving Software Reliability Optimization Models
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation
On the Complexity of Generating Optimal Test Sequences
Enabling Reuse-Based Software Development of Large-Scale Systems
What Do We Know about the Effectiveness of Software Design Patterns?
DeepVec: State-Vector Aware Test Case Selection for Enhancing Recurrent Neural Network
Guest Editor's Introduction Formal Methods in Software Engineering
AC2Next: A Novel Model That Can Predict the Next Animation API by Fusing the Animation API Context and the UI Animation Task
Response to 'Comments on Factors that Impact the Implementation of a Systems Development Methodology'
Are Your Dependencies Code Reviewed?: Measuring Code Review Coverage in Dependency Updates
Optimizing Static Scope Lisp by Repetitive Interpretation of Recursive Function Calls
Exception Handling in Workflow Management Systems
Guest Editors' Introduction-Workshop on Software and Performance
Software Architecture Recovery Augmented With Semantics
Relationship Between Model-Based Decision-Making and the Comprehension Performance of Source Code With Confusing Patterns
DISSECT-A Symbolic Evaluation and Program Testing System
Safer User Interfaces: A Case Study in Improving Number Entry
Estimation Methods for Nonregenerative Stochastic Petri Nets
Guest Editor's Introduction: 2004 IEEE International Symposium on Software Testing and Analysis
Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension
A Study of Call Graph Construction for JVM-Hosted Languages
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software
Pots of Gold at the End of the Rainbow: What is Success for Open Source Contributors?
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors
Software Architecture Visualization: An Evaluation Framework and Its Application
Automatic Source Code Summarization of Context for Java Methods
Statistical Debugging: A Hypothesis Testing-Based Approach
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding
Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD)
Optimal Semijoins for Distributed Database Systems
Global-Aware Recommendations for Repairing Violations in Exception Handling
An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules
Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method
Dynamic Improvement of Locality in Virtual Memory Systems
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms
Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems
Control Structure Abstractions of the Backtracking Programming Technique
Integrative Double Kaizen Loop (IDKL): Towards a Culture of Continuous Learning and Sustainable Improvements for Software Organizations
Evaluation of Several Nonparametric Bootstrap Methods to Estimate Confidence Intervals for Software Metrics
Automatic Software Refactoring via Weighted Clustering in Method-Level Networks
The Impact of Surface Features on Choice of (in)Secure Answers by Stackoverflow Readers
Compositional Programming Abstractions for Mobile Computing
An Extension of Nortons's Theorem for Queueing Networks
Deep Learning Based Program Generation From Requirements Text: Are We There Yet?
Conservation of Information: Software'sHidden Clockwork?
Distributed Software System Design Representation Using Modified Petri Nets
Software Updates Strategies: A Quantitative Evaluation Against Advanced Persistent Threats
Compiling Real-Time Specifications into Extended Automata
Empirical Assessment of Multimorphic Testing
Guest Editor's Introduction Experimental Computer Science
An I/O Efficient Approach for Detecting All Accepting Cycles
Performance Analysis of Mass Storage Service Alternatives for Distributed Systems
Safety Analysis Using Petri Nets
Horizon: A Retargetable Compiler for Horizontal Microarchitectures
Mitigating the Uncertainty and Imprecision of Log-Based Code Coverage Without Requiring Additional Logging Statements
A Method for Detecting Obfuscated Calls in Malicious Binaries
An Effective Approach to Vertical Partitioning for Physical Design of Relational Databases
Compartmented Mode Workstation: Prototype Highlights
Implementation of a Capability-Based Data Abstraction
How Software Developers Mitigate Their Errors When Developing Code
Design, Construction, and Application of a Generic Visual Language Generation Environment
Comparing Partition and Random Testing via Majorization and Schur Functions
Reconfigurable Instruction Set Processors from a Hardware/Software Perspective
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering
An Assessment of Rules of Thumb for Software Phase Management, and the Relationship Between Phase Effort and Schedule Success
The Amulet Environment: New Models for Effective User Interface Software Development
Historical Spectrum Based Fault Localization
Machine Learning Testing: Survey, Landscapes and Horizons
An Empirical Study on Correlations Between Deep Neural Network Fairness and Neuron Coverage Criteria
Modular Software Model Checking for Distributed Systems
Adaptive Location Policies for Global Scheduling
Control and Definition Modularization: An Improved Software Design Technique for Organizing Programs
ASTRO: Detecting Access Control Vulnerabilities in Smart Contracts via Graph Similarity Comparison
The Best Laid Plans or Lack Thereof: Security Decision-Making of Different Stakeholder Groups
Exemplar: A Source Code Search Engine for Finding Highly Relevant Applications
Extracting Development Tasks to Navigate Software Documentation