yusuke1997/dblp-id-title huggingface dataset:
On failures of RGB cameras and their effects in autonomous driving applications
Better and safer autonomous driving with predicted object relevance
HawkEye: User-Guided Enumeration of Scenarios
A new method of consensus building for open systems dependability
Analysis of failures in the Tandem NonStop-UX Operating System
Learning from Imbalanced Data for Predicting the Number of Software Defects
Data Coverage Testing of Programs for Container Classes
Revolutionizing Log Parsing for Modern Software Systems
Safe Compilation for Hidden Deterministic Hardware Aliasing
COCOON: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint
Using proxy failure times with the Jelinski-Moranda software reliability model
A study of effective regression testing in practice
Flexible, Any-Time Fault Tree Analysis with Component Logic Models
Efficient Software Rejuvenation of In-memory Key-Value Storages
Fault modeling using the program dependence graph
PSCVFinder: A Prompt-Tuning Based Framework for Smart Contract Vulnerability Detection
"Tail-Splitting" to Predict Failing Software Modules - with a Case Study on an Operating Systems Product
Evaluating and Enhancing the Robustness of Federated Learning System against Realistic Data Corruption
An optimal stopping problem for software rejuvenation in a job processing system
Experience report: A characteristic study on out of memory errors in distributed data-parallel applications
An Algebra-Based Reliability Prediction Approach for Composite Web Services
Towards Self-Protecting Enterprise Applications
Software Framework for Data Fault Injection to Test Machine Learning Systems
A data analysis and representation engine to support software reliability engineering
Pinpointing the Subsystems Responsible for the Performance Deviations in a Load Test
Effective Attribute Selection for Multi-dimensional Root Cause Analysis
Experience Report: Security Vulnerability Profiles of Mission Critical Software: Empirical Analysis of Security Related Bug Reports
Integrating formal methods with testing for reliability estimation of component based systems
Compositional fluid stochastic Petri net model for operational software system performance
An empirical study of experience-based software defect content estimation methods
ShadowGuard: Cryptographic Shadow Stack Protection with XOR Obfuscation and HMAC Integrity
Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks
Mining A change history to quickly identify bug locations : A case study of the Eclipse project
An 'extended execution time' software reliability model
WAP: Understanding the Brain at Software Debugging
Reproducibility of Environment-Dependent Software Failures: An Experience Report
Evidence-Based Security in Aerospace: From Safety to Security and Back Again
An IDE for the Design, Verification and Implementation of Security Protocols
Dynamic Filtering and Prioritization of Static Code Analysis Alerts
First Insights into Testing Autonomous Robot in Virtual Worlds
Some effects of fault recovery order on software reliability models
The software aging and rejuvenation repository: Http: //openscience.us/repo/software-aging/
Fault-class-aware fault tree generation and analysis
The relationship between test coverage and reliability
PAID: Prioritizing app issues for developers by tracking user reviews over versions
Rejuvenation and the Spread of Epidemics in General Topologies
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components
A similarity-based approach for test case prioritization using historical failure data
Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality
Testing production system programs
Experiences with Academic-Industrial Collaboration on Empirical Studies of Software Systems
Coverage Analysis for Message Flows
Detecting Vulnerabilities in Service Oriented Architectures
A software reliability engineering success story. AT&T's Definity PBX
Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network
Network Function Virtualization: Challenges and Directions for Reliability Assurance
Code Quality Prediction Under Super Extreme Class Imbalance
Perman: Fine-Grained Permission Management for Android Applications
Predicting risk of pre-release code changes with Checkinmentor
IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Workshops 2008, Seattle, WA, USA, November 11-14, 2008
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings
Detecting Implementation Bugs in Graph Convolutional Network based Node Classifiers
Studying the influence of standard compiler optimizations on symbolic execution
Using Boundary Objects for Continuous Compliance in Automotive Development
DeepMutation: Mutation Testing of Deep Learning Systems
A Combinatorial Reliability Analysis of Dynamic Fault Trees with Priority-AND Gates
An Efficient Approximation for Quantitative Analysis of Dynamic Fault Trees
A New Algorithm for Reachability Testing of Concurrent Programs
Software Reliability Classes: A Basis for Release and Product Quality Expectations
Performance degradation analysis of a supercomputer
An Exploratory Study of Component Reliability Using Unit Testing
Genetic Algorithm for Scheduling Communication Networks in Time-Triggered Systems-of-Systems
DLAFI: Software-Based Fault Injection for Permanent Faults in Deep Learning Accelerators
SRATS: Software reliability assessment tool on spreadsheet (Experience report)
Towards the Quantitative Verification of Deep Learning for Safe Perception
5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994
TDABD: Test-Driven-Assurance-Based Development
Considering Reliability of Deep Learning Function to Boost Data Suitability and Anomaly Detection
Safety Assessment: From Black-Box to White-Box
Assurance Guidance for Machine Learning in a Safety-Critical System
Towards the synthesis of context-aware choreographies
Regression testing on object-oriented programs
Fast and Precise Interval Analysis on Industry code
Modeling of Failure detection and recovery in SysML
Software Longevity in the Wild: Folklore and Law
Efficient Operational Profiling of Systems Using Suffix Arrays on Execution Logs
High-Assurance Synthesis of Security Services from Basic Microservices
A hierarchical object-oriented approach to fault tolerance in distributed systems
A Comprehensive Framework for Security in Engineering Projects - Based on IEC 62443
REDLC: Learning-driven Reverse Engineering for Deep Learning Compilers
Automated Dependability Assessment in DevOps Environments
Temporal complexity and software faults
Generating test cases to evaluate and improve processes of safety-critical systems development
An Approach to Characterize the Security of Open-Source Functions using LSP
Using Semantic Analysis and Graph Mining Approaches to Support Software Fault Fixation
Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions
Errors on Space Software Requirements: A Field Study and Application Scenarios
Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges
Failing and Learning: A Study of What is Learned About Reliability From Software Incidents
An extended notation of FTA for risk assessment of software-intensive medical devices.: Recognition of the risk class before and after the risk control measure
Exact Computation of Network Reliability with Sentential Decision Diagrams
An Effective Software Reliability Analysis Framework for Weapon System Development in Defense Domain
Proving Concurrent Data Structures Linearizable
How do Ordinary Coding Errors Contribute to Security Vulnerabilities?
Failure Prediction of Jobs in Compute Clouds: A Google Cluster Case Study
HINDBR: Heterogeneous Information Network Based Duplicate Bug Report Prediction
Search-based Testing for Accurate Fault Localization in CPS
SHCoT: Secure (and Verified) Hybrid Chain of Trust to Protect from Malicious Software in LightWeight Devices
Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds
A Concept of QCD Prediction and Control in Agile Software Development for Portfolio Management
Early Conflict Detection with Mined Models
The effect of testing on the reliability of single version and 1-out-of-2 software systems
Advances in Artefact Quality Analysis for Safety-Critical Systems
BEIRUT: Repository Mining for Defect Prediction
A Software Quality Evaluation Method Using the Change of Source Code Metrics
Avoiding Faults due to Dangling Dependencies by Synchronization in Microservices Applications
Toward A Quantifiable Definition of Software Faults
Classification of Testable and Valuable User Stories by using Supervised Machine Learning Classifiers
Optimizing software reliability management process
A Stochastic Petri net Model of Continuous Integration and Continuous Delivery
Trap-Based Software Review: How Will Engineers Embed Bugs Due to Cognitive Error?
DevCOP: A Software Certificate Management System for Eclipse
ISSRE Cares: How the Software Reliability Engineering Community Can Give Back to Society
Analysis of software halts in the tandem GUARDIAN operating system
Client-Side Detection of Cross-Site Request Forgery Attacks
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013
TERSE: A tool for evaluating software reliability models
Extending Automated FLTL Test Oracles with Diagnostic Support
Experience report: An application-specific checkpointing technique for minimizing checkpoint corruption
On the Round Trip Path Testing Strategy
SV-AF - A Security Vulnerability Analysis Framework
Profiling the Operational Behavior of OS Device Drivers
Automatic Cause Detection of Performance Problems in Web Applications
Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net
WAP: Does Reviewer Age Affect Code Review Performance?
Fault localization in embedded software based on a single cyclic trace
Feedback-directed exploration of web applications to derive test models
Automated Repair of Cross-Site Scripting Vulnerabilities through Unit Testing
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine
How Does the UML Testing Profile Support Risk-Based Testing
Pinpointing Failure Inducing Event Orderings
AppWrapper: Patching Security Functions with Dynamic Policy on Your Insecure Android Apps
Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection
Forensic study of the Curiosity Flight Software anomalies
Initial Investigation of Behavioral Changes of Obfuscated Programs Caused by Code Optimization
DynTrackr: A Robust Two-Stage Framework with Attribute Enhancement for KPI Anomaly Detection
Measurement-Based Availability of Unix Systems in a Distributed Environment
The Relationship between Software Bug Type and Number of Factors Involved in Failures
Data Dependence Based Testability Transformation in Automated Test Generation
Quantitative evaluation of software rejuvenation of a pool of service replicas
Which Packages Would be Affected by This Bug Report?
Evaluation of software aging in Hyperledger Fabric
Requirements engineering in rail transit production: An experience report
A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System
Reliability simulation of component-based software systems
Analyzing failure mechanism for complex software-intensive systems
A Fault Injection Approach to Evaluate Soft-Error Dependability of System Calls
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection
Learning Feature Representations from Change Dependency Graphs for Defect Prediction
Predicting Defect Content and Quality Assurance Effectiveness by Combining Expert Judgment and Defect Data - A Case Study
Analyzing and Improving Customer-Side Cloud Security Certifiability
Panel: Field Failures And Reliability In Operation
The Future of Automated Debugging - Focus on the Niches First
Integrating the Security Aspect into Design Space Exploration of Embedded Systems
Toward Generic Timing Tests for Distributed Multimedia Software Systems
Automated Risk-Based Testing by Integrating Safety Analysis Information into System Behavior Models
Test Case Generation Based on Client-Server of Web Applications by Memetic Algorithm
Towards Predicting Source Code Changes Based on Natural Language Processing Models: An Empirical Evaluation
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling
Assuring Data Integrity on Commercial Gamification Software Considering Productivity: an Industrial Case Study
LabelEase: A Semi-Automatic Tool for Efficient and Accurate Trace Labeling in Microservices
Efficient and Robust Trace Anomaly Detection for Large-Scale Microservice Systems
Generating test cases from an OO model with an AI planning system
Testing Web Services by XML Perturbation
A stochastic model of human errors in software development: impact of repair times
Lightweight Static Analysis for GUI Testing
Precise Lazy Initialization for Programs with Complex Heap Inputs
Message from the RAIS 2022 Chairs
Using Measures and Risk Indicators for Early Insight into Software Product Characteristics such as Software Safety
Adding capability checks enhances error detection and isolation in object-based systems
Prevalence of continuous integration failures in industrial systems with hardware-in-the-loop testing
Toward an efficient End-to-End test suite execution
A framework for reliability estimation
Understanding software defect detection in the Personal Software Process
Detection and Analysis of Poisoned Image in Container Registry
Using UML Sequence Diagrams and State Machines for Test Input Generation
On some reliability estimation problems in random and partition testing
Getting more in less: The power of single/error annotations in category partition
RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0
Exploring cost and reliability tradeoffs in architectural alternatives using a genetic algorithm
KPIRoot: Efficient Monitoring Metric-based Root Cause Localization in Large-scale Cloud Systems
Deriving Test Sets from Partial Proofs
Fault Injection Experiments with the CLAMR Hydrodynamics Mini-App
Crash Injection to Persistent Memory for Recovery Code Validation
Assessing Uncertainty in Reliability of Component-Based Software Systems
Record and Replay GUI-Based Applications with Less Overhead
Qualitative Deviation Models for Spreadsheet Debugging
Improving the Precision of Dependence-Based Defect Mining by Supervised Learning of Rule and Violation Graphs
Log-Based Reliability Analysis of Software as a Service (SaaS)
Enhancing White-Box Search-Based Testing of RESTful APIs
Multiple Profile Evaluation Using a Single Test Suite in Random Testing
Multi-Objective White-Box Test Input Selection for Deep Neural Network Model Enhancement
ZeroLog: Zero-Label Generalizable Cross-System Log-based Anomaly Detection
Efficiently Extracting Operational Profiles from Execution Logs Using Suffix Arrays
Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction
Detecting Redundant Unit Tests for AspectJ Programs
Formalization and Verification of the ICC Mechanism in Android System Using CSP
MDPMorph: An MDP-Based Metamorphic Testing Framework for Deep Reinforcement Learning Agents
A non-parametric approach to software reliability prediction
Message from the ISSRE 2022 Industry Track Committee Chairs
A Framework to Support Generation and Maintenance of an Assurance Case
The effect of correlated faults on software reliability
Improving Documentation Agility in Safety-Critical Software Systems Development For Aerospace
On the Personality Traits of GitHub Contributors
Fault Tree Analysis of Software-Controlled Component Systems Based on Second-Order Probabilities
Mutation analysis testing for finite state machines
Multi-objective Construction of an Entire Adequate Test Suite for an EFSM
Towards a Unifying Approach in Understanding Security Problems
Experience Report: Automated System Level Regression Test Prioritization Using Multiple Factors
36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025, São Paulo, Brazil, October 21-24, 2025
Reliability models for very large software systems in industry
Evaluating the Reliability of Credential Hardening through Keystroke Dynamics
A Comparative Evaluation of Software Rejuvenation Strategies
An Approach to Identifying Error Patterns for Infrastructure as Code
User-Based Testing of GUI Sequences and Their Interactions
Validating software metrics: producing quality discriminators
To Coerce or Not to Coerce? A Quantitative Investigation on Cybersecurity and Cybercrime Legislations Towards Large-Scale Vulnerability Notifications
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures
Exploring the generalizability of software vulnerability classes via replication and synthesis
Criteria for Testing Polymorphic Relationships
Generating Understandable and Reusable Safety Assurance Cases using Workflow +
XAI for Communication Networks
Unifying Evaluation of Machine Learning Safety Monitors
A Framework for Live Software Upgrade
Verifying the Consistency of UML Models
A Comprehensive Study on the Impact of Vulnerable Dependencies on Open-Source Software
WAP: Digital dependability identities
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach
A Configurable Software Aging Detection and Rejuvenation Agent for Android
Colour Space Defence: Simple, Intuitive, but Effective
Spectrum-Based Fault Localization for Logic-Based Reasoning
13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA
ShellGPT: Generative Pre-trained Transformer Model for Shell Language Understanding
C-SEC (Cyber SCADA evaluation capability): Securing critical infrastructures
Schematic Generation of English-Prose Semantics for a Risk Analysis Language Based on UML Interactions
Research Proposal: Reliability Evaluation of the Apache Kafka Streaming System
A monitoring and testing framework for critical off-the-shelf applications and services
Power Grid Outlier Treatment through Kalman Filter
Simplify Array Processing Loops for Efficient Program Verification
Do Injected Faults Cause Real Failures? A Case Study of Linux
CrashChecker: A Fusion Method for Clustering Duplicate Crash Failures in SAP HANA Delivery
Can We Trust Auto-Mitigation? Improving Cloud Failure Prediction with Uncertain Positive Learning
A flexible simulation-based framework for model-based/data-driven dependability evaluation
Assessing the reliability impacts of software fault-tolerance mechanisms
Reliability Estimation for Statistical Usage Testing using Markov Chains
LiScopeLens: An Open-Source License Incompatibility Analysis Tool Based on Scope Representation of License Terms
Testing Diverse Geographical Features of Autonomous Driving Systems
Message from the ISSRE 2022 General Co-Chairs
Software Rejuvenation: Do IT & Telco Industries Use It?
How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects
Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?
Seventh International Symposium on Software Reliability Engineering, ISSRE 1996, White Plains, NY, USA, October 30, 1996-Nov. 2, 1996
Automated Interpretation of Fleet Incidents to Enable System Level Runtime Assurance
Monitoring Memory-Related Software Aging: An Exploratory Study
Identifying silent failures of SaaS services using finite state machine based invariant analysis
How Reliable Is My Software-Defined Network? Models and Failure Impacts
Using ODC to diagnose an Agile enterprise application development project
Toward Pattern-Oriented Machine Learning Reliability Argumentation
Assessing Direct Monitoring Techniques to Analyze Failures of Critical Industrial Systems
Method-Level Bug Severity Prediction using Source Code Metrics and LLMs
Contributing to the Bottom Line: Optimizing Reliability-Cost-Schedule Tradeoff and Architecture Scalability through Test Technology
Understanding DO-178C Software Certification: Benefits Versus Costs
Testing Nondeterminate Systems
Application of software reliability engineered testing (SRET) to project accounting application (PAA)
A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
Reusing Existing Test Cases for Security Testing
Current trends of the software reliability in Japan and needs of future related activities
Testing During Refactoring: Adding Aspects to Legacy Systems
The Automatic Classification of Fault Trigger Based Bug Report
Predicting fault-prone modules with case-based reasoning
PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor Networks
An approach to automatic detection of software failures
Anomaly Detection and Root Cause Localization in Virtual Network Functions
Hierarchical supervisors for automatic detection of software failures
Continuous Testing and SLA Management of 5G Networks for Industrial Automation
Detection of unexpected situations by applying software reliability growth models to test phases
A Natural Language Programming Approach for Requirements-Based Security Testing
Predicting Buffer Overflow Vulnerabilities through Mining Light-Weight Static Code Attributes
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types
Empirical Notes on the Interaction Between Continuous Kernel Fuzzing and Development
Cross-Project Aging-Related Bug Prediction Based on Joint Distribution Adaptation and Improved Subclass Discriminant Analysis
On the effectiveness of Mann-Kendall test for detection of software aging
Towards automation of checklist-based code-reviews
How Maintainable is Proficient Code? A Case Study of Three PyPI Libraries
Experience report: Anomaly detection of cloud application operations using log and cloud metric correlation analysis
34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023
On Estimating Testing Effort Needed to Assure Field Quality in Software Development
EMI Testing of Large Language Model (LLM) Compilers
Time and Space Partitioning Using On-Board Software Reference Architecture
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Analysis of large system black-box test data
Mutation of Java Objects
Classification Analysis of Bearing Contrived Dataset under Different Levels of Contamination
Markovian Modeling and Analysis of Internet Worm Propagation
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis
A Formal Model for Stateful and Variant-Rich Automotive Functions
Using Behavioral Profiles to Detect Software Flaws in Network Servers
Concurrency Defect Localization in Embedded Systems using Static Code Analysis: An Evaluation
Assessment Techniques, Certification and [What Else We Need for] Confidence in Software
AetherLog: Log-based Root Cause Analysis by Integrating Large Language Models with Knowledge Graphs
Contrastive Coincidental Correctness Representation Learning
Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification
Panel: How Can Software Reliability Engineering (SRE) Help System Engineers and SofWare Architects?
Analysis of local re-execution in mobile offloading system
The Web Attacker Perspective - A Field Study
Estimating the software reliability of smoothly degrading systems
Log Parsing Evaluation in the Era of Modern Software Systems