yusuke1997/dblp-id-title huggingface dataset:
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models
Is Proof More Cost-Effective Than Testing?
Retrospective: An Empirical Study of Speed and Communication in Globally Distributed Software Development
Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6)
Empirical Analysis of Safety-Critical Anomalies During Operations
Complexity Measure Evaluation and Selection
An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates
Software Architecture Reconstruction: A Process-Oriented Taxonomy
Guest Editorial: Programming Environments
Automatic Mining of Opinions Expressed About APIs in Stack Overflow
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Support for Reusability in Genesis
Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications
An Architecture for Exporting Environment Awareness to Mobile Computing Applications
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
Graph-of-Code: Semantic Clone Detection Using Graph Fingerprints
Trusting Code in the Wild: Exploring Contributor Reputation Measures to Review Dependencies in the Rust Ecosystem
Methods and Benchmark for Detecting Cryptographic API Misuses in Python
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages
Probabilistic Model Checking of Regenerative Concurrent Systems
Atomic Actions and Resource Coordination Problems Having Nonunique Solutions
On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems
More Experience with Data Flow Testing
Dynamic QoS Management and Optimization in Service-Based Systems
Keep It Simple: Self-Adaptive Code Graph Simplification for Accurate Vulnerability Detection
Automated Detection of Software Performance Antipatterns in Java-Based Applications
Steady-State Probabilities for a Queue with a General Service Distribution and State-Dependent Arrivals
Guest Editorial: Special Collection on Program Testing
The Influence of Different Workload Descriptions on a Heuristic Load Balancing Scheme
Guest Editorial: Introduction to the Special Section - International Conference on Software Maintenance (ICSM'97)
Performance Analysis of Dynamic Locking with the No-Waiting Policy
Exploiting the Essential Assumptions of Analogy-Based Effort Estimation
A Retrospective on Whole Test Suite Generation: On the Role of SBST in the Age of LLMs
A Simple Separate Compilation Mechanism for Block-Structured Languages
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
On the Efficient Engineering of Ambitious Program Analysis
A Practical View of Software Measurement and Implementation Experiences Within Motorola
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Can Clean New Code Reduce Technical Debt Density?
Semantic Feedback in the Higgens UIMS
Predicting Vulnerable Software Components via Text Mining
Enhancing Protocol Fuzzing via Diverse Seed Corpus Generation
Broadcasting Sequential Processes (BSP)
Continuously Managing NFRs: Opportunities and Challenges in Practice
Automated Tuning of Parallel I/O Systems: An Approach to Portable I/O Performance for Scientific Applications
makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes
Testing Formal Specifications to Detect Design Errors
On the Optimal Total Processing Time Using Checkpoints
A Scenario-Driven Approach to Trace Dependency Analysis
A Hierarchical Knowledge Based System for Airplane Classification
Automated Software Quality Assurance
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
Flex: A High-Level Language for Specifying Customized Microprocessors
SPiCE: A System for Translating Smalltalk Programs Into a C Environment
Querying of Executable Software Specifications
Capture-Recaptur Sampling for Estimating Software Error Content
Research on Third-Party Libraries in Android Apps: A Taxonomy and Systematic Literature Review
A Generalized Implementation Method for Relational Data Sublanguages
Empirical Validation of Three Software Metrics Suites to Predict Fault-Proneness of Object-Oriented Classes Developed Using Highly Iterative or Agile Software Development Processes
Theories of Software Reliability: How Good Are They and How Can They Be Improved?
Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications
An Extensible System for Source Code Analysis
Very High Level Concurrent Programming
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
An Approach to Experimental Evaluation of Real-Time Fault-Tolerant Distributed Computing Schemes
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs
Automatic Detection and Resolution of Lexical Ambiguity in Process Models
A Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis
The SL Synchronous Language
A Framework for the Automated Drawing of Data Structure Diagrams
Emerging App Issue Identification via Online Joint Sentiment-Topic Tracing
Ensuring the Observability of Structural Test Obligations
Guest Editorial: Special Issue on Software Maintenance and Evolution
DefectChecker: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode
Empirical Studies of Programming Knowledge
Structured Analysis (SA): A Language for Communicating Ideas
On Object Systems and Behavioral Inheritance
How Can Human Values be Addressed in Agile Methods? A Case Study on SAFe
Robust Test Selection for Deep Neural Networks
Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case Generation
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle
Automatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications
VSWS: The Variable-Interval Sampled Working Set Policy
Reply to: "Property-Based Software Engineering Measurement''
Dynamic File Structure for Partial Match Retrieval Based on Overflow Bucket Sharing
A Decision Model for Closed Queuing Networks
Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms
Expert Systems and Optimization
Exploring the Use of Chatrooms by Developers: An Empirical Study on Slack and Gitter
Learning To Detect and Avoid Run-Time Feature Interactions in Intelligent Networks
Bristlecone: Language Support for Robust Software Applications
Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems
RIG, Rochester's Intelligent Gateway: System Overview
Parallel Performance Problems on Shared-Memory Multicore Systems: Taxonomy and Observation
Exploiting Model Morphology for Event-Based Testing
Metamorphic Testing of Image Captioning Systems via Image-Level Reduction
Frameworks Generate Domain-Specific Languages: A Case Study in the Multimedia Domain
Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities
Certifying the Reliability of Software
Multiparty Interactions for Interprocess Communication and Synchronization
Comments on "Measurement of Ada Overhead in OSI-Style Communications Systems''
Who Will Stay in the FLOSS Community? Modeling Participant's Initial Behavior
An Empirical Study on the Relationship Between Software Design Quality, Development Effort and Governance in Open Source Projects
On Two Problems in the Generation of Program Test Paths
An Empirical Study of Obsolete Answers on Stack Overflow
DPWord2Vec: Better Representation of Design Patterns in Semantics
An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows
Synthesis of Behavioral Models from Scenarios
Generation of Interactive Parsers With Error Handling
Comments on "Protocols for Deadlock Detection in Distributed Database Systems"
Oracles for Distributed Testing
Hierarchical GUI Test Case Generation Using Automated Planning
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
Detecting Developers' Task Switches and Types
Methodology for Business System Development
Quantitative Analysis of Faults and Failures in a Complex Software System
Measuring Design-Level Cohesion
BDL: A Specialized Language for Per-Object Reactive Control
Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment
A Comparative Study of Set Associative Memory Mapping Algorithms and Their Use for Cache and Main Memory
Analyzing Software Safety
Editorial: What Makes a Publication Archival?
Implementing Distributed Read-Only Transactions
A Retrospective on the VAX VMM Security Kernel
The Imposition of Protocols Over Open Distributed Systems
The Value of Exact Analysis in Requirements Selection
Schlumberger's Software Improvement Program
Self-Organizing Roles on Agile Software Development Teams
Symbolic Crosschecking of Data-Parallel Floating-Point Code
Generation of BLISSes
Dynamic Configuration for Distributed Systems
A Study of Causes and Consequences of Client-Side JavaScript Bugs
Achieving Service Rate Objectives with Decay Usage Scheduling
Factoring Expertise, Workload, and Turnover Into Code Review Recommendation
Interacto: A Modern User Interaction Processing Model
Measuring Process Consistency: Implications for Reducing Software Defects
The Common Ada Programming Support Environment (APSE) Interface Set (CAIS)
Moving from Closed to Open Source: Observations from Six Transitioned Projects to GitHub
A Concurrent General Purpose Operator Interface
Test Data Generation for Mutation Testing Based on Markov Chain Usage Model and Estimation of Distribution Algorithm
Knowledge-Based Automation of a Design Method for Concurrent Systems
Guest Editors' Introduction: 2001 International Conference on Software Maintenance
Real-Time Euclid: A Language for Reliable Real-Time Systems
An Empirical Analysis of C Preprocessor Use
Leveraging User-Session Data to Support Web Application Testing
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning
Prioritizing Test Gaps by Risk in Industrial Practice: An Automated Approach and Multimethod Study
Local versus Global Lessons for Defect Prediction and Effort Estimation
Computation of Dynamic Program Slices for Unstructured Programs
Guest Editorial: Special Section on the International Symposium on Software Testing and Analysis 2010
Stochastic Petri Net Representation of Discrete Event Simulations
Interface Compilation: Steps Toward Compiling Program Interfaces as Languages
The Performance Evaluation of Control Implementations
The Effect of Data Abstraction on Loop Programming Techniques
Evaluating the Effect of a Delegated versus Centralized Control Style on the Maintainability of Object-Oriented Software
Sequential Model Optimization for Software Effort Estimation
Analysis of Real-Time Systems by Data Flowgraphs
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs
Comments on "A Metrics Suite for Object Oriented Design"
Does Socio-Technical Congruence Have an Effect on Software Build Success? A Study of Coordination in a Software Project
SLocator: Localizing the Origin of SQL Queries in Database-Backed Web Applications
Correct Architecture Refinement
Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification
Knowledge Representation and Reasoning in Software Engineering
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
Formal Verification of Algorithms for Critical Systems
Creating Rich and Representative Personas by Discovering Affordances
The Estimation of Parameters of the Hypergeometric Distribution and Its Application to the Software Reliability Growth Model
A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs
System Structure for Software Fault Tolerance
ConPredictor: Concurrency Defect Prediction in Real-World Applications
Software Testing Based on SDL Specifications with Save
Visual and Textual Consistency Checking Tools for Graphical User Interfaces
Testing from Partial Finite State Machines without Harmonised Traces
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
On the Understandability of MLOps System Architectures
SEthesaurus: WordNet in Software Engineering
MASTER: Multi-Source Transfer Weighted Ensemble Learning for Multiple Sources Cross-Project Defect Prediction
Refactoring the Aspectizable Interfaces: An Empirical Assessment
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes
GUI Interaction Testing: Incorporating Event Context
A Relational Calculus with Set Operators, Its Safety and Equivalent Graphical Languages
Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers
A System to Automatically Analyze Assembled Programs
Inconsistency Handling in Multperspective Specifications
Automatic Detection and Update Suggestion for Outdated API Names in Documentation
DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis
StagedVulBERT: Multigranular Vulnerability Detection With a Novel Pretrained Code Model
An Efficient Distributed Protocol for Finding Shortest Paths in Networks with Negative Weights
Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor
Perceptions, Expectations, and Challenges in Defect Prediction
Verification Templates for the Analysis of User Interface Software Design
Which Variables Should I Log?
Group Communication in Partitionable Systems: Specification and Algorithms
An Empirical Evaluation of Weak Mutation
A Distributed Scheme for Detecting Communication Deadlocks
A Method for Analyzing Loop Programs
NCQ: Code Reuse Support for Node.js Developers
Constraint-Based Automatic Test Data Generation
Quantitative Verification for Monitoring Event-Streaming Systems
A Comprehensive Model for the Design of Distributed Computer Systems
Triple Peak Day: Work Rhythms of Software Developers in Hybrid Work
The Gains from Computer Communication
Behind the Intent of Extract Method Refactoring: A Systematic Literature Review
Challenges and Common Solutions in Smart Contract Development
Modeling and Recommending Open Source Licenses with findOSSLicense
Proofs of Networks of Processes
Software Development in Startup Companies: The Greenfield Startup Model
Theories of Program Testing and the the Application of Revealing Subdomains
Experience with an Approach to Comparing Software Design Methodologies
MAHAKIL: Diversity Based Oversampling Approach to Alleviate the Class Imbalance Issue in Software Defect Prediction
Aspect-Oriented Refactoring of Legacy Applications: An Evaluation
Understanding Code Mobility
When Crypto Fails: Demystifying Cryptographic Defects in Ethereum Smart Contracts
An Empirical Study of Distributed Application Performance
Guest Editors' Introduction: 2003 International Conference on Software Engineering
Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
ChatAssert: LLM-Based Test Oracle Generation With External Tools Assistance
Static Analysis of Real-Time Distributed Systems
User Validation of Information System Requirements: Some Empirical Results
Fault-Tolerant Software Reliability Modeling
Test Code Quality and Its Relation to Issue Handling Performance
An Automatic Generator for Compiler Testing
A Decomposition of a Formal Specification: An Improved Constraint Oriented Method
Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping
Optimal Load Balancing in a Multiple Processor System with Many Job Classes
Assessing and Improving State-Based Class Testing: A Series of Experiments
A Grounded Theory of Cross-Community SECOs: Feedback Diversity Versus Synchronization
Using Larch to Specify Avalon/C++ Objects
An Experiment Measuring the Effects of Personal Software Process (PSP) Training
A Study of C/C++ Code Weaknesses on Stack Overflow
What Do Programmers Discuss About Blockchain? A Case Study on the Use of Balanced LDA and the Reference Architecture of a Domain to Capture Online Discussions About Blockchain Platforms Across Stack Exchange Communities
Post-Failure Reconfiguration of CSP Programs
An Application of a Method for Analysis of Cyclic Programs
System Testing Aided by Structured Analysis: A Practical Experience
API2Vec++: Boosting API Sequence Representation for Malware Detection and Classification
Evaluation of the File Redundancy in Distributed Database Systems
Computational Issues in Secure Interoperation
Toward Understanding the Rhetoric of Small Source Code Changes
A Visual User Interface for Map Information Retrieval Based on Semantic Significance
A Test Case Prioritization Genetic Algorithm Guided by the Hypervolume Indicator
Modular Redundancy in a Message Passing System
Domain-Driven Design for Microservices: An Evidence-Based Investigation
Selecting Capacities in Computer Communication Systems
Fusion: A System For Business Users To Manage Program Variability
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems
Fine-Grained Dynamic Resource Allocation for Big-Data Applications
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance
On the Influence of Data Resampling for Deep Learning-Based Log Anomaly Detection: Insights and Recommendations
Internal Scheduling and Memory Contention
SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting
Reducing Inspection Interval in Large-Scale Software Development
Software Reliability Modeling with Software Metrics Data via Gaussian Processes
Performance Evaluation of Centralized Databases with Static Locking
A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation
An Economic Model to Estimate Software Rewriting and Replacement Times
Comments on "Software Process Representation and Analysis for Framework Instantiation"
Prioritizing Test Cases For Regression Testing
Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing
On the Identification of Covert Storage Channels in Secure Systems
Evaluating Deadlock Detection Methods for Concurrent Software
An Empirical Study of Fault Localization Families and Their Combinations
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
Factors that Impact Implementing a System Development Methodology
Antisampling for Estimation: An Overview
Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study
Coping with Existing Systems in Information Systems Development
Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance and Evolution
Interaction Protocols as Design Abstractions for Business Processes
A Large-Scale Analysis of IoT Firmware Version Distribution in the Wild
A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage
Formal Specification and Design Time Testing
Managing Standards Compliance
An Integrative Economic Optimization Approach to Systems Development Risk Management
Central Server Models with Multiple Job Classes, State Dependent Routing, and Rejection Blocking
Success and Failure Factors in Software Reuse
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
An Automated Approach to Information Systems Decomposition
The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
Dividable Configuration Performance Learning
Condor: A Code Discriminator Integrating General Semantics With Code Details
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems
Esale: Enhancing Code-Summary Alignment Learning for Source Code Summarization
Optimal Test Distributions for Software Failure Cost Estimation
Heap-Filter Merge Join: A New Algorithm For Joining Medium-Size Inputs
Distinguished Reviewers 2023
Variability in Software Systems - A Systematic Literature Review
Improving Speed and Productivity of Software Development: A Global Survey of Software Developers
VulExplainer: A Transformer-Based Hierarchical Distillation for Explaining Vulnerability Types
Identifying Code of Individual Features in Client-Side Web Applications
Towards More Precise Coincidental Correctness Detection With Deep Semantic Learning
A Method for Processing Distributed Database Queries
Exploring Mobile End User Development: Existing Use and Design Factors
Automated Synthesis of Mediators to Support Component Interoperability
Correct and Robust Programs
Production Systems: A Notation for Defining Syntax and Translation
A Fast Transaction-Oriented Logging Scheme for UNDO Recovery
Web APIs: Features, Issues, and Expectations - A Large-Scale Empirical Study of Web APIs From Two Publicly Accessible Registries Using Stack Overflow and a User Survey
Enabling Mutant Generation for Open- and Closed-Source Android Apps
Active Learning of Discriminative Subgraph Patterns for API Misuse Detection
Code Comment Inconsistency Detection Based on Confidence Learning
Data-Driven Mutation Analysis for Cyber-Physical Systems
Quantum Approximate Optimization Algorithm for Test Case Optimization
Respectful Type Converters
XDebloat: Towards Automated Feature-Oriented App Debloating
Malo in the Code Jungle: Explainable Fault Localization for Decentralized Applications
An Empirical Approach to Studying Software Evolution
Comparing High-Change Modules and Modules with the Highest Measurement Values in Two Large-Scale Open-Source Products
Software Reliability - Status and Perspectives
FlowTalk: Language Support for Long-Latency Operations in Embedded Devices
Design and Implementation of a Fine-Grained Software Inspection Tool
Language Support for Loosely Coupled Distributed Programs
Managing Conflicts in Goal-Driven Requirements Engineering
Temporal Logic Query Checking: A Tool for Model Exploration
On the Validity of Pre-Trained Transformers for Natural Language Processing in the Software Engineering Domain
Comparative Analysis of Different Models of Checkpointing and Recovery
Cycle Time Properties Of The FDDI Token Ring Protocol
Codee: A Tensor Embedding Scheme for Binary Code Search
Forecasting Java Software Evolution Trends Employing Network Models
The Method of Layers
Correction to "Approximate Reasoning About the Semantic Effects of Program Changes"
Design Pattern Detection Using Similarity Scoring
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
Some Equivalence Results for Load-Independent Exponential Queueing Networks
Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach
Comments on "Formal Methods Application: An Empirical Tale of Software Development"
Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions
Managing Software Development Projects for Maximum Productivity
Making CEGAR More Efficient in Software Model Checking
Defect Reduction Planning (Using TimeLIME)
Correction to "Information Flow Certification Using an Intermediate Code Programm Representation"
Testing the Completeness of Specifications