yusuke1997/dblp-id-title huggingface dataset:
Symbolic Gray Code as a Perfect Multiattribute Hashing Scheme for Partial Match Queries
Translating to a Low-Resource Language with Compiler Feedback: A Case Study on Cangjie
Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment
Instance Migration Validity for Dynamic Evolution of Data-Aware Processes
Parallel Computing Optimization in the Apollo Domain Network
Compositional Control of IP Media
An Empirical Study of RefactoringChallenges and Benefits at Microsoft
Dependability Evaluation of Software Systems in Operation
Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives
T-Evos: A Large-Scale Longitudinal Study on CI Test Execution and Failure
A Priority Based Distributed Deadlock Detection Algorithm
A Resource Sharing System for Personal Computers in a LAN: Concepts, Design, and Experience
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code
Comprehending Object and Process Models: An Empirical Study
Composition Validation and Subjectivity in GenVoca Generators
Socio-Technical Grounded Theory for Software Engineering
Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving
Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation
Optimizing Ordered Throughput Using Autonomic Cloud Bursting Schedulers
Constructing Distributed Systems in Conic
An Enhanced Neural Network Technique for Software Risk Analysis
PATEN: Identifying Unpatched Third-Party APIs via Fine-Grained Patch-Enhanced AST-Level Signature
Automatic Detection of Unsafe Dynamic Component Loadings
Evolving JavaScript Code to Reduce Load Time
Performance Characterization of Quorum-Consensus Algorithms for Replicated Data
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation
On Formalization of the Whole-Part Relationship in the Unified Modeling Language
Experience with Traits in the Xerox Star Workstation
Numerical Operations on a Relational Database
Comments on "Defining Software by Continuous Smooth Functions''
On the Automated Generation of Program Test Data
Reliability Experience with Chi/OS
A Cognitive-Based Mechanism for Constructing Software Inspection Teams
TransferFuzz-Pro: Large Language Model Driven Code Debugging Technology for Verifying Propagated Vulnerability
Data Mining Techniques for Software Effort Estimation: A Comparative Study
Experimentally Characterizing the Behavior of Multiprocessor Memory Systems. A Case Study
DASP: A Framework for Driving the Adoption of Software Security Practices
Guest Editors' Introduction: Special Section on Software Engineering for Secure Systems
Darcy: Automatic Architectural Inconsistency Resolution in Java
Working with Persistent Objects: To Swizzle or Not to Swizzle
The Impact of Class Rebalancing Techniques on the Performance and Interpretation of Defect Prediction Models
A Synthetic Workload Generation Technique for Stress Testing Session-Based Systems
The Last 10 Percent
SQAPlanner: Generating Data-Informed Software Quality Improvement Plans
Contract-Checking Wrappers for C++ Classes
Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection
VulFinder: Exploring Chaincode Vulnerabilities More Effectively and Efficiently Using Knowledge Graph Based Defect Pattern Matching
Interconnection of Local Computer Networks: Modeling and Optimization Problems
Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling
EARMO: An Energy-Aware Refactoring Approach for Mobile Apps
Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
A Simple Experiment in Top-Down Design
Machine Learning Approaches to Estimating Software Development Effort
Specification of Synchronizing Processes
Discovering Documentation for Java Container Classes
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency
Bug-Locating Method Based on Statistical Testing for Quantum Programs
Describing Software Architecture Styles Using Graph Grammars
Guest Editor's Prologue Special Issue on Software Design Methods
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
Two Controlled Experiments Assessing the Usefulness of Design Pattern Documentation in Program Maintenance
A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
Using Genetic Search for Reverse Engineering of Parametric Behavior Models for Performance Prediction
Display Condensation of Program Text
Syntactic Error Correction in Programming Languages
Bringing Open Source Communication and Development Together: A Cross-Platform Study on Gitter and GitHub
Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links
Predicting (Individual) Software Productivity
A Theorem Prover for Verifying Iterative Programs Over Integers
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++
Recalibrating Software Reliability Models
Specializing Neural Networks for Cryptographic Code Completion Applications
A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety
Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing
Increasing the Confidence of Deep Neural Networks by Coverage Analysis
Region Scheduling: An Approach for Detecting and Redistributing Parallelism
On the File Design Problem for Partial Match Retrieval
Performance of MAP in the Remote Operation of a CNC
The Effects of Time Constraints on Test Case Prioritization: A Series of Controlled Experiments
Comments on Program Slicing
Experimental Evaluation of a Real-Time Scheduler for a Multiprocessor System
Performance Comparison of Three Modern DBMS Architectures
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
Knowledge-Based Repository Scheme for Storing and Retrieving Business Components: A Theoretical Design and an Empirical Analysis
Prompt Tuning in Code Intelligence: An Experimental Evaluation
Forword to the Special Section on Papers from the 1987 ACM SIMETRICS Conference on Measurement and Modeling of Computer Systems
Software Design Representation Using Abstract Process Networks
Software Reuse in Product Populations
Defect Frequency and Design Patterns: An Empirical Study of Industrial Code
An Analysis of the Effect of Network Parameters on the Performance of Distributed Database Systems
An Approach to Developing Domain Requirements as a Core Asset Based on Commonality and Variability Analysis in a Product Line
Automated Software Synthesis: An Application in Mechanical CAD
Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck
Self-Admitted Technical Debt in Ethereum Smart Contracts: A Large-Scale Exploratory Study
Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems
Search-Based DNN Testing and Retraining With GAN-Enhanced Simulations
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
The Eden System: A Technical Review
Extending the UML Statecharts Notation to Model Security Aspects
A New Verification Rule and Its Applications
A Methodology for Testing Intrusion Detection Systems
An Automated Software Design Assistant
An Argument in Favor of Mechanized Software Production
Generating Software Test Data by Evolution
Rough Grammar For Efficient and Fault-Tolerant Computing on a Distributed System
Closed Covers: To Verify Progress for Communicating Finite State Machines
Within-Project Defect Prediction of Infrastructure-as-Code Using Product and Process Metrics
A Method to Assess and Argue for Practical Significance in Software Engineering
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
Towards Reliable Online Just-in-Time Software Defect Prediction
Predictability of Process Resource Usage: A Measurement-Based Study on UNIX
X-FEDERATE: A Policy Engineering Framework for Federated Access Management
Properties and Styles of Software Technology Tutorials
Demystifying Rust Unstable Features at Ecosystem Scale: Evolution, Propagation, and Mitigation
Research on Structured Programming: An Empiricist's Evaluation
Requirements Framing Affects Design Creativity
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
R2API: A Novel Method for Web API Recommendation by Using HGNNs With Multi-Task Learning
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
Towards Automatic Auditing of Records
Specification and Analysis of Real-time Problem Solvers
Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End Deadlines
Random Insertion into a Priority Queue Structure
Experimental Evaluation of Test-Driven Development With Interns Working on a Real Industrial Project
Comparing Two Functional Programming Systems
Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
An Easy Data Augmentation Approach for Application Reviews Event Inference
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation
The Effects of Human Aspects on the Requirements Engineering Process: A Systematic Literature Review
Understanding Security Issues in the DAO Governance Process
Recommending API Function Calls and Code Snippets to Support Software Development
High Performance Software Testing on SIMD Machines
A Comprehensive Study of OOP-Related Bugs in C++ Compilers
Anchor Attention, Small Cache: Code Generation With Large Language Models
Toward Constraint-Object-Oriented Development
Comments on "Critical Races in Ada Programs''
Domain-Specific Automatic Programming
Simplifying and Isolating Failure-Inducing Input: A Retrospective on Delta Debugging
Efficient Summary Reuse for Software Regression Verification
Pride: Prioritizing Documentation Effort Based on a PageRank-Like Algorithm and Simple Filtering Rules
Partition Analysis: A Method Combining Testing and Verification
The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
Confirming Configurations in EFSM Testing
On Rigorous Transaction Scheduling
Trust Requirements and Performance of a Fast Subtransprot-Level Protocol for Secure Communication
Compile-Time Analysis of Data List-Format List Correspondences
A Lingua Franca For Concurrent Logic Programming
Toward a Theory of Causation for Interpreting Neural Code Models
Correction to "A Logic-Based Approach to Reverse Engineering Tools Production"
Clone Management for Evolving Software
API-Evolution Support with Diff-CatchUp
The Frequency Distribution of Operators in PL/I Programs
Monitoring Software Development Through Dynamic Variables
Using Annotations to Make Recursion Equations Behave
The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD
Evaluating and Improving GPT-Based Expansion of Abbreviations
Object Analysis Patterns for Embedded Systems
Quality Requirements in Industrial Practice - An Extended Interview Study at Eleven Companies
Integrating an Ensemble Surrogate Model's Estimation into Test Data Generation
How Developers Diagnose Potential Security Vulnerabilities with a Static Analysis Tool
Translation and Execution of Distributed Ada Programs: Is It Still Ada?
Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis
Erratum to "Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search With Emulation"
Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results
An Investigation of Graph-Based Class Integration Test Order Strategies
On the Effectiveness of Transfer Learning for Code Search
Specification and Verification of NormativeTexts Using C-O Diagrams
Muse - A Computer Assisted Verification System
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
Tracking Load-Time Configuration Options
Leveraging Structure in Software Merge: An Empirical Study
Description of a Tool for Specifying and Prototyping Concurrent Programs
A Syntactic Theory of Software Architecture
Interface Mutation: An Approach for Integration Testing
Aroc: An Automatic Repair Framework for On-Chain Smart Contracts
A Decompositional Approach to the Design of Parallel Programs
Transient Analysis of Superposed GSPNs
Kit: A Study in Operating System Verification
RefactoringMiner 2.0
Driving the Technology Value Stream by Analyzing App Reviews
Task-Oriented ML/DL Library Recommendation Based on a Knowledge Graph
Naming and Binding in a vertical Migration Environment
A Remote Procedure Call Facility for Interconnecting Heterogeneous Computer Systems
Specification and Proof Techniques for Serializers
Control and Discovery of Environment Behaviour
Metamorphic Testing for Web System Security
Decomposition and Aggregation by Class in Closed Queueing Networks
Flow Control for Limited Buffer Multicast
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
The External Heapsort
Amorphous Slicing of Extended Finite State Machines
Axiomatizing Software Test Data Adequacy
On the Projection Method for Protocol Verification
An Analysis of Errors and Their Causes in System Programs
RECOVER: Toward Requirements Generation From Stakeholders' Conversations
Software Reflexion Models: Bridging the Gap between Design and Implementation
Computer Program Schemata and the Processes They Generate
GNNContext: GNN-based Code Context Prediction for Programming Tasks
In-Process Evaluation for Software Inspection and Test
Dynamic Analysis of the Effects Access Rule Modifications Have Upon Security
Fast Parametric Model Checking With Applications to Software Performability Analysis
Distributed Program Reliability Analysis
Test Input Prioritization for Machine Learning Classifiers
Automating Visual Language Generation
An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems
Transformation and Verification of Office Procedures
Programming with Verification Conditions
The Programming Language Concurrent Pascal
Response to: Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties"
Multiversion Cautious Schedulers for Database Concurrency Control
Resilient Extended True-Copy Token Scheme for a Distributed Database System
A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
Vuln4Real: A Methodology for Counting Actually Vulnerable Dependencies
An Experimental Investigation of Formality in UML-Based Development
Software Development Estimation Biases: The Role of Interdependence
A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs
A New Method of Image Compression using Irreducible Covers of Maximum Rectangles
Test Synthesis from UML Models of Distributed Software
Parallaxis-III: Architecture-Independent Data Parallel Processing
Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study
Dependency Directed Reasoning and Learning in Systems Maintenance Support
Web Structures: A Tool for Representing and Manipulating Programs
Empirical Studies of Pair Programming for CS/SE Teaching in Higher Education: A Systematic Literature Review
An Automatic-Controller Description Language
The Noisy Substring Matching Problem
Output Sampling for Output Diversity in Automatic Unit Test Generation
On Multisystem Coupling Through Function Request Shipping
Modular Information Hiding and Type-Safe Linking for C
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
SEGRESS: Software Engineering Guidelines for REporting Secondary Studies
Testability Transformation
A Practical Approach to Programming With Assertions
Variations on a Method for Representing Data Items of Unlimited Length
What Not to Test (For Cyber-Physical Systems)
Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures
Obituary for Ole-Johan Dahl (1931-2002), Edsger Wybe Dijkstra (1930-2002), and Kristen Nygaard (1926-2002)
On the Use of Testability Measures for Dependability Assessment
Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems
Statistical Estimation of Software Reliability
Efficient Expressions for Completely and Partly Unsuccessful Batched Search of Tree-Structured Files
Qualitative Research Methods in Software Engineering: Past, Present, and Future
Template Semantics for Model-Based Notations
Repository Evaluation of Software Reuse
Some Properties of Timed Token Medium Access Protocols
Evolutionary Optimization of Software Quality Modeling with Multiple Repositories
The Effect of Feature Characteristics on the Performance of Feature Location Techniques
A 15 Year Perspective on Automatic Programming
The Design for a Secure System Based on Program Analysis
Prevent: An Unsupervised Approach to Predict Software Failures in Production
Assisting Example-Based API Misuse Detection via Complementary Artificial Examples
Using Term Rewriting to Verify Software
A Language Extension for Controlling Access to Shared Data
Moral Dominance Relations for Program Comprehension
Model Transformation Modularization as a Many-Objective Optimization Problem
Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion
Embedding, Evolution, and Validation of Model-Driven Spreadsheets
An Ontology-Based Product Architecture Derivation Approach
Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification
Companies' Participation in OSS Development-An Empirical Study of OpenStack
A Query Algebra for Program Databases
Evaluation of Error Recovery Blocks Used for Cooperating Processes
Disaggregating and Calibrating the CASE Tool Variable in COCOMO II
Time and Cost Evaluation Schemes of Multiple Copies of Data in Distributet Database Systems
Introduction to the WELLMADE Design Methodology
An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study
Modeling Functional Similarity in Source Code With Graph-Based Siamese Networks
Behavior Modeling During Software Design
Miró: Visual Specification of Security
The Software Life Cycle-A Management and Technological Challenge in the Department of Defense
Design Stability Measures for Software Maintenance
DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells
A Formal Architectural Model for Logical Agent Mobility
Impact of Introducing Domain-Specific Modelling in Software Maintenance: An Industrial Case Study
The Unix System and Software Reusability
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries
Use and Misuse of Continuous Integration Features: An Empirical Study of Projects That (Mis)Use Travis CI
Diagnosing Rediscovered Software Problems Using Symptoms
BiAn: Smart Contract Source Code Obfuscation
Modeling of Software Partition for Distributed Real-Time Applications
Context-Aware Middleware for Resource Management in the Wireless Internet
Anomaly Detection on Interleaved Log Data With Semantic Association Mining on Log-Entity Graph
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation
Revisiting, Benchmarking and Exploring API Recommendation: How Far Are We?
Research on Knowledge-Based Software Environments at Kestrel Institute
Performance Analyses of Cartesian Product Files and Random Files
Automatic Contract Insertion with CCBot
Privilege Transfer and Revocation in a Port-Based System
RUBRIC: A System for Rule-Based Information Retrieval
Measurement and Analysis of Workload Effects on Fault Latency in Real-Time Systems
Allocating Independent Subtasks on Parallel Processors
Detecting, Tracing, and Monitoring Architectural Tactics in Code
Language Features for Access Control
Identifying Self-Admitted Technical Debts With Jitterbug: A Two-Step Approach
Evaluating Model-Driven Development Claims with Respect to Quality: A Family of Experiments
Software Process Representation and Analysis for Framework Instantiation
Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol
Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic Languages
A Controlled Experiment Quantitatively Comparing Software Development Approaches
Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout
Program Perspectives: A Relational Representation of Measurement Data
On the Asymptotic Optimality of First-Fit Storage Allocation
Assessing (Software) Reliability Growth Using a Random Coefficient Autoregressive Process and Its Ramifications
How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes
Does Treatment Adherence Impact Experiment Results in TDD?
The "Software Engineering'' of Expert Systems: Is Prolog Appropriate?
DevOps Research-Based Teaching Using Qualitative Research and Inter-Coder Agreement
CRPWarner: Warning the Risk of Contract-Related Rug Pull in DeFi Smart Contracts
Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies
Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization
Estimeetings: Development Estimates and a Front-End Process For a Large Project
Dependent or Not: Detecting and Understanding Collections of Refactorings
PROVIDE: A Process Visualization and Debugging Environment
Comments Analysis and Programming Errors
Motivation Under Gamification: An Empirical Study of Developers' Motivations and Contributions in Stack Overflow
NLP-Based Automated Compliance Checking of Data Processing Agreements Against GDPR
Thorough Investigation into "An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''
The Location Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems
A Dynamic Slicing Technique for UML Architectural Models
Applying Concept Analysis to User-Session-Based Testing of Web Applications
How Effective Developers Investigate Source Code: An Exploratory Study
Finding Substitutable Binary Code By Synthesizing Adapters
Lightweight Assessment of Test-Case Effectiveness Using Source-Code-Quality Indicators
Class Point: An Approach for the Size Estimation of Object-Oriented Systems
A Parallel Processor Operating System Comparison
A Probabilistic Analysis of the Efficiency of Automated Software Testing
Deep Learning Based Code Smell Detection
An Empirical Study of Open-Source and Closed-Source Software Products
Towards Model Checking Android Applications
A Systematic Review of Theory Use in Software Engineering Experiments
Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
Mutation-Driven Generation of Unit Tests and Oracles
Performance Characterization of Optimizing Compilers
Information Retrieval Based on Touch-Tone Encoded Alphanumeric Keys
Automatic Generation of Floating-Point Test Data
Predicting Consistency-Maintenance Requirement of Code Clonesat Copy-and-Paste Time
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation
Automated Generation of Consistent Graph Models With Multiplicity Reasoning
An Approach to Software Product Testing
Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems