yusuke1997/dblp-id-title huggingface dataset:
Application of Principal Component Analysis to Multikey Searching
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets
Language Design For Program Manipulation
VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System
Abstract Data Type Development and Implementation: An Example
Change-Patterns Mapping: A Boosting Way for Change Impact Analysis
Correction to "Allocating Programs Containing Branches and Loops Within a Multiple Processor System"
Trimmer: An Automated System for Configuration-Based Software Debloating
An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing
Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks
Holistic Combination of Structural and Textual Code Information for Context Based API Recommendation
Measuring Errors in Operational Analysis Assumptions
Evaluating The Mediator Method: Prism as a Case Study
Improving Quicksort Performance with a Codewort Data Structure
Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations
Editorial: A New Editor-in-Chief and the State of TSE
DeMIMA: A Multilayered Approach for Design Pattern Identification
A Unified Interprocedural Program Representation for a Maintenance Environment
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior
Completeness of Proof Systems for Equational Specifications
Global Analysis and Transformations in Preprocessed Languages
Comments on "Language Design for Program Manipulation''
Impact of Discretization Noise of the Dependent Variable on Machine Learning Classifiers in Software Engineering
Experience with Path Analysis and Testing of Programs
Guest Editorial: Special Section on Interaction and State-Based Modeling
Heuristics for Join Processing Using Nonclustered Indexes
Measuring and Modeling Usage and Reliability for Statistical Web Testing
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
A General, Verifiable Iterative Control Structure
Semantics-Based Inference Algorithms for Adaptive Visual Environments
PopArt: Ranked Testing Efficiency
Does Software Process Improvement Reduce the Severity of Defects? A Longitudinal Field Study
Mathematical Assessment of Object-Oriented Design Quality
A3: Assisting Android API Migrations Using Code Examples
D 3 : Differential Testing of Distributed Deep Learning With Model Generation
A New Structural Induction Theorem for Rings of Temporal Petri Nets
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
How Developers Engineer Test Cases: An Observational Study
An Empirical Study of Software Refactorings in Real-World Open-Source Java Projects
Synthesis of Partial Behavior Models from Properties and Scenarios
Invariant-Based Verification of a Distributed Deadlock Detection Algorithm
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android
Testability of Software Components
Scalable and Effective Test Generation for Role-Based Access Control Systems
Asking and Answering Questions during a Programming Change Task
Extending Concurrent Pascal to Allow Dynamic Resource Management
A Layered Architecture for Uniform Version Management
Product-Form Synthesis of Queueing Networks
The Impact of Employee Participation on the Use of an Electronic Process Guide: A Longitudinal Case Study
Guest Editor's Introduction: Special Issue on Software Maintenance
An Efficient and Scalable Approach to Correct Class Model Refinement
Measuring Functional Cohesion
A Cost-Efficient Auto-Scaling Algorithm for Large-Scale Graph Processing in Cloud Environments with Heterogeneous Resources
PackerGrind: An Adaptive Unpacking System for Android Apps
User-Centric Content Negotiation for Effective Adaptation Service in Mobile Computing
Model Checking Markov Chains with Actions and State Labels
Algebraic Specifications as Solutions of Implementation Equations
Analyzing Expected Time by Scheduler-Luck Games
BEQAIN: An Effective and Efficient Identifier Normalization Approach With BERT and the Question Answering System
Weighted Processor Sharing-Results for Hyperexponential Servers
Functional Programming, Formal Specification, and Rapid Prototyping
An Empirical Study of Parameter-Efficient Fine-Tuning in Code Change Learning and Beyond
A Retrospective on How Developers Seek, Relate, and Collect Information About Code
Primitives for Distributed Computing in a Heterogeneous Local Area Network Environment
Major Issues in Software Engineering Project Management
Modular Pluggable Analyses for Data Structure Consistency
A User-Oriented Software Reliability Model
Good System Structure Features: Their Complexity and Execution Time Cost
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems
The Importance of Security Is in the Eye of the Beholder: Cultural, Organizational, and Personal Factors Affecting the Implementation of Security by Design
Discovering Neglected Conditions in Software by Mining Dependence Graphs
How Developers' Experience and Ability Influence Web Application Comprehension Tasks Supported by UML Stereotypes: A Series of Four Experiments
Software Dependencies, Work Dependencies, and Their Impact on Failures
The SeaView Security Model
Modeling and Analysis of the Behavior of Information Systems
Editorial: New AE Introduction/Farewell
simplifld alfu-n2merik fOnetiks (sanf)
Bidirectional Symbolic Analysis for Effective Branch Testing
Approximate Analysis of Load Dependent General Queueing Networks
Multiphase Stabilization
Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms
Constructing the Call Graph of a Program
Automated Infrastructure as Code Program Testing
Data Quality Matters: A Case Study on Data Label Correctness for Security Bug Report Prediction
Evidence-Based Guidelines for Assessment of Software Development Cost Uncertainty
An Experiment ot Assess the Cost-Benefits of Code Inspections in Large Scale Software Development
Microtask Programming
PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel
Requirements Engineering for Safety-Critical Systems: An Interview Study with Industry Practitioners
An Analysis of Competing Software Reliability Models
Number of Faults per Line of Code
The Influence of Scale on Distributed File System Design
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
KIDS: A Semiautomatic Program Development System
Enhancing Project-Specific Code Completion by Inferring Internal API Information
Polymetric Views - A Lightweight Visual Approach to Reverse Engineering
On "A Framework for Source Code Search Using Program Patterns"
Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware
Systematic Program Development
The Impact of Correlated Metrics on the Interpretation of Defect Models
Defining and Validating Measures for Object-Based High-Level Design
Process Aspects and Social Dynamics of Contemporary Code Review: Insights from Open Source Development and Industrial Practice at Microsoft
Detecting Trivial Mutant Equivalences via Compiler Optimisations
Efficient Algorithms for the Instantiated Transitive Closure Queries
Diversified Third-Party Library Prediction for Mobile App Development
Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis
Improved Management of Issue Dependencies in Issue Trackers of Large Collaborative Projects
StakeRare: Using Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
SOSRepair: Expressive Semantic Search for Real-World Program Repair
Optimal Selection of Secondary Indexes
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
On the Use of Hidden Markov Model to Predict the Time to Fix Bugs
Random Testing: Theoretical Results and Practical Implications
A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity
Backward Bisimulation in Markov Chain Model Checking
Compound-Poisson Software Reliability Model
Agile Effort Estimation: Have We Solved the Problem Yet? Insights From a Replication Study
Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing
Foreword: Advances in Distributed Computing Systems
Management of Performance Requirements for Information Systems
How do Practitioners Perceive the Relevance of Requirements Engineering Research?
Detecting Compiler Error Recovery Defects via Program Mutation Exploration
Retrieval-Augmented Fine-Tuning for Improving Retrieve-and-Edit Based Assertion Generation
Grammar Based Directed Testing of Machine Learning Systems
A Highly Available Local Leader Election Service
Software Reliability Allocation Based on Structure, Utility, Price, and Cost
An Experiment in Software Error Data Collection and Analysis
Why is Software Late? An Empirical Study of Reasons For Delay in Software Development
Verifying Synchronization for Atomicity Violation Fixing
Errata for "Discovering Documentation for Java Container Classes"
Correction to "Dynamic Improvement of Locality in Virtual Memory Systems"
Profiling an Incremental Data Flow Analysis Algorithm
Program Slicing with Dynamic Points-To Sets
A Component Model for Model Transformations
OpCodeBERT: A Method for Python Code Representation Learning by BERT With Opcode
Secure Broadcasting Using the Secure Lock
Measuring and Characterizing (Mis)compliance of the Android Permission System
Using a Protean Language to Enhance Expressiveness in Specification
Engineering Privacy
Simulation-Verification: Biting at the State Explosion Problem
Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization
On the Cycle Time Distribution in a Two-Stage Cyclic Network with Blocking
Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks
The Link between Dependency and Cochange: Empirical Evidence
Intervention Schedules for Real-Time Programming
Efficient Support of Statistical Operations
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
Coverage Prediction for Accelerating Compiler Testing
Metamorphic Relations for Enhancing System Understanding and Use
Model Checking Timed and Stochastic Properties with CSL^{TA}
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software
A Heuristic for Deriving Loop Functions
A New Architecture for Transformation-Based Generators
A Comprehensive Study of Bugs in Relational DBMS
Guest Editors' Introduction: Next Generation Software Reuse
A Reflection on Change Classification in the Era of Large Language Models
An Examination of Fault Exposure Ratio
Distributed Version Management for Read-Only Actions
Debugging Static Analysis
Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications
The "Question Neighbourhood" Approach for Systematic Evaluation of Code-Generating LLMs
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis
Threaded Linear Hierarchical Quadtree for Computation of Geometric Properties of Binary Images
Software Development Process Ambidexterity and Project Performance: A Coordination Cost-Effectiveness View
The Detection of Fault-Prone Programs
A Formal Specification and Verification Framework for Timed Security Protocols
Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation
Deep Just-In-Time Defect Localization
Women's Participation in Student Software Development Teams: A Cross-Sectional Study on Role Distribution
Mawl: A Domain-Specific Language for Form-Based Services
Information Resources Management in Heterogeneous, Distributed Environments: A Metadatabase Approach
Dynamic Analysis for Diagnosing Integration Faults
Program Graphs, an Algebra, and Their Implication for Programming
Online Reliability Prediction via Motifs-Based Dynamic Bayesian Networks for Service-Oriented Systems
Evaluating Software Development by Analysis of Changes: Some Data from the Software Engineering Laboratory
Analysis of the Multiple-Attribute-Tree Data-Base Organization
Compositional Verification for Hierarchical Scheduling of Real-Time Systems
Managing Episodic Volunteers in Free/Libre/Open Source Software Communities
A Formal Model of the Software Test Process
Correspondence: Response to Botting's Comments
Top-Down, Bottom-Up, and Structured Programming
QoS-Aware Middleware for Web Services Composition
Comments on "On Object Systems and Behavior Inheritance"
How to Evaluate Solutions in Pareto-Based Search-Based Software Engineering: A Critical Review and Methodological Guidance
Statistical Database Query Languages
Type Transformations
On the Execution of Large Batch Programs in Unreliable Computing Systems
A Case Study of Software Process Improvement During Development
MIKE: A Network Operating System for the Distributed Double-Loop Computer Network
Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
A Model of Data Warehousing Process Maturity
Just-In-Time TODO-Missed Commits Detection
Too Many User-Reviews! What Should App Developers Look at First?
A System to Generate Test Data and Symbolically Execute Programs
Other Comments on "Optimization Algorithms for Distributed Queries"
Two-State Self-Stabilizing Algorithms for Token Rings
Predicting Fault-Prone Software Modules in Telephone Switches
A Metaprogramming Method and Its Economic Justification
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations
Constructing the Procedure Call Multigraph
Program Reusability through Program Transformation
What Makes a Good Bug Report?
Deep Learning Based Vulnerability Detection: Are We There Yet?
Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems
Flakify: A Black-Box, Language Model-Based Predictor for Flaky Tests
User-Perceived Quality of Interactive Systems
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks
Counting Paths: Nondeterminism as Linear Algebra
LLMorpheus: Mutation Testing Using Large Language Models
Communication and Synchronization in Distributed Systems
Studying the Practices of Logging Exception Stack Traces in Open-Source Software Projects
Static Analysis of XML Transformations in Java
API-Based and Information-Theoretic Metrics for Measuring the Quality of Software Modularization
Discovering Architectures from Running Systems
An Interactive Program Verification System
Comparing the Defect Reduction Benefits of Code Inspection and Test-Driven Development
Exploring and Analyzing Software Architecture Refactoring in Practice
A Packaging System For Heterogeneous Execution Environments
Communication and Synchronization Primitives for Distributed Programs
Call-Stack Coverage for GUI Test Suite Reduction
Grammars and Relations
Guaranteeing Good Memory Bound for Parallel Programs
A Theory of Pending Schemas in Combinatorial Testing
An Empirical Study of Release Note Production and Usage in Practice
Automatic Software Repair: A Survey
A Symmetrical Exponential Open Queue Network with Blocking and Feedback
Identifying Extract Method Refactoring Opportunities Based on Functional Relevance
Can We Trust the Phone Vendors? Comprehensive Security Measurements on the Android Firmware Ecosystem
A Fast Clustering Algorithm for Modularization of Large-Scale Software Systems
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
An Extensible Framework for Improving a Distributed Software System's Deployment Architecture
On the Composability of Design Patterns
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
Learning Approximate Execution Semantics From Traces for Binary Function Similarity
An Actionable Framework for Understanding and Improving Developer Experience
The Performance of Flow Graph Locking
Secure Execution of Java Applets Using a Remote Playground
Multitask-Based Evaluation of Open-Source LLM on Software Vulnerability
A Bayesian Analysis of the Logarithmic-Poisson Execution Time Model Based on Expert Opinion and Failure Data
Adaptive Multi-Objective Evolutionary Algorithms for Overtime Planning in Software Projects
Collision-Free Access Control for Computer Communication Bus Networks
An Efficient Distributed Knot Detection Algorithm
Observations of Fallibility in Applications of Modern Programming Methodologies
Preliminary Guidelines for Empirical Research in Software Engineering
An Approach to Concurrent Control Flow Checking
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game
Rapid Application of Lightweight Formal Methods for Consistency Analysis
Guest Editors' Introduction: Workshop on Software and Performance
Automatic Summarization of Bug Reports
Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods
Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Supporting Scope Tracking and Visualization for Very Large-Scale Requirements Engineering-Utilizing FSC+, Decision Patterns, and Atomic Decision Visualizations
Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality
Reinforcement Learning for Test Case Prioritization
The Parallel Assignment Problem Redefined
Enabling Good Work Habits in Software Developers through Reflective Goal-Setting
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
A Property of Normalization Constants for Closed Queueing Networks
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
Locality of Reference in Hierarchical Database Systems
Studying the Association Between Bountysource Bounties and the Issue-Addressing Likelihood of GitHub Issue Reports
Module Allocation of Real-Time Applications to Distributed Systems
Synthesis: Dreams - Programs
Size-Constrained Regression Test Case Selection Using Multicriteria Optimization
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
Predicting Future Developer Behavior in the IDE Using Topic Models
X-SBR: On the Use of the History of Refactorings for Explainable Search-Based Refactoring and Intelligent Change Operators
Experience with Charlotte: Simplicity and Function in a Distributed Operating System
Design and Implementation of Secure Xenix
Developing Interactive Information Systems with the User Software Engineering Methodology
Automatic Design of the Internal Schema for a CODASYL Database System
Do Chase Your Tail! Missing Key Aspects Augmentation in Textual Vulnerability Descriptions of Long-Tail Software Through Feature Inference
A Reflective Implementation of Java Multi-Methods
Predicting Defective Lines Using a Model-Agnostic Technique
A Safe Algorithm for Resolving OR Deadlocks
Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models
Which Commits Can Be CI Skipped?
Emotions and Perceived Productivity of Software Developers at the Workplace
Translating Video Recordings of Complex Mobile App UI Gestures into Replayable Scenarios
Privacy Impact Tree Analysis (PITA): A Tree-Based Privacy Threat Modeling Approach
A Model for Secure Protocols and Their Compositions
Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
Heuristic and Neural Network Based Prediction of Project-Specific API Member Access
Large-Scale Third-Party Library Detection in Android Markets
Decision Support for Selecting Blockchain-Based Application Design Patterns With Layered Taxonomy and Quality Attributes
A Class of Inherently Fault Tolerant Distributed Programs
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'
The Work Life of Developers: Activities, Switches and Perceived Productivity
A Machine Description Facility for Compiler Testing
Using Flat Concurrent Prolog in System Modeling
Test Report Generation for Android App Testing Via Heterogeneous Data Analysis
Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions
Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)
MAP 2.1 Conformance Testing Tools
Use of Very High Level Languages and Program Generation by Management Professionals
Runtime Verification of Crypto APIs: An Empirical Study
Redundancy in Data Structures: Improving Software Fault Tolerance
Assessing Software Service Quality and Trustworthiness at Selection Time
The Draco Approach to Constructing Software from Reusable Components
An Empirical Study Using Task Assignment Patterns to Improve the Accuracy of Software Effort Estimation
Mimicking Production Behavior With Generated Mocks
CTOS: Compiler Testing for Optimization Sequences of LLVM
Practitioners' Expectations on Log Anomaly Detection
A Controlled Experiment for Evaluating the Impact of Coupling on the Maintainability of Service-Oriented Software
Coordination Breakdowns and Their Impact on Development Productivity and Software Failures
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs
Data Quality: Some Comments on the NASA Software Defect Datasets
Complete and Interpretable Conformance Checking of Business Processes
The Impact on Software Development Costs of Using HOL's
Genetic Algorithms for Randomized Unit Testing
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover
Cycle Structure of the DES for Keys Having Palindromic (or Antipalindromic) Sequences of Round Keys
Automatic Feature Learning for Predicting Vulnerable Software Components
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets
Bayesian Data Analysis in Empirical Software Engineering Research
Efficient Algorithms For Selection of Recovery Points in Tree Task Models
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model
Multilevel Data Structures: Models and Performance
IAI Corporate Software Engineering Training and Education Program
Static Analysis of JNI Programs via Binary Decompilation
Just-In-Time Obsolete Comment Detection and Update
Modeling the Effects of Combining Diverse Software Fault Detection Techniques
Applying Formal Specification to Software Development in Industry
A Theory of Value for Value-Based Feature Selection in Software Engineering
STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects
Software Congestion, Mobile Servers, and the Hyperbolic Model
Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries
Privately Finding Specifications
Analysis of Database System Architectures Using Benchmarks
Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback
Software Cost Reduction Methods in Practice
Generalized Coverage Criteria for Combinatorial Sequence Testing
Refinement Methodology for Ada
Guest Editors' Introduction Visual Programming
T4PC: Training Deep Neural Networks for Property Conformance
Guest Editor's Introduction: Microprogramming
A Coding Scheme to Support Systematic Analysis of Software Comprehension
Finding Clones with Dup: Analysis of an Experiment
Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches"
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM
Reviewing Software Diagrams: A Cognitive Study