yusuke1997/dblp-id-title huggingface dataset:
Fault Triggers in the TensorFlow Framework: An Experience Report
An Empirical Evaluation of GDPR Compliance Violations in Android mHealth Apps
TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension
Operational softwarized networks reliability management
An experimental comparison of fault and error injection
Bicriterion release policy for exponential software reliability growth model
Isolating Real-Time Safety-Critical Embedded Systems via SGX-Based Lightweight Virtualization
Uncertainty Propagation through Software Dependability Models
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model
Sinfer: Inferring information flow lattices for checking self-stabilization
GraBit: A Sequential Model-Based Framework for Smart Contract Vulnerability Detection
Assessing and Improving Dataset and Evaluation Methodology in Deep Learning for Code Clone Detection
Assessing the Crash-Failure Assumption of Group Communication Protocols
Software Reliability Growth Models Based on Local Polynomial Modeling with Kernel Smoothing
Safety Assurance of a Driverless Regional Train -Insight in the safe.trAIn Project
A Survey on Physical Event Verification in User-centric Smart Home Systems
WAP: What activates a bug? A refinement of the Laprie terminology model
Experience Report: System Log Analysis for Anomaly Detection
Discriminating Human-authored from ChatGPT-Generated Code Via Discernable Feature Analysis
D-Script : Dependable scripting with DEOS process
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability
Improving Coverage-Based Localization of Multiple Faults Using Algorithms from Integer Linear Programming
Predicting gray fault based on context graph in container-based cloud
Eye Tracking Sensors as a Contactless Interfaces in Wireless Security Protocols
Heterogeneous Software Reliability Modeling
INRETS experience of the highly critical software validation of the MAGGALY subway
A generalized software reliability process simulation technique and tool
ClusterRCA: An End-to-End Approach for Network Fault Localization and Classification for HPC System
Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems
A Proposal for Security Assessment of Trustzone-M Based Software
An Analysis of Factors Affecting Software Safety in the Aerospace Industry
Towards Anomaly Detectors that Learn Continuously
An Adaptive PID Control for QoS Management in Cloud Computing System
Software rejuvenation on a PKI
Generic and Robust Localization of Multi-dimensional Root Causes
To branch or not to branch that is the question
Enhancing Black-box Compiler Option Fuzzing with LLM through Command Feedback
Business Compliance Detection of Smart Contracts in Electricity and Carbon Trading Scenarios
Software Metrics as Indicators of Security Vulnerabilities
The lognormal distribution of software failure rates: origin and evidence
From Test Count to Code Coverage using the Lognormal Failure Rate
Towards Improved Perception System's Generalization Through Generative Artificial Intelligence
Dependable computing depends on structured fault tolerance
Modeling the Software Failure Correlations When Test Automation Is Adopted during the Software Development
LogVm: Variable Semantics Miner for Log Messages
Network Intrusion Detection by an Approximate Logic Neural Model
Chapter 8: Software Aging Monitoring and Rejuvenation for the Assessment of High Availability Systems - Extended Abstract
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees
Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems
Use of Self-Healing Techniques to Improve the Reliability of a Dynamic and Geo-Distributed Ad Delivery Service
The Impact of Data Preparation on the Fairness of Software Systems
Experience Report: Log-Based Behavioral Differencing
Message from the WoSoCer 2022 Chairs
Quality assurance experience data base
Should we "safely" handle the uncertainties at runtime? - A rather seldom asked question
35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024, Tsukuba, Japan, October 28-31, 2024
An analysis of system level software availability during test
A Static Analysis Framework for Detecting Bugs in Introductory Programs
Analyze-NOW-an environment for collection and analysis of failures in a network of workstations
International standardization of Open Systems Dependability
Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems
A neural network approach for predicting software development faults
Using a Cognitive Psychology Perspective on Errors to Improve Requirements Quality: An Empirical Investigation
Changing Java's Semantics for Handling Null Pointer Exceptions
Extending Fault Trees with an AND-THEN Gate
Automated generation of failure modes and effects analysis for a medical device
An Experimental Evaluation on Reliability Features of N-Version Programming
Software Reliability Evaluation Method Based on a Software Network
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
Challenges & solutions for 24/7 system availability
Testing Software Product Lines Using Incremental Test Generation
Analysis on Causal-Effect Relationship in Effort Metrics Using Bayesian LiNGAM
Controlling software reliability during development
Predicting defects using change genealogies
LegoAI: Towards Building Reliable AI Software for Real-world Applications
Rejuvenation and the Age of Information
Targeting Specific Customer Satisfactions Issues with ODC Analysis
Accounting for Realities When Estimating the Field Failure Rate of Software
IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Recycling Test Cases to Detect Security Vulnerabilities
Code Analysis as an Enabler for SW Quality Improvement: The SELEX ES SW Engineering Experience
A comparison and integration of capture-recapture models and the detection profile method
Toward In-Vivo Testing of Mobile Applications
Comparing disk and memory's resistance to operating system crashes
Model-based testing of NASA's OSAL API - An experience report
Estimating the Failure Rate of Evolving Software Systems
A feedback control approach for software rejuvenation in a web server
Big-Data Applications as Self-Adaptive Systems of Systems
Empirical Studies of Test Case Prioritization in a JUnit Testing Environment
Security Evaluation of a Linux System: Common Criteria EAL4+ Certification Experience
Architecting for Reliability - Recovery Mechanisms
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer
Stochastic Model for Availability Analysis of Service Function Chains using Rejuvenation and Live Migration
Planner Based Error Recovery Testing
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262
Domain Arguments in Safety Critical Software Development
Fault Detection Capabilities of Coupling-based OO Testing
Resilience, Survivability, and Elasticity: A Taxonomy for Change Impact Quantification of Reconfigurable Systems
Handling Language Variations in Open Source Bug Reporting Systems
Approximate Lock: Trading off Accuracy for Performance by Skipping Critical Sections
Frequent Subgraph Based Familial Classification of Android Malware
On the Efficacy of Smart Contract Analysis Tools
On the log-power NHPP software reliability model
ISSRE 2020 Doctoral Symposium Keynote : How to Get Your Paper Rejected
Principles for Systematic Development of an Assurance Case Template from ISO 26262
Model-Driven Fault Injection in Java Source Code
Identifying high-risk scenarios of complex systems using input domain partitioning
Innovation evaluation framework using state transition probability of the product
Assurance Carrying Code for Software Supply Chain
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation
Semi-automated model extraction from observations for dependability analysis
To maintain a reliable software specification
LOFT: Redundant Synchronization Event Removal for Data Race Detection
Enforcing quality of service of distributed objects
Workload Dependent Fault Analysis
User-Oriented Reliability Modeling for a Web System
TEAMS: A Special-Purpose AOP Framework for Runtime Monitoring
Root cause prediction based on bug reports
KEREP: Experience in Extracting Knowledge on Distributed System Behavior through Request Execution Path
Dependability of computer systems: concepts, limits, improvements
A Combinatorial Interaction Testing Method for Multi-Label Image Classifier
A Language-guided Acceleration Method for Smoke Testing of Game Quests
Integrating metrics and models for software risk assessment
Fault localization using execution slices and dataflow tests
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project
Runtime Verification of Web Services for Interconnected Medical Devices
Trigger and Impact Profiles Enable Outcome Focused Defect Discovery to Manage Software Quality
A data collection environment for software reliability research
Automated Validation of Insurance Applications against Calculation Specifications
Automatic Performance Monitoring and Regression Testing During the Transition from Monolith to Microservices
A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development
Software Maintenance Optimization Based on Stackelberg Game Methods
Applying Modified Code Entity-Based Regression Test Selection for Manual End-to-End Testing of Commercial Web Applications
Robust Prediction of Fault-Proneness by Random Forests
A Perspective on Software Consumability
Formal Development of Policing Functions for Intelligent Systems
A robust online extrinsic calibration method for GNSS-RTK and IMU system and vehicle setups
Deep Learning Based Valid Bug Reports Determination and Explanation
An improved classification tree analysis of high cost modules based upon an axiomatic definition of complexity
Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-Intensive Systems: The Norwegian Customs and Excise Case Study
SysML-based and Prolog-supported FMEA
XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries
Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding
Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract
Auto-Encoding Robot State Against Sensor Spoofing Attacks
ISGraphVD: Precise Vulnerability Detection for IoT Supply Chains Based on Identifier Sensitive Graph
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
A Comprehensive Code-Based Quality Model for Embedded Systems: Systematic Development and Validation by Industrial Projects
Reliability Analysis of Man-Machine Systems Considering Imperfect Error Coverage Model
Characterizing and Understanding Software Developer Networks in Security Development
Composable Safety-Critical Systems Based on Pre-certified Software Components
Finding test data with specific properties via metaheuristic search
Workload Characterization for Software Aging Analysis
An approach to measuring and assessing dependability for critical software systems
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems
Successful application of software reliability engineering for the NASA Space Shuttle (Abstract)
A practical strategy for testing pair-wise coverage of network interfaces
Exploring defect data from development and customer usage on software modules over multiple releases
Detection of software modules with high debug code churn in a very large legacy system
A Literature Review of Software Test Cases and Future Research
A Survey on Autonomous Driving System Simulators
Safety-Aware Weighted Voting for N-version Traffic Sign Recognition System
Estimating Return on Investment for GUI Test Automation Frameworks
Experience Report: Study of Vulnerabilities of Enterprise Operating Systems
Dependability modeling and evaluation of recovery block systems
A comparative study of d∗framework and GSN
Improving Statechart Testing Criteria Using Data Flow Information
The Early Identification of Detector Locations in Dependable Software
A Systematic Approach to Generate Inputs to Test UML Design Models
Prioritization of Regression Tests using Singular Value Decomposition with Empirical Change Records
Bridging the Gap Between System Architecture and Software Design using Model Transformation
A Research Agenda for Benchmarking the Resilience of Software Defined Networks
M-elopee: a CASE tool for software reliability study
Monitoring and Mitigating Software Aging on IBM Cloud Controller System
Debugging Spreadsheets: A CSP-based Approach
Studying the Characteristics of a "Good" GUI Test Suite
Dependability Evaluation of Middleware Technology for Large-scale Distributed Caching
Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence
SFRAT - An Extendable Software Reliability Assessment Tool
Software Life-Extension: A New Countermeasure to Software Aging
Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking
IDEA: Runtime Collection of Android Data
Fine-Tuning Pre-trained Model with Optimizable Prompt Learning for Code Vulnerability Detection
An approach to safety and correctness verification of software design specification
Improving the Performance of Mutation-based Fault Localization via Mutant Bias Practical Experience Report
Integrated Software Vulnerability and Security Functionality Assessment
Software Reliability Prediction via Neural Network
SACC - A property driven approach to expose undesired behaviors among system's components
Splitting Application Input into Batches as a Countermeasure Against Software Aging
A Generalized Bivariate Modeling Framework of Fault Detection and Correction Processes
A Framework for Testing Peer-to-Peer Systems
Bear: A Framework for Understanding Application Sensitivity to OS (Mis) Behavior
Energy Bugs in Object Detection Software on Battery-Powered Devices
Visualizing Similarity between Program Executions
Reliability prediction of distributed embedded fault-tolerant systems
Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis
Combining Black Box Testing with White Box Code Analysis: A Heterogeneous Approach for Testing Enterprise SaaS Applications
Dodging Unsafe Update Points in Java Dynamic Software Updating Systems
Experience report: Evaluating the effectiveness of decision trees for detecting code smells
Risk Bands - A Novel Feature of Safecharts
Within-Project Software Aging Defect Prediction Based on Active Learning
Software engineering malpractice and its avoidance
JavaScript Errors in the Wild: An Empirical Study
Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios
Mutation-based spreadsheet debugging
When Does It Pay to Make Software More Reliable?
Resilient Reactive Systems Based on Runtime Semantic Models
Panel: Reliability Assesment for Emerging Technique
Defect-based Testing for Safety-critical ML Components
Using Machine Learning to Support Debugging with Tarantula
Detecting and Diagnosing Anomalous Behavior in Large Systems with Change Detection Algorithms
Retrieving Information from a Document Repository for Constructing Assurance Cases
Certification of Medical Information Systems: Towards a Foundational Framework and Methodology
Building software quality classification trees: approach, experimentation, evaluation
Covering Transitions of Concurrent Systems through Queues
Optimal selection of failure data for predicting failure counts
Fault Injection to Generate Failure Data for Failure Prediction: A Case Study
Experience in software reliability: From data collection to quantitative evaluation
MindFI: A Fault Injection Tool for Reliability Assessment of MindSpore Applicacions
More efficient software testing through the application of design of experiments (DOE)
Revisiting the Practical Use of Automated Software Fault Localization Techniques
An Empirical Study on Common Bugs in Deep Learning Compilers
An Empirical Study of Software Aging Manifestations in Android
Radio Diagnostic tool: IDoctor
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems
An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs
Assessing Disaster Recovery Alternatives: On-Site, Colocation or Cloud
WAP: A Novel Automatic Test Generation Technique Based on Moth Flame Optimization
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications
Message from the WAAM 2022 Chairs
Quantification of the Impact of Random Hardware Faults on Safety-Critical AI Applications: CNN-Based Traffic Sign Recognition Case Study
Software Reliability in COTS-Based Systems
Towards Mutation Testing of Embedded Software: A Framework and Case Study
A Survey of Metrics to Enhance Training Dependability in Large Language Models
An experiment in determining software reliability model applicability
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric
Non-Intrusive Debug Technique for Embedded Programming
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs
Enhanced availability of transaction oriented systems using failure tests
Request success rate of multipathing I/O with a paired storage controller
A Study of Failures in Community Clusters: The Case of Conte
Static Specification Analysis for Termination of Specification-Based Data Structure Repair
Predicting Effectiveness of IR-Based Bug Localization Techniques
HiRec: API Recommendation using Hierarchical Context
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
Dependency Graph Based Failure Analysis for Private Clouds
An Empirical Investigation on Android App Testing Practices
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs
Exploring Hierarchical Patterns for Alert Aggregation in Supercomputers
An Analysis Framework for Inter-system Interaction Behavior
Is Data Privacy Always Good for Software Testing?
Metrics evaluation of software reliability growth models
Model-Checking Real-Time Properties of an Auto Flight Control System Function
Static Detection of Redundant Test Cases: An Initial Study
Optimization of reliability allocation and testing schedule for software systems
Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems
PUTraceAD: Trace Anomaly Detection with Partial Labels based on GNN and PU Learning
Assessment of a sampling method for measuring safety-critical software reliability
Harnessing Web-Based Application Similarities to Aid in Regression Testing
A Taxonomy of Critical AI System Characteristics for Use in Proxy System Testing
Exploiting the Availability-Continuity Trade-off in Imperfect Retraining of Machine Learning Systems
Automatic skeleton generation for data-aware service choreographies
Measuring and Enhancing Prediction Capabilities of Vulnerability Discovery Models for Apache and IIS HTTP Servers
DALT: Deep Activity Launching Test via Intent-Constraint Extraction
Optimization of Opportunity-Based Software Rejuvenation Policy
Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study
A Test Case Generation Method of Combinatorial Testing based on τ-way Testing with Adaptive Random Testing
Reliable Online Log Parsing using Large Language Models with Retrieval-Augmented Generation
A Domain Specific Language for the ARINC 653 Specification
Validation and Reliability Estimation of a Fingerprint Image Registration Software
Understanding Atomics and Memory Ordering Issues in Real-World Rust Software
A Naming Pattern Based Approach for Method Name Recommendation
An empirical comparison of the fault-detection capabilities of internal oracles
An integrated approach for criticality prediction
Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System
Formal specifications and reliability: an experimental study
Mirage: Towards a Metasploit-Like Framework for IoT
Efficient allocation of testing resources for software module testing based on the hyper-geometric distribution software reliability growth model
Experience report: How do bug characteristics differ across severity classes: A multi-platform study
Black-Box Testing of Deep Neural Networks
A Model-Driven Safety Certification Method for Process Compliance
A simulation study on the effectiveness of restart and rejuvenation to mitigate the effects of software ageing
An Empirical Analysis of Anomaly Detection Methods for Multivariate Time Series
A Fault Model for Subtype Inheritance and Polymorphism
Connecting Software Reliability Growth Models to Software Defect Tracking
Experience report: How do structural dependencies influence change propagation? An empirical study
A Cascaded Pipeline for Self-Directed, Model-Agnostic Unit Test Generation via LLMs
Poisson processes with nearly constant failure intensity
IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021
Persistence of relevance: A missing issue in imperfect coverage models
EVIL: Exploiting Software via Natural Language
Remgen: Remanufacturing a Random Program Generator for Compiler Testing
Modeling Software Reliability Growth with Genetic Programming
Reliable Inspection of an Autonomous System At System Runtime with Built-in Data Probes
Softgoal Traceability Patterns
Assert Use and Defectiveness in Industrial Code
A Novel Automatic Query Expansion with Word Embedding for IR-based Bug Localization
Conditional software specification & assurance: A practical assessment of contract-based approaches
Directed graph as a model for unit testing
Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations
Should/could software be more reliable than the "world" in which it is used?
Evaluating long-term predictive power of standard reliability growth models on automotive systems
Digital Product Evolution - Models And Trends
Exploiting Symmetries to Test Programs
Empirical Study of Session-Based Workload and Reliability for Web Servers
An empirical study on clustering for isolating bugs in fault localization
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion
Using an RBF Neural Network to Locate Program Bugs
Analysis of Software Aging in a Blockchain Platform
AtomChase: Directed search towards atomicity violations
DQS's experience with SRE
An Empirical Study on the Distance Metric in Guiding Directed Grey-box Fuzzing
Evaluation of Anomaly Detection Algorithms Made Easy with RELOAD
Test coverage dependent software reliability estimation by the HGD model
Rare failure-state in a Markov chain model for software reliability
Soft-LLFI: A Comprehensive Framework for Software Fault Injection
Exciting FPGA cryptographic Trojans using combinatorial testing
A Survey on Unit Testing Practices and Problems
An Evaluation of Assuring Test Case Sufficiency Using a D-Case Pattern
Reducing Coverage Collection Overhead With Disposable Instrumentation
Message from the Doctoral Symposium Chairs
Robust and Rapid Adaption for Concept Drift in Software System Anomaly Detection
Demystifying and Extracting Fault-indicating Information from Logs for Failure Diagnosis
History-driven Compiler Fuzzing via Assembling and Scheduling Bug-triggering Code Segments
Hierarchical Scheduling for Real-Time Containers in Mixed-Criticality Systems
Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report)
An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory Behavior
eAPT: enhancing APT with a mirror site resolver
System reliability policy at Motorola Codex
A novel mechanism to continuously scan field logs and gain real-time feedback