yusuke1997/dblp-id-title huggingface dataset:
On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability
KS-TCP: An Efficient Test Case Prioritization Approach based on K-medoids and Similarity
Using algebraic specifications to find sequencing defects
Message from the RSDA 2022 Workshop Chairs
Software rejuvenation impacts on a phased-mission system for Mars exploration
Integrating Software into PRA
Automated diagnosis of software misconfigurations based on static analysis
Reliability Assessment of Framework-Based Distributed Embedded Software Systems
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction
A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems
Experience report: Can software testing education lead to more reliable code?
ADF2T: an Active Disk Failure Forecasting and Tolerance Software
Expanding Fix Patterns to Enable Automatic Program Repair
Towards Declarative Decentralised Application Management in the Fog
Changes in Intent: Behavioral Predictions of Distributed SDN Controller Reconfiguration
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards
Efficient observability-based test generation by dynamic symbolic execution
Fuzz Testing the Compiled Code in R Packages
A systematic approach to develop an autopilot sensor monitoring system for autonomous delivery vehicles based on the STPA method
IFCM: An improved Fuzzy C-means clustering method to handle Class Overlap on Aging-related Software Bug Prediction
Reliability feedback through system log analysis
Beyond the Horizon: Exploring Cross-Market Security Discrepancies in Parallel Android Apps
V&V in defense and commercial projects
SCT: A Safety Case Toolkit
ReSwitcher: Automatically Refactoring Java Programs for Switch Expression
TraceStream: Anomalous Service Localization based on Trace Stream Clustering with Online Feedback
Security Trend Analysis with CVE Topic Models
14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA
TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications
Towards a Bayesian Approach in Modeling the Disclosure of Unique Security Faults in Open Source Projects
Toward SIL Evaluation for a Resilience Strategy
HRCA: A Heterogeneous Graph-based Adaptive Root Cause Analysis Framework
Non-operational testing of software for security issues
IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case
Structural Testing of Web Applications
Using Learning Styles to Staff and Improve Software Inspection Team Performance
Verifying Response Times in Networked Automation Systems Using Jitter Bounds
Automating the Analysis of Voting Systems
Web Application Testing with Customized Test Requirements - An Experimental Comparison Study
Modelling the Fault Correction Process
A Complexity Reliability Model
A Rejuvenation Strategy in Android
Detecting, Exposing, and Classifying Sequential Consistency Violations
SlowCoach: Mutating Code to Simulate Performance Bugs
A chain of accountabilities in open systems based on assured entrustments
Search-Based White-Box Fuzzing of Web Frontend Applications
CloudPin: A Root Cause Localization Framework of Shared Bandwidth Package Traffic Anomalies in Public Cloud Networks
Minimization of Randomized Unit Test Cases
A POMDP Formulation of Multistep Failure Model with Software Rejuvenation
An Empirical Study of Bugs in Machine Learning Systems
DeepUserLog: Deep Anomaly Detection on User Log Using Semantic Analysis and Key-Value Data
Modeling Moving Target Defense strategies and attacks with SAN and ADVISE
Evaluating the Software Test Strategy for the 2000 Sydney Olympics
A Human Error Based Approach to Understanding Programmer-Induced Software Vulnerabilities
Monitoring of Aging Software Systems Affected by Integer Overflows
Declarative Dashboard Generation
A Comparison between Internal and External Malicious Traffic
Updates to the Schneidewind Software Reliability Model in SMERFS
Reliability Assessment of Mass-Market Software: Insights from Windows Vista®
When Failure is (Not) an Option: Reliability Models for Microservices Architectures
Model-Based Software Engineering and Certification: Some Open Issues
Rustpi: A Rust-powered Reliable Micro-kernel Operating System
Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning
MemDefender: An Allocation Monitoring and Memory Leak Injection Tool for Java
Event Based Robot Prognostics Using Principal Component Analysis
Error-free software development for critical systems using the B-Methodology
Towards human-centric software complexity metrics: a neuroscience-based approach
Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian
Corroborating User Assessments of Software Behavior to Facilitate Operational Testing
Automatic Static Vulnerability Detection for Machine Learning Libraries: Are We There Yet?
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion
Access Control Policy Evolution: An Empirical Study
Patternika: A Pattern-Mining-Based Tool For Automatic Library Migration
Using simulation for assessing the real impact of test coverage on defect coverage
Comparative analysis of Bayesian and classical approaches for software reliability measurement
Middleware Transparent Development of Dependable CORBA Applications
Combining testing and proof to gain high assurance in software: A case study
Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems
Using Statistical Models to Predict Software Regressions
Improving Code Summarization Through Automated Quality Assurance
Software Development SRE Needs
LLMeLog: An Approach for Anomaly Detection based on LLM-enriched Log Events
Software reliability analysis incorporating fault detection and debugging activities
A conservative theory for long term reliability growth prediction
System-specific risk rating of software vulnerabilities in industrial automation & control systems
Experience report: An industrial experience report on test outsourcing practices
Cost Effective Reliability Centric Validation Model for Automotive ECUs
On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems
Integration of software reliability engineering, risk management and safety assurance case
Reliability analysis of systems based on software and human resources
Applying spectrum-based fault localization to generate debugging suggestions for student programmers
Practical applications of software reliability models
Assessing software reliability performance under highly critical but infrequent event occurrences
Supervision of real-time software systems using optimistic path prediction and rollbacks
Efficient elimination of false positives using static analysis
A Review of Two Experiences from Applying Model Based Testing in Practice
Ratchet: Retrieval Augmented Transformer for Program Repair
An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters
Experience report: Mining test results for reasons other than functional correctness
A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN
Software reliability modeling and cost estimation incorporating testing-effort and efficiency
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study
Automatically Identifying Bug Reports with Tactical Vulnerabilities by Deep Feature Learning
Injecting Memory Leaks to Accelerate Software Failures
Too Many Cooks: Assessing the Need for Multi-Source Data in Microservice Failure Diagnosis
Tool Support for Production Use of Formal Techniques
Distance-Integrated Combinatorial Testing
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products
A Platform for Automating Chaos Experiments
Approximating Deployment Metrics to Predict Field Defects and Plan Corrective Maintenance Activities
Implementing operational profiles to measure system reliability
Safety-Critical Adaptation in Self-Adaptive Systems
A safe generic adaptation mechanism for smart cars
Software-defined networking (SDN) control message classification, verification, and optimization system
Operating System Robustness Forecast and Selection
Flexible Soft Error Mitigation Strategy for Memories in Mixed-Critical Systems
Improving Counterexample Quality from Failed Program Verification
Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines
Practical Anomaly Detection over Multivariate Monitoring Metrics for Online Services
Standards and practices for reliable safety-related software systems
A mechanical verifier for supporting the design of reliable reactive systems
Early Software Defect Prediction: Right-Shifting Software Effort Data into a Defect Curve
Inter-Class Mutation Operators for Java
Metrics for Measuring the Effectiveness of Software-Testing Tools
Braum: Analyzing and Protecting Autonomous Machine Software Stack
Towards Agile Yet Regulatory-Compliant Development of Medical Software
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means
FTMES: A Failed-Test-Oriented Mutant Execution Strategy for Mutation-Based Fault Localization
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine
Detecting inconsistencies in multi-platform mobile apps
Linking Code and Documentation Churn: Preliminary Analysis
Anything You Want to Ask about Software Reliability Engineering
An Approach to Facilitate Reliability Testing of Web Services Components
A Fault Correlation Approach to Detect Performance Anomalies in Virtual Network Function Chains
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds
Design for Testability of ERMTS Applications
Critical software for nuclear reactors: 11 years of field experience analysis
2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015
A Hybrid Directed Test Suite Augmentation Technique
An Assertions-Based Approach to Verifying the Absence Property Pattern
Studying the effects of code inspection and structural testing on software quality
Software Reliability Modeling with Test Coverage: Experimentation and Measurement with A Fault-Tolerant Software Project
Multi-Feature Fusion based Image Steganography using GAN
A structured and model-based hazard analysis and risk assessment method for automotive systems
Towards Robust Visual Odometry Systems Against Camera Lens Failures
Using Multiclass Machine Learning Methods to Classify Malicious Behaviors Aimed at Web Systems
Engineer Insights: The Challenges of Implementing Agile at Scale in Software Development
Reducing uncertainty about common-mode failures
Online Model-Based Testing under Uncertainty
A QoS-Aware Middleware for Fault Tolerant Web Services
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution
Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing
Machine Deserves Better Logging: A Log Enhancement Approach for Automatic Fault Diagnosis
A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain
Recommendation of Refactorings for Improving Dependability Attributes
An experience report on requirements reliability engineering using formal methods
Substate Profiling for Effective Test Suite Reduction
Towards automatic validation of composite heterogeneous systems in edge situations
A New Software Rejuvenation Model for Android
Mining Numerical Relations for Improving Software Reliability
Antipattern-Based Problem Injection for Assessing Performance and Reliability Evaluation Techniques
Regression Testing Approach for Large-Scale Systems
Verifiable Obstacle Detection
Breaking Task Isolation: Enhancing Code Review Automation with Mixture-of-Experts Large Language Models
The Necessity of Low-code Engineering for Industrial Software Development: A Case Study and Reflections
On Reliability Analysis of Open Source Software - FEDORA
Architecture for a Hard-Real-Time System Enabling Non-intrusive Tests
Learning Graph-based Patch Representations for Identifying and Assessing Silent Vulnerability Fixes
A mathematical comparison of Software Breeding and Community Error Recovery in multiversion software
On Applying Bandit Algorithm to Fault Localization Techniques
Using Fault Modeling in Safety Cases
Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets
A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases
Teaching SRE in a Diverse Graduate Student Context
SHA-3-LPHP: Hardware Acceleration of SHA-3 for Low-Power High-Performance Systems
Using Invariants for Anomaly Detection: The Case Study of a SaaS Application
Improving Tree-Based Models of Software Quality with Principal Components Analysis
Early Detection of Unknown Attacks with Algorithms for Structured Data
SCOUT: A Multi-objective Method to Select Components in Designing Unit Testing
A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs
A Global Operational Readiness Review Process: Improving Cloud Availability
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems
Development of a benchmark to measure system robustness: experiences and lessons learned
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components
Visualisation to Support Fault Localisation in Distributed Embedded Systems within the Automotive Industry
Input requirements needed to produce an operational profile for a new telecommunications system
Prediction of the Complexity of Code Changes Based on Number of Open bugs, New Feature and Feature Improvement
Pragmatic study of parametric decomposition models for estimating software reliability growth
Shared Semantic Domains for Computational Reliability Engineering
Deriving a fault architecture from defect history
Fault Contribution Trees for Product Families
Taking into Account Human Error when Assessing the Impact of Dependability on Usability
Evaluating and Improving Penetration Testing in Web Services
Back-in-Time Debugging in Heterogeneous Software Stacks
SIRIUS: Systematic Investigation for Reliability Improvement Upon Software
A measurement-based model for estimation of resource exhaustion in operational software systems
Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration
An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems
Error injection aimed at fault removal in fault tolerance mechanisms-criteria for error selection using field data on software faults
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
Software reliability predictions for distributed software
Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems
Deadlock and Temporal Properties Analysis in Mixed Reality Applications
Sensitivity of reliability growth models to operational profile errors
ConfGuru - A System for Fully Automated Debugging of Configuration Errors
The Definition and Assessment of a Safety Argument
Detection of Software Failures through Event Logs: An Experimental Study
State Diagram Extension and Test Case Generation Based on Large Language Models for Improving Test Engineers' Efficiency in Safety Testing
Sensitivity of field failure intensity to operational profile errors
Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets
A Page-mapping Consistency Protecting Method for Soft Error Damage in Flash-based Storage
Statistical quality control: how to detect unreliable software components
Improving the accuracy of static analysis based on state partition
Predicting Consistent Clone Change
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles
High Available Mobile Infrastructure Applications
Diktat: Lightweight Static Analysis for Kotlin
Security Benchmarks for Web Serving Systems
Safety ADD: A Tool for Safety-Contract Based Design
Software reliability engineering for client-server systems
A Disjoint-Partitioning Approach to Enhancing Metamorphic Testing of DBMS
Call Stack Coverage for GUI Test-Suite Reduction
LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track)
New Wine in an Old Bottle: N-Version Programming for Machine Learning Components
Detection of Compromised Email Accounts Used by a Spam Botnet with Country Counting and Theoretical Geographical Travelling Speed Extracted from Metadata
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios
Low-Cost Flexible Software Fault Tolerance for Distributed Computing
Parameter estimation of hyper-geometric distribution software reliability growth model by genetic algorithms
MICOM IV&V planning approach and experience involving software reliability
Governing Regression Testing in Systems of Systems
Software recreate problems estimated to range 10-20 percent: A case study on two operating system products
Bug Bash: An Efficient Approach to Increase Test Coverage and Ensure Product Quality in an Agile Environment
A modular implementation model of the Primary-Shadow TMO replication scheme and a testing approach using a real-time environment simulator
The SOTIF Meta-Algorithm: Quantitative Analyses of the Safety of Autonomous Behaviors
Forensic Analysis for Tamper Resistant Software
Applying Partial and Full Rejuvenation in Different Degradation Levels
VCRLog: Variable Contents Relationship Perception for Log-based Anomaly Detection
Assessing the Performance of AI-Generated Code: A Case Study on GitHub Copilot
Modeling Software Rejuvenation on a Redundant System Using Monte Carlo Simulation
Data Augmentation for Vulnerability Detection Based on Code Refactoring and Mixup
The Behavioral Diversity of Java JSON Libraries
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs
Kubernetes for Cloud Container Orchestration Versus Containers as a Service (CaaS): Practical Insights
Experience report on early software reliability prediction and estimation
Safety Assurance for Emergent Collaboration of Open Distributed Systems
23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters
CEMENT: On the Use of Evolutionary Coupling Between Tests and Code Units. A Case Study on Fault Localization
An Empirical Study of Tracing Techniques from a Failure Analysis Perspective
An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented Programming
Permlyzer: Analyzing permission usage in Android applications
A Novel Fuzzing Mutation Scheduling Method based on Evolutionary Strategy
Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty
Integrating MDT in an Industrial Process in the Air Traffic Control Domain
Techniques and Tools for Advanced Software Vulnerability Detection
Comparative analysis of concurrent fault tolerance techniques for real-time applications
Second International Symposium on Software Reliability Engineering, ISSRE 1991, Austin, TX, USA, May 17-18, 1991
Data Loss Prevention Based on Data-Driven Usage Control
Modeling Fault-Prone Modules of Subsystems
Covariate Software Vulnerability Discovery Model to Support Cybersecurity Test & Evaluation (Practical Experience Report)
Defect Analysis and Reliability Assessment for Transactional Web Applications
The influence of syntactic and semantic errors on the quality of software
Empirical Evaluation of Factors Affecting Distinction between Failing and Passing Executions
FTCloud: A Component Ranking Framework for Fault-Tolerant Cloud Applications
Assessing the dynamic strength of software systems using interference analysis
Resource/schedule/content model: Improving testing effectiveness
Requirement Error Abstraction and Classification: A Control Group Replicated Study
An assessment of software quality in a C++ environment
CFAAR: Control Flow Alteration to Assist Repair
Evaluating the Effect of Common Annotation Faults on Object Detection Techniques
An experiment in memory leak analysis with a mission-critical middleware for air traffic control
A host-based anomaly detection approach by representing system calls as states of kernel modules
Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN
On certifying mobile code for secure applications
Automatic Issue Classifier: A Transfer Learning Framework for Classifying Issue Reports
On the Effectiveness of Unit Test Automation at Microsoft
Predicting fault-prone classes with design measures in object-oriented systems
A next-generation platform for Cyber Range-as-a-Service
Fuzzing for Detecting Access Policy Violations in REST APIs
Automated Tool for Revising Masking MC/DC Test Suite
Cross-Project Aging-Related Bug Prediction Based on Feature Transfer and Class Imbalance Learning
Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments
Multiple Fault-Tolerance Mechanisms in Cloud Systems: A Systematic Review
Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components
Bayesian Network Based Program Dependence Graph for Fault Localization
Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures
Exploring Quality Metrics to Support Defect Management Process in a Multi-site Organization - A Case Study
Welcome from the Program Committee Co-Chairs
Automated testing support for a robot tape library
A Hardware-Assisted Tool for Fast, Full Code Coverage Analysis
Software reliability growth model based on Bohrbugs and Mandelbugs
A Systematic Methodology for Specifying the Operational Design Domain of Automated Vehicles
Test Adequacy Assessment for UML Design Model Testing
Value Peripheral Register Values for Fuzzing MCU Firmware
Nonlocal Inpainting of Manifold-Valued Data on Finite Weighted Graphs
Minimization of the Kullback-Leibler Divergence over a Log-Normal Exponential Arc
Schrödinger Problem for Lattice Gases: A Heuristic Point of View
Relationship Between Hölder Divergence and Functional Density Power Divergence: Intersection and Generalization
End-to-End Similarity Learning and Hierarchical Clustering for Unfixed Size Datasets
Information Geometry of Wasserstein Divergence
Open Problems in Global Analysis. Structured Foliations and the Information Geometry
Algorithms for Approximating Means of Semi-infinite Quasi-Toeplitz Matrices
Geometry of Hessian Structures
Souriau's Geometric Principles for Quantum Mechanics
Non Linear Propagation in Reissner Beams: An Integrable System?
New Metric and Connections in Statistical Manifolds
Eigengap Sparsity for Covariance Parsimony
Characterization and Estimation of the Variations of a Random Convex Set by Its Mean n-Variogram: Application to the Boolean Model
A Study on the Covalent Geometry of Proteins and Its Impact on Distance Geometry
Properties of the Cross Entropy Between ARMA Processes
Multi-shape Registration with Constrained Deformations
Projections with Logarithmic Divergences
Twirled Products and Group-Covariant Symbols
Two Types of Matching Priors for Non-regular Statistical Models
Learning Discrete Lagrangians for Variational PDEs from Data and Detection of Travelling Waves
Optimal Matching Between Curves in a Manifold
Geometry on Positive Definite Matrices Induced from V-Potential Function
Natural Langevin Dynamics for Neural Networks
Statistical Models Built on Sub-exponential Random Variables