yusuke1997/dblp-id-title huggingface dataset:
A Mathematical Model for the Comparison of Static and Dynamic Memory Allocation in a Paged System
What You See Is What You Get: Prototype Generation for IoT End-User Programming
Unearthing Gas-Wasting Code Smells in Smart Contracts With Large Language Models
Maturing Software Engineering Knowledge through Classifications: A Case Study on Unit Testing Techniques
Deadline Analysis of Interrupt-Driven Software
FairBalance: How to Achieve Equalized Odds With Data Pre-Processing
ASTRA: Adversarial Sim-to-Real Transfer Reinforcement Learning for Autoscaling in Cloud Systems
Test Case Prioritization: A Family of Empirical Studies
The x -Kernel: An Architecture for Implementing Network Protocols
A Synthesis of Software Science Measures and the Cyclomatic Number
From Tea Leaves to System Maps: A Survey and Framework on Context-Aware Machine Learning Monitoring
The Specification of Assemblers
Approaches to Co-Evolution of Metamodels and Models: A Survey
Predicting the Location and Number of Faults in Large Software Systems
scenoRITA: Generating Diverse, Fully Mutable, Test Scenarios for Autonomous Vehicle Planning
Revisiting Supervised and Unsupervised Methods for Effort-Aware Cross-Project Defect Prediction
Do Pretrained Language Models Indeed Understand Software Engineering Tasks?
A Dynamic Voting Scheme in Distributed Systems
A Comprehensive Study on Static Application Security Testing (SAST) Tools for Android
Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach
Static Analysis and Dynamic Steering of Time-Dependent Systems
A Note on Concurrent Programming Control
Symbolic Evaluation and the Analysis of Programs
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics
A Visual Language Compiler for Information Retrieval by Visual Reasoning
Evaluating Software Complexity Measures
A Scheme for Batch Verification of Integrity Assertions in a Database System
Authors' Reply to "Comments on 'Researcher Bias: The Use of Machine Learning in Software Defect Prediction'"
The Construction of Contextual Def-Use Associations for Object-Oriented Systems
PHILAN: A LAN Providing a Reliable Message Service for Distributed Processing
Deep Transfer Bug Localization
MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems
Smart Greybox Fuzzing
A Three-View Model for Performance Engineering of Concurrent Software
A Mixed-Method Approach to Recommend Corrections and Correct REST Antipatterns
A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers
Bayesian Network Models for Web Effort Prediction: A Comparative Study
Programming Language Constructs for Screen Definition
A Layout Algorithm for Data Flow Diagrams
Flexible Combinatorial Interaction Testing
Rate-Based Queueing Simulation Model of Open Source Software Debugging Activities
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
Formal Specification-Based Inspection for Verification of Programs
Molecule: A Language Construct for Layered Development of Parallel Programs
CODIT: Code Editing With Tree-Based Neural Models
Bellwethers: A Baseline Method for Transfer Learning
Evaluating Software Reuse Alternatives: A Model and Its Application to an Industrial Case Study
Reflections of a Former Editor-in-Chief of TSE
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components
A Compiler for an Array and Vector Processing Language
Parameterized Programming
Guest Editor's Introduction: Seventh International Software Metrics Symposium
A Control-Flow Analysis for a Calculus of Concurrent Objects
Formulating Criticality-Based Cost-Effective Fault Tolerance Strategies for Multi-Tenant Service-Based Systems
Models of Parallel Applications with Large Computation and I/O Requirements
Mixed Signals: Analyzing Software Attribution Challenges in the Android Ecosystem
NDT. A Model-Driven Approach for Web Requirements
An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme
Test Case Generation for Boolean Expressions by Cell Covering
A Formal Specification Framework for Object-Oriented Distributed Systems
PICQUERY: A High Level Query Language for Pictorial Database Management
A Human Factors Experimental Comparison of SQL and QBE
Evaluating Capture-Recapture Models with Two Inspectors
A Feature-Based Classification of Model Repair Approaches
A Transaction-Based Approach to Vertical Partitioning for Relational Database Systems
A Distributed Algorithm for Performance Improvement Through File Replication, File Migration, and Process Migration
A Physical Database Design Evaluation System for CODASYL Databases
BinDiff NN : Learning Distributed Representation of Assembly for Robust Binary Diffing Against Semantic Differences
Post-Incorporating Code Structural Knowledge Into Pretrained Models via ICL for Code Translation
Runtime Analysis of Atomicity for Multithreaded Programs
Discovering Services during Service-Based System Design Using UML
Access Control in Parallel Programs
Architecture Anti-Patterns: Automatically Detectable Violations of Design Principles
Orca: A Language For Parallel Programming of Distributed Systems
DexBERT: Effective, Task-Agnostic and Fine-Grained Representation Learning of Android Bytecode
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
Language Inclusion Checking of Timed Automata with Non-Zenoness
An Approximate Analytical Method for General Queueing Networks
Relations Between Effort Estimates, Skill Indicators, and Measured Programming Skill
Assessing Software Designs Using Capture-Recapture Methods
RLocator: Reinforcement Learning for Bug Localization
Program Synthesis for Cyber-Resilience
Towards Explainable Vulnerability Detection With Large Language Models
Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment
Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing
A Classification Framework for Software Component Models
Development Life Cycle of Computer Networks: The Executable Model Approach
Some Design Aspects of Databases Through Petri Net Modeling
Concurrency and Forward Recovery in Atomic Actions
Specification of Modular Systems
Kernel Spectral Embedding Transfer Ensemble for Heterogeneous Defect Prediction
Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process
Providing Customized Assistance for Software Lifecycle Approaches
A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments
Guest Editorial: Reliability Issues in Distributed Systems
Software Module Clustering as a Multi-Objective Search Problem
INSPECT: Intrinsic and Systematic Probing Evaluation for Code Transformers
A Rational Design Process: How and Why to Fake it
DiffSearch: A Scalable and Precise Search Engine for Code Changes
Expert Systems and the "Myth'' of Symbolic Reasoning
A Management Tool For Evaluation of Software Designs
Precise Calling Context Encoding
Vulnerability Discovery with Attack Injection
An Empirical Study of Exploring the Capabilities of Large Language Models in Code Learning
A Taxonomy of Contextual Factors in Continuous Integration Processes
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process
Tracking Buggy Files: New Efficient Adaptive Bug Localization Algorithm
Design Wizards and Visual Programming Environments for GenVoca Generators
Risk Assessment of Computer Controlled Systems
Atomic Actions for Fault-Tolerance Using CSP
A Debugger for Ada Tasking
Guest Editors' Introduction: Computer Languages
Software Partitioning for Distributed, Sequential, Pipelined Applications
Name-Based Analysis of Equally Typed Method Arguments
Building Reliable Interactive Information Systems
Object-Oriented Development
Omega - A Data Flow Analysis Tool for the C Programming Language
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria
Specifying Dynamic Analyses by Extending Language Semantics
Bridging Semantic Gaps between Natural Languages and APIs with Word Embedding
Presentation and Correction of Errors in Operating System Measurements
Software Engineering for Internet of Things: The Practitioners' Perspective
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation
A Very High-Level Interactive Graphical Trace for the Pascal Heap
Fault Localization for Dynamic Web Applications
Editorial from the New Editor in Chief
Comments on "Number of Faults per Line of Code"
Defining Database Views as Data Abstractions
Towards a Theory of Forward Error Recovery
CBGA-ES + : A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization
Whitening SOA Testing via Event Exposure
ADTEST: A Test Data Generation Suite for Ada Software Systems
ARENA: An Approach for the Automated Generation of Release Notes
Typestate: A Programming Language Concept for Enhancing Software Reliability
Mitigating Noise in Quantum Software Testing Using Machine Learning
A Model for Software Product Quality
A Deep Dive into the Impact of COVID-19 on Software Development
Identifying Renaming Opportunities by Expanding Conducted Rename Refactorings
Discovering Reusable Functional Features in Legacy Object-Oriented Systems
The Automatic Inversion of Attribute Grammars
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
An Extended Banker's Algorithm for Deadlock Avoidance
A System for Generating Language-Oriented Editors
Behavior Protocols for Software Components
Mutation Operators for Spreadsheets
A Testbed for Configuration Management Policy Programming
Comments on 'The Model Checker SPIN'
Model Checking Software with First Order Logic Specifications Using AIG Solvers
Communicating Real-Time State Machines
A Convention for Explicit Declaration of Environments and Top-Down Refinement of Data
Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment
Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing
Construction of Universal Instances for Loop-Free Network Databases Using a Join-Like Operation
SODOS: A Software Documentation Support Environment - Its Definition
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets
Instance Generator and Problem Representation to Improve Object Oriented Code Coverage
Crossover Designs in Software Engineering Experiments: Benefits and Perils
Enhancing the Description-to-Behavior Fidelity in Android Apps with Privacy Policy
Reliability Estimation for a Software System with Sequential Independent Reviews
Feature Identification: An Epidemiological Metaphor
The Risks of Coverage-Directed Test Case Generation
Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs
Engineering Adaptive Model-Driven User Interfaces
Editorial: AE Farewell
Key Concepts of the INCAS Multicomputer Project
Supporting the Combined Selection of Model-Based Testing Techniques
An Evaluation of Relational Join Algorithms in a Pipelined Query Processing Environment
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Understanding and Identifying Technical Debt in the Co-Evolution of Production and Test Code
A Data Transfer and Relevant Metrics Matching Based Approach for Heterogeneous Defect Prediction
ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis
GPT2SP: A Transformer-Based Agile Story Point Estimation Approach
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
Specifying Transaction-Based Information Systems with Regular Expressions
Preventing Temporal Violations in Scientific Workflows: Where and How
Dual Processor Scheduling with Dynamic Reassignment
Engineering a Sound Assertion Semantics for the Verifying Compiler
Estimating Software Project Effort Using Analogies
Relevance of Log Mining and Analytics Papers to IEEE Transactions on Software Engineering
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
Program Readability: Procedures Versus Comments
A Procedure to Continuously Evaluate Predictive Performance of Just-In-Time Software Defect Prediction Models During Software Development
Some Experience with Automated Aids to the Design of Large-Scale Reliable Software
Development of a Debugger for a Concurrent Language
Absolute Bounds on Set Intersection and Union Sizes from Distribution Information
Program Characterization Using Runtime Values and Its Application to Software Plagiarism Detection
Cross-Level Requirements Tracing Based on Large Language Models
Managing Requirements Inconsistency with Development Goal Monitors
Dynamic Transaction Routing in Distributed Database Systems
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Towards Exploring Developers' Struggles in Developing Upgradeable Smart Contracts
How Does Refactoring Impact Security When Improving Quality? A Security-Aware Refactoring Approach
Evaluating and Improving Unified Debugging
Parallelization in System-Level Testing: Novel Approaches to Manage Test Suite Dependencies
STRE: An Automated Approach to Suggesting App Developers When to Stop Reading Reviews
SoapFL: A Standard Operating Procedure for LLM-Based Method-Level Fault Localization
An Analysis of "Distributed Free Space'' in an Operating and Data Management Systems Environment
Embedded Processes in Stochastic Petri Nets
User Review-Based Change File Localization for Mobile Applications
A Diagrammatic Notation for Abstract Syntax and Abstract Structured Objects
Model-Based Systems Engineering and TCAS II: Thirty Years Later
Software CAD: A Revolutionary Approach
Reusability of Mathematical Software: A Contribution
A Controlled Experiment to Assess the Benefits of Estimating with Analogy and Regression Models
Model-Based Performance Risk Analysis
How Do Users Revise Answers on Technical Q&A Websites? A Case Study on Stack Overflow
POMP++: Facilitating Postmortem Program Diagnosis with Value-Set Analysis
Guest Editors' Introduction to the Special Issue on the International Conference on Software Maintenance and Evolution
Detection of Mutual Inconsistency in Distributed Systems
A Mechanism for Database Protection in Cellular-Logic Devices
A Survey on Software Fault Localization
MADMatch: Many-to-Many Approximate Diagram Matching for Design Comparison
Algorithms for Multidimensional Partitioning of Static Files
In Memory of Maurice H. Halstead
Processing Implication on Queries
A Decentralized Self-Adaptation Mechanism for Service-Based Applications in the Cloud
Automated Checking of Conformance to Requirements Templates Using Natural Language Processing
Is Hyper-Parameter Optimization Different for Software Analytics?
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions
Structured Programming and Formal Specification
Specification Directed Module Testing
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools
Comments on: Evaluating Alternative Software Production Functions
A Contingency Approach to Estimating Record Selectivities
From First Patch to Long-Term Contributor: Evaluating Onboarding Recommendations for OSS Newcomers
Performance Analysis of Time Warp With Multiple Homogeneous Processors
Automated Software Engineering Through Structured Data Management
MoCo: Fuzzing Deep Learning Libraries via Assembling Code
On Linguistic Support for Distributed Programs
Cina: Suppressing the Detection of Unstable Context Inconsistency
Rule-Based Design Methodology for Solving Control Problems
Elaborating Requirements Using Model Checking and Inductive Learning
Software Module Clustering: An In-Depth Literature Analysis
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
Capsule-Based User Interface Modeling for Large-Scale Applications
A Systematic Assessment on Android Third-Party Library Detection Tools
Where2Change: Change Request Localization for App Reviews
Guest Editors' Introduction: Special Section on the Socio-Technical Environment of Software Development Projects
GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search
Adaptive Load Sharing in Homogeneous Distributed Systems
The Scent of a Smell: An Extensive Comparison Between Textual and Structural Smells
Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models
On the Nature of Merge Conflicts: A Study of 2, 731 Open Source Java Projects Hosted by GitHub
What's Wrong with My Benchmark Results? Studying Bad Practices in JMH Benchmarks
ADPTriage: Approximate Dynamic Programming for Bug Triage
A Systematic Review of Interaction in Search-Based Software Engineering
Proactive Self-Adaptation for Improving the Reliability of Mission-Critical, Embedded, and Mobile Software
Whole Test Suite Generation
On the Relationship Between Partition and Random Testing
The TAME Project: Towards Improvement-Oriented Software Environments
Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments
A Simple Mechanism for Type Security Across Compilation Units
Animation2API: API Recommendation for the Implementation of Android UI Animations
Test Oracle Strategies for Model-Based Testing
A Successful Software Development
A Temporal Approach for Testing Distributed Systems
An Interactive and Dynamic Search-Based Approach to Software Refactoring Recommendations
Test-Execution-Based Reliability Measurement and Modeling for Large Commercial Software
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
A Methodology for Analyzing Uptake of Software Technologies Among Developers
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems
Constructing Specifications by Combining Parallel Elaborations
Measuring Software Dependability by Robustness Benchmarking
Exception Handling in CLU
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
An Expansive View of Reusable Software
New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets
Understanding and Detecting Real-World Safety Issues in Rust
Beyond Literal Meaning: Uncover and Explain Implicit Knowledge in Code Through Wikipedia-Based Concept Linking
The Mean Resequencing Delay for M/H_K/infty Systems
Finding Faster Configurations Using FLASH
Product Form Solution for Generalized Stochastic Petri Nets
Formal Modeling of Virtual Machines
An Introduction to the Construction and Verification of Alphard Programs
Asynchronous Parallel Simulation of Parallel Programs
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
Implementing Atomic Actions in Ada 95
The Reference Model for Smooth Growth of Software Systems Revisited
Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
Requirements Development in Scenario-Based Design
Performance Evaluation of Mobile Processes via Abstract Machines
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software
Adaptive Programming
Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software
PROBE Spatial Data Modeling and Query Processing in an Image Database Application
Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments
Structuring Distributed Systems for Recoverability and Crash Resistance
MoMIT: Porting a JavaScript Interpreter on a Quarter Coin
Context of Problem-Solving Systems
A Retrospective on Developing Code Clone Detector CCFinder and Its Impact
Do Crosscutting Concerns Cause Defects?
Automatically Generating Test Cases for Specification Mining
Supersonic: Learning to Generate Source Code Optimizations in C/C++
Automated Refactoring of OCL Constraints with Search
Guest Editor's Introduction to the Special Issue on Neural Network Software and Systems
Performance Measures for Evaluating Algorithms for SIMD Machines
Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation
Formal Program Verification Using Symbolic Execution
Single-Site and Distributed Optimistic Protocols for Concurrency Control
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines
Exploring the Role of Team Security Climate in the Implementation of Security by Design: A Case Study in the Defense Sector
Guest Editors' Introduction-Current Trends in Exception Handling
Evaluating and Improving Recursive Descent Parsers
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers
Evaluating the Effects of Architectural Documentation: A Case Study of a Large Scale Open Source Project
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance
Palantír: Early Detection of Development Conflicts Arising from Parallel Code Changes
Function Point Analysis: Difficulties and Improvements
A Survey of App Store Analysis for Software Engineering
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution
Visualizing Software Changes
Guest Editorial: COMPSAC '81 Special Section
A Statistical Methodology for the Study of the Software Failure Process and Its Application to the ARGOS Center
A Uniform Representation of Hybrid Criteria for Regression Testing
Causes and Canonicalization of Unreproducible Builds in Java
A Multi-Site Joint Replication of a Design Patterns Experiment Using Moderator Variables to Generalize across Contexts
Approximate Reasoning About the Semantic Effects of Program Changes
How Do Static and Dynamic Test Case Prioritization Techniques Perform on Modern Software Systems? An Extensive Study on GitHub Projects
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces
Conceptual Modeling in the Context of Software Development
The Impact of Automated Parameter Optimization on Defect Prediction Models
SEES - A Software Testing Environment Support System
Cross versus Within-Company Cost Estimation Studies: A Systematic Review
Analogy-X: Providing Statistical Inference to Analogy-Based Software Cost Estimation
Inductive Validity Cores
Exploiting Dynamic Information in IDEs Improves Speed and Correctness of Software Maintenance Tasks
Experiments in Software Reliability: Life-Critical Applications
Revisiting the Performance of Deep Learning-Based Vulnerability Detection on Realistic Datasets
A Procedure and Guidelines for Analyzing Groups of Software Engineering Replications
Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software and Algorithm Plagiarism Detection
Factors Affecting On-Time Delivery in Large-Scale Agile Software Development
Synchronizability of Conversations among Web Services
Programmer Visual Attention During Context-Aware Code Summarization
MirrorFuzz: Leveraging LLM and Shared Bugs for Deep Learning Framework APIs Fuzzing
Automatic Detection of Java Cryptographic API Misuses: Are We There Yet?
Editorial: Sloan Research Project
Total Variance Approach to Software Reliability-Estimation
A Hybrid Distributed Centralized System Structure for Transaction Processing
Improved Evolutionary Algorithm Design for the Project Scheduling Problem Based on Runtime Analysis
Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations