yusuke1997/dblp-id-title huggingface dataset:
Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications
Achieving High MAP-Coverage Through Pattern Constraint Reduction
A Dynamic Coordination Policy for Software System Construction
Defining Software by Continuous, Smooth Functions
CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
Controllability of Computer Performance Tradeoffs Obtained Using Controlled-Share Queue Schedulers
3Erefactor: Effective, Efficient and Executable Refactoring Recommendation for Software Architectural Consistency
Impact of "An Applicable Family of Data Flow Testing Criteria"
Automating Dependency Updates in Practice: An Exploratory Study on GitHub Dependabot
oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis
Uncovering the Benefits and Challenges of Continuous Integration Practices
KLAIM: A Kernel Language for Agents Interaction and Mobility
Improving Source Code Lexicon via Traceability and Information Retrieval
Machine/Deep Learning for Software Engineering: A Systematic Literature Review
Where Do Operations Come From: A Multiparadigm Specification Technique
Reply to: Comments on "Toward a Framework for Software Measurement Validation"
The Impact of Classifier Configuration and Classifier Combination on Bug Localization
Bayesian Graphical Models for Software Testing
Just-in-Time Prediction of Software Architectural Changes Through Commit-Level Analyses
A Learning-Based Framework for Engineering Feature-Oriented Self-Adaptive Software Systems
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension
Queuing Networks with Random Selection for Service
The Specification and Verified Decomposition of System Requirements Using CSP
Refactoring Microservices to Microservices in Support of Evolutionary Design
An Evaluation of the MOOD Set of Object-Oriented Software Metrics
Identifying Modules via Concept Analysis
PatchDiscovery: Patch Presence Test for Identifying Binary Vulnerabilities Based on Key Basic Blocks
A Graph Model for Software Evolution
Competition-Based Crowdsourcing Software Development: A Multi-Method Study from a Customer Perspective
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
On the Design of a Single-Key-Lock Mechanism Based on Newton's Interpolating Polynomial
Distributed Agreement in the Presence of Processor and Communication Faults
Protocol Verification via Projections
Evolution and Reuse of Orthogonal Architecture
A Quantitative Investigation of the Acceptable Risk Levels of Object-Oriented Metrics in Open-Source Systems
Persistent Software Errors
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph
A Formal Model for Module Interconnection Languages
False Deadlock Detection in Distributed Systems
Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution
Detecting Software Security Vulnerabilities Via Requirements Dependency Analysis
Text Filtering and Ranking for Security Bug Report Prediction
Use of Software Engineering Practices at a Small MIS Shop
Locating Software Faults Based on Minimum Debugging Frontier Set
A Rigorous Approach to Fault-Tolerant Programming
A Paradigm for Developing Information Systems
RELAI Testing: A Technique to Assess and Improve Software Reliability
Efficient Distributed Detection of Conjunctions of Local Predicates
Enhanced Modeling and Solution of Layered Queueing Networks
A Framework for Specification-Based Testing
Stability in Software Engineering: Survey of the State-of-the-Art and Research Directions
Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving"
Time-by-Example Query Language for Historical Databases
The Interpretation of Meta Grammars Describing Syntax-Directed Interpreters Using an Attribute Grammar Interpreter
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
e-Transactions: End-to-End Reliability for Three-Tier Architectures
On the Multiple Implementation of Abstract Data Types Within a Computation
Managerial Use of Metrics for Object-Oriented Software: An Exploratory Analysis
Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions
How to "DODGE" Complex Software Analytics
Decomposition of Monolith Applications Into Microservices Architectures: A Systematic Review
Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs
Design and Implementation of a VBR Continuous Media File Server
A Bayesian Estimation Method for the Failure Rate a Possibly Correct Program
Evaluating Testing Methods by Delivered Reliability
A Study of Design Characteristics in Evolving Software Using Stability as a Criterion
Toward Cost-Effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
Security Requirements Engineering: A Framework for Representation and Analysis
The Tinkertoy Graphical Programming Environment
Conditions for the Equivalence of Synchronous and Asynchronous Systems
Using Machine Learning for Estimating the Defect Content After an Inspection
On Satisfying Timing Constraints in Hard-Real-Time Systems
Real-Time Specification Using Lucid
Adapting Installation Instructions in Rapidly Evolving Software Ecosystems
Formal Analysis of a Space-Craft Controller Using SPIN
Modeling a Multiprocessor Architecture
Enhancing Bug-Inducing Commit Identification: A Fine-Grained Semantic Analysis Approach
Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs
Automatically Generating Test Data from a Boolean Specification
Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types
A Method for the Syntax Directed Design of Multiprograms
Reasoning About Identifier Spaces: How to Make Chord Correct
Towards Improving the Performance of Comment Generation Models by Using Bytecode Information
Covert Flow Trees: A Visual Approach to Analyzing Covert Storage Channels
Better Reliability Assessment and Prediction through Data Clustering
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
Modeling the Dynamic Behavior of Hypermedia Applications
ConTesa: Directed Test Suite Augmentation for Concurrent Software
BugBuilder: An Automated Approach to Building Bug Repository
Evolutionary Generation of Test Suites for Multi-Path Coverage of MPI Programs With Non-Determinism
Corrections to 'Avoiding Packaging Mismatch with Flexible Packaging'
Towards Saving Blockchain Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations
Distributed Computing with Single Read-Single Write Variables
Nonparametric Analysis of the Order-Statistic Model in Software Reliability
Software Fault Interactions and Implications for Software Testing
Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"
Applying Human Values Theory to Software Engineering Practice: Lessons and Implications
A Synthesizer of Inductive Assertions
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
How Software Designers Interact with Sketches at the Whiteboard
Guest Editorial: Introduction to the Special Section - Best Papers of the 1995 IEEE Symposium on Security and Privacy
State Restoration in Systems of Communicating Processes
Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method
A Study About the Knowledge and Use of Requirements Engineering Standards in Industry
Measuring the Psychological Complexity of Software Maintenance Tasks with the Halstead and McCabe Metrics
Build-Level Components
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments
Data Mining Static Code Attributes to Learn Defect Predictors
Software Reliability in the System Context
First, Debug the Test Oracle
A Unified High-Level Petri Net Formalism for Time-Critical Systems
Lessons from Using Z to Specify a Software Tool
Determining the Proper Number and Price of Software Licenses
GenProgJS: A Baseline System for Test-Based Automated Repair of JavaScript Programs
Effective Software Merging in the Presence of Object-Oriented Refactorings
Efficient Branch-and-Bound Algorithms on a Two-Level Memory System
Is it Possible to Decorate Graphical Software Design and Architecture Models with Qualitative Information?-An Experiment
Reasoning About Time in Higher-Level Language Software
A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency
Guest Editors' Introduction - Current Trends in Exception Handling
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing
A Data Structure and an Algorithm for the Nearest Point Problem
Static Specification Mining Using Automata-Based Abstractions
A Dissection of the Test-Driven Development Process: Does It Really Matter to Test-First or to Test-Last?
Improving Test Data Generation for MPI Program Path Coverage With FERPSO-IMPR and Surrogate-Assisted Models
An Industrial Software Engineering Retraining Course: Development Considerations and Lessons Learned
An Empirical Comparison of Model Validation Techniques for Defect Prediction Models
Predicting Delivery Capability in Iterative Software Development
Boosting Generalizable Fairness With Mahalanobis Distances Guided Boltzmann Exploratory Testing
The Application of Formal Methods to the Assessment of High Integrity Software
FSM-Based Incremental Conformance Testing Methods
Black-Box Testing of Deep Neural Networks through Test Case Diversity
A Validation of Object-Oriented Design Metrics as Quality Indicators
Higher Order Software - A Methodology for Defining Software
Metamorphic Testing for Software Quality Assessment: A Study of Search Engines
Recognizing Immediacy in an N-Tree Hierarchy and Its Application to Protection Groups
Performance Prediction and Evaluation of Parallel Processing on a NUMA Multiprocessor
A New Method for Concurrency in B-Trees
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study
Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications
Measurement Programs in Software Development: Determinants of Success
Toward Methodological Guidelines for Process Theories and Taxonomies in Software Engineering
Exploiting Natural Language Structures in Software Informal Documentation
QDA-A Method for Systematic Informal Program Analysis
Logging Practices in Software Engineering: A Systematic Mapping Study
A UML-Based Pattern Specification Technique
Using the SOCIO Chatbot for UML Modelling: A Family of Experiments
Automating the Transformational Development of Software
Better Data Labelling With EMBLEM (and how that Impacts Defect Prediction)
A Formal Semantics for Object Model Diagrams
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
Petri Net Performance Models
Comments on "Toward a Framework for Software Measurement Validation"
Comparing Block-Based Programming Models for Two-Armed Robots
Pre-Run-Time Scheduling to Reduce Schedule Length in the FieldBus Environment
An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs in Productivity, Quality, and Risk Management
Trustworthy Distributed Certification of Program Execution
Managing Process Inconsistency Using Viewpoints
Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation
Platform-Independent Dynamic Taint Analysis for JavaScript
Unreachable States in Model-Oriented Specifications
Time and Probability-Based Information Flow Analysis
Evidence-Based Software Engineering Guidelines Revisited
Data Preparation for Software Vulnerability Prediction: A Systematic Literature Review
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
The Design of the Saguaro Distributed Operating System
Automating Change-Level Self-Admitted Technical Debt Determination
An Eye-Tracking Study of Java Programmers and Application to Source Code Summarization
User-Process Communication Performance in Networks of Computers
Chatbot4QR: Interactive Query Refinement for Technical Question Retrieval
A Retrospective on the Source Code Control System
Towards Secure Code Generation With LLMs: A Study on Common Weakness Enumeration
The Computational Completeness of Extended Database Query Languages
CombTransformers: Statement-Wise Transformers for Statement-Wise Representations
Testing CPS With Design Assumptions-Based Metamorphic Relations and Genetic Programming
Optimal Insertion of Software Probes in Well-Delimited Programs
Extending Objects to Support Multiple Interfaces and Access Control
Executable Logic Specifications for Protocol Service Interfaces
Some Aspects of the Verification of Loop Computations
Program Graphs and Execution Behavior
Concept Analysis for Module Restructuring
On the Interactiave Use of a Macroprocessor to Generate Operating System Batch Streams
A Transformation Approach to Derive Efficient Parallel Implementations
Reducing Masking Effects in CombinatorialInteraction Testing: A Feedback DrivenAdaptive Approach
A Theory of Fault-Based Testing
Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment
A Survey on Load Testing of Large-Scale Software Systems
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
A Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems
The Semantic Database Constructor
A Comparison of the Axiomatic and Functional Models of Structured Programming
Implementing Language Support in High-Level Languages
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
Experience Using Web-Based Shotgun Measures for Large-System Characterization and Improvement
Determining the Cause of a Design Model Inconsistency
Guest Editor's Introduction: 2002 Conference on the Foundations of Software Engineering
Further Analysis of the Entity-Relationship Approach to Database Design
Whence to Learn? Transferring Knowledge in Configurable Systems Using BEETLE
In Search of Socio-Technical Congruence: A Large-Scale Longitudinal Study
Open Source, Hidden Costs: A Systematic Literature Review on OSS License Management
An Intelligent Tutoring System for the Dijkstra-Gries Methodology
Probabilistic Interface Automata
Review and Revocation of Access Privileges Distributed Through Capabilities
A Screening Test for Disclosed Vulnerabilities in FOSS Components
A Scalable Approach to Exact Model and Commonality Counting for Extended Feature Models
A Note on Synthesis of Inductive Assertions
Contextual Documentation Referencing on Stack Overflow
Software Reliability Growth Modeling: Models and Applications
The Logical Access Path Schema of a Database
Revisiting Knowledge-Based Inference of Python Runtime Environments: A Realistic and Adaptive Approach
Inputs From Hell
Analyzing Partition Testing Strategies
VID2XML: Automatic Extraction of a Complete XML Data From Mobile Programming Screencasts
Virtual Memory Behavior of Some Sorting Algorithms
How do Developers Really Feel About Bug Fixing? Directions for Automatic Program Repair
The COLUMBUS Approach
Event-Based Traceability for Managing Evolutionary Change
Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis
Problem Oriented Software Engineering: Solving the Package Router Control Problem
Empirical Analysis of CK Metrics for Object-Oriented Design Complexity: Implications for Software Defects
Automated Module Testing in Prolog
Advances in Software Inspections
PELAS - Program Error-Locating Assistant System
Mask-Mediator-Wrapper Architecture as a Data Mesh Driver
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling
Identifying Extensions Required by RUP (Rational Unified Process) to Comply with CMM (Capability Maturity Model) Levels 2 and 3
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis
Debugging Concurrent Ada Programs by Deterministic Execution
Corrections to "Automatic and Accurate Expansion of Abbreviations in Parameters"
Automatic Synthesis of SARA Design Models From System Requirements
Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel
Language Constructs for Specifying Concurrency in CDL*
BLAZE: Cross-Language and Cross-Project Bug Localization via Dynamic Chunking and Hard Example Learning
Analysis of a Virtual Memory Model For Maintaining Database Views
Supporting Domain Analysis through Mining and Recommending Features from Online Product Listings
Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations
An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
A Microprogramming Logic
Toward Measurement-Based Software Engineering
Persistent Caching: An Implementation Technique for Complex Objects with Object Identity
Empirical Evaluation of the Impact of Object-Oriented Code Refactoring on Quality Attributes: A Systematic Literature Review
Modeling Development Effort in Object-Oriented Systems Using Design Properties
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems
Correction to "A Concurrency Measure"
A Study of Uncertainty in Software Cost and Its Impact on Optimal Software Release Time
Common Properties of Some Multiattribute File Systems
Combining Perceptions and Prescriptions in Requirements Engineering Process Assessment: An Industrial Case Study
Model-Checking Algorithms for Continuous-Time Markov Chains
Optimal Project Feature Weights in Analogy-Based Cost Estimation: Improvement and Limitations
On the Relationship Between Organizational Structure Patterns and Architecture in Agile Teams
The Impact of Educational Background on the Effectiveness of Requirements Inspections: An Empirical Study
Reliability of Systems with Markov Transfer of Control
How does Machine Learning Change Software Development Practices?
Implementation of a Generalized Critical Region Construct
How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
Tuning Temporal Features within the Stochastic π-Calculus
Decomposition-Based Approach for Model-Based Test Generation
Deep State Inference: Toward Behavioral Model Inference of Black-Box Software Systems
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling
A Software Maintainability Evaluation Methodology
Functional Refinement and Nested Objects for Object-Oriented Design
Guest Editorial - Reflections on Requirements
Dynamic QoS Adaptation for Mobile Middleware
Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing
Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers
A Study of the Physical Structure of Algorithms
NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution
A Trace-Driven Simulation Study of Dynamic Load Balancing
Testing Large Software with Automated Software Evaluation Systems
A Framework for Discipline in Programming
Practical Mutation Testing at Scale: A view from Google
On Inter-Dataset Code Duplication and Data Leakage in Large Language Models
A Practical Method for Reducing Weak Precedence Parsers
Scoping Software Engineering for AI: The TSE Perspective
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
A Platform-Agnostic Framework for Automatically Identifying Performance Issue Reports With Heuristic Linguistic Patterns
Symbolic Semantics and Program Reduction
Revisiting Binary Code Similarity Analysis Using Interpretable Feature Engineering and Lessons Learned
A System for Profiling and Monitoring Database Access Patterns by Application Programs for Anomaly Detection
Identifying Reusable Services in Legacy Object-Oriented Systems: A Type-Sensitive Identification Approach
Mapping the Interface Description Language Type Model into C
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
Assessing TD Macro-Management: A Nested Modeling Statistical Approach
DEC: Service Demand Estimation with Confidence
Prism-Methodology and Process-Oriented Environment
Flexible Software Development for Multiple Computer Systems
How Do OSS Developers Reuse Architectural Solutions From Q&A Sites: An Empirical Study
One Sentence Can Kill the Bug: Auto-Replay Mobile App Crashes From One-Sentence Overviews
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications
Two Complementary Course Sequences on the Design and Implementation of Software Products
Model-Transformation Design Patterns
Editorial: A New Decade of TSE
Searching for Points-To Analysis
Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs
A Learning Agent that Assists the Browsing of Software Libraries
Measuring the Impact of Code Dependencies on Software Architecture Recovery Techniques
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
Toward a Mathematical Foundation of Software Engineering Methods
SMOTL - A System to Construct Samples for Data Processing Program Debugging
On the Statistical Analysis of the Number of Errors Remaining in a Software Design Document after Inspection
LogAssist: Assisting Log Analysis Through Log Summarization
A Linear Algorithm For Generating Random Numbers With a Given Distribution
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets
Sorting on STAR
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
Projecting Software Defects From Analyzing Ada Designs
A Search-Based Testing Approach for Deep Reinforcement Learning Agents
Automated Fixing of Programs with Contracts
Developer Micro Interaction Metrics for Software Defect Prediction
Debugging a Distributed Computing System
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
Shield Broken: Black-Box Adversarial Attacks on LLM-Based Vulnerability Detectors
Looking Back on Recovery Blocks and Conversations
Deletions That Preserve Randomness
Boosting API Recommendation With Implicit Feedback
Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition
The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth
Software Bases for the Flexible Composition of Application Systems
Redundancy, Context, and Preference: An Empirical Study of Duplicate Pull Requests in OSS Projects
Coverage Estimation in Model Checking with Bitstate Hashing
A Summary of the Discussion on "An Analysis of Competing Software Reliability Models''
Automated Expansion of Abbreviations Based on Semantic Relation and Transfer Expansion
Design and Specification of the Minimal Subset of an Operating System Family
Distributed Information Systems: An Advanced Methodology
Proving Consistency of Database Transactions Written in Extended Pascal
An Algebra for a General Entity-Relation1hip Model
A Systematic Literature Review of Model-Driven Engineering Using Machine Learning
OBEY: Optimal Batched Refactoring Plan Execution for Class Responsibility Redistribution