yusuke1997/dblp-id-title huggingface dataset:
Discovering model transformation pre-conditions using automatically generated test models
How faults cause software failures: implications for software reliability engineering
Developing a high-quality software tool for fault tree analysis
Do Mutations of Strongly Subsuming Second-Order Mutants Really Mask Each Other?
HyWE: A Hybrid Word Embedding Method for Smart Contract Vulnerability Detection
Mobile agent security and reliability
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection
Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion
Understanding and Detecting Privacy Leakage Vulnerabilities in Hyperledger Fabric Chaincodes
Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping
Multiformalism to Support Software Rejuvenation Modeling
Nondeterministic Impact of CPU Multithreading on Training Deep Learning Systems
Safety Analysis of Trampoline OS Using Model Checking: An Experience Report
Software Reliability Assessment: Modeling and Algorithms
Resilience Assessment of Large Language Models under Transient Hardware Faults
Effective, Efficient, and Environmentally Friendly Out-of-Model-Scope Detection Methodology
Conservative claims about the probability of perfection of software-based systems
A Framework for Resilient Data Management for Smart Grids
Automatic Failure Detection, Logging, and Recovery for High-Availability Java Servers
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications
PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines
CRSTIP - An Assessment Scheme for Security Assessment Processes
An empirical study of the effect of learning styles on the faults found during the software requirements inspection
Software Testing Strategies for Detecting Hypercall Handlers' Aging-related Bugs
A Digital Assurance Framework
Applying design metrics to a large-scale software system
ISSRE 2007, The 18th IEEE International Symposium on Software Reliability, Trollhättan, Sweden, 5-9 November 2007
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience
Coverage Metrics for Continuous Function Charts
BP-IDS: Using business process specification to leverage intrusion detection in critical infrastructures
Software Error Data Collection and Analysis in Industry
12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China
Method for designing and placing check sets based on control flow analysis of programs
Large Empirical Case Study of Architecture-Based Software Reliability
Fixing Robust Out-of-distribution Detection for Deep Neural Networks
CrashOS: Hypervisor Testing Tool
Optimizing Selective Protection for CNN Resilience
A Static Analyzer for Industrial Robotic Applications
AUVANA: An Efficient and Automatic Approach to Variable Rename Refactoring via Large Pre-trained Language Model
Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs
Thoroughness of Specification-Based Testing of Synchronous Programs
A Resilience Design Model for IMS-based Services
Search-Based Testing using EFSMs
Models are Central to AI Assurance
Relevant inputs analysis and its applications
The DevSecOps and Agency Theory
Analysis of Functional Software Dependencies through Supervised Execution
When malloc() Never Returns NULL - Reliability as an Illusion
Taming Exceptions in Android Applications
GERT: An Empirical Reliability Estimation and Testing Feedback Tool
Detection and Prediction of Resource-Exhaustion Vulnerabilities
A neural network approach for software reliability growth modeling in the presence of code churn
Space systems modeling using the Architecture Analysis & Design Language (AADL)
Evaluation of RESTful frameworks under soft errors
Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates
Analyzing Testability on Data Flow Designs
Detecting and Defending CSRF at API-Level
QoS-aware Metamorphic Testing: An Elevation Case Study
Exposing Android Event-Based Races by Selective Branch Instrumentation
Detecting Struct Member-Related Memory Leaks Using Error Code Analysis in Linux Kernel
PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper
ServerRCA: Root Cause Analysis for Server Failure using Operating System Logs
UPMOA: An improved search algorithm to support user-preference multi-objective optimization
Human-Written vs. AI-Generated Code: A Large-Scale Study of Defects, Vulnerabilities, and Complexity
DroidEH: An Exception Handling Mechanism for Android Applications
Non-parametric Predictive Inference of Preventive Rejuvenation Schedule in Operational Software Systems
Safety-Critical Software - Quantification of Test Results
A Web-based Tool for Predicting Software Development Effort
Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs
Assessing the Threat Landscape for Software Libraries
Large Language Models Can Provide Accurate and Interpretable Incident Triage
Beyond Functional Correctness: An Empirical Evaluation of Large Language Models for Text-to-Code Generation
Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface
Error Models and Software Certification
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine
Quantifying software test process and product reliability simultaneously
Cost of software design diversity an empirical evaluation
Mutations: How Close are they to Real Faults?
Variance Analysis in Software Fault Prediction Models
Software Aging in Image Classification Systems on Cloud and Edge
Performance Modeling of Apache Web Server Affected by Aging
Extracting Interaction-Related Failure Indicators for Online Detection and Prediction of Content Failures
Wielding Statistical Fault Localization Statistically
Dependability Certification Guidelines for NFVIs through Fault Injection
Protecting mobile code
Safety assessment of software-intensive medical devices: Introducing a safety quality model approach
Security slicing for auditing XML, XPath, and SQL injection vulnerabilities
Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
Complexity metrics for distributed programs
Using reversible computing to achieve fail-safety
Toward Extracting Learning Pattern: A Comparative Study of GPT-4o-mini and BERT Models in Predicting CVSS Base Vectors
An exception handling mechanism for developing dependable object-oriented software based on a meta-level approach
Automatic test generation using checkpoint encoding and antirandom testing
Detecting and Refactoring Feature Envy Based on Graph Neural Network
ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models
2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis
Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging
Design of distribution automation networks using survivability modeling and power flow equations
Designing an SRE Program for Commercial Software Organizations
A Fault Localization and Debugging Support Framework driven by Bug Tracking Data
On the Density and Diversity of Degradation Symptoms in Refactored Classes: A Multi-case Study
A Topology-Based Model for Estimating the Diagnostic Efficiency of Statistics-Based Approaches
Ninth International Symposium on Software Reliability Engineering, ISSRE 1998, Paderborn, Germany, November 4-7, 1998
The Performance and Dependability of Control Plane in OpenFlow Networks
Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
The lognormal distribution of software failure rates: application to software reliability growth modeling
Use of software triggers to evaluate software process effectiveness and capture customer usage profiles
Using Approximate Bayesian Computation to Empirically Test Email Malware Propagation Models Relevant to Common Intervention Actions
DVSTdetector: Dual-View Spatio-Temporal Representation Learning for Intrusion Detection in Industrial Control System
Quantifying the influence of failure repair/mitigation costs on service-based systems
Reliability and maintainability related software coupling metrics in C++ programs
Modelling an imperfect debugging phenomenon with testing effort
Practical issues in implementing software reliability measurement
Model-Based Architecture Robustness Analysis for Software-Intensive Autonomous Systems
Assessing Product Quality through PMR Analysis: A Perspective
Enabling Efficient Assertion Inference
Software Reliability Modeled on Contagion
REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track)
Dynamic Random Testing Strategy for Test Case Optimization in Cloud Environment
Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events
Toward Rigorous Object-Code Coverage Criteria
The repeatability of code defect classifications
Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback
A study on the effectiveness of peer review meeting
An Empirical Comparison of Two Different Strategies to Automated Fault Detection: Machine Learning Versus Dynamic Analysis
Robust KPI Anomaly Detection for Large-Scale Software Services with Partial Labels
Enhancing HPC System Log Analysis by Identifying Message Origin in Source Code
Reviewing and Proposing Approaches for Self-adaptive Testing in the Field
Self-Evolutionary Group-wise Log Parsing Based on Large Language Model
A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases
Cause Points Analysis for Effective Handling of Alarms
A Framework for Tamper Detection Marking of Mobile Applications
Intrusion detection without attack knowledge: generating out-of-distribution tabular data
Memoized Forward Computation of Dynamic Slices
Functionality and Safety Weaknesses in Integration of Physics-Based Models on Critical Embedded Systems
From Collision to Verdict: Responsibility Attribution for Autonomous Driving Systems Testing
MC-FGSM: Black-box Adversarial Attack for Deep Learning System
Characterizing Python Method Evolution with PyMevol: An Essential Step Towards Enabling Reliable Software Systems
Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation
Toward an Embedded Multi-agent System Methodology and Positioning on Testing
Successful application of software reliability engineering for the NASA Space Shuttle
Generation of Certifiably Correct Programs from Formal Models
Multi-level Fuzzing for Document File Formats with Intermediate Representations
A queuing model for service availability of systems with rejuvenation
The Impact of Coupling on the Fault-Proneness of Aspect-Oriented Programs: An Empirical Study
Experience report: A field analysis of user-defined security configurations of Android devices
Investigating Bugs in AI-Infused Systems: Analysis and Proposed Taxonomy
ColocationSim: Simulate Colocation Datacenter with Microservices and Performance Interference
Engineering Resilience: Predicting The Change Impact on Performance and Availability of Reconfigurable Systems
Availability optimization in operational software system with aperiodic time-based software rejuvenation scheme
S2Vul: Vulnerability Analysis Based on Self-supervised Information Integration
Sentinel: A Multi-institution Enterprise Scale Platform for Data-driven Cybersecurity Research
Customer Scenario Focused End-to-End Testing
Input/Output Check Bugs Taxonomy: Injection Errors in Spotlight
Supporting Change Impact Assessment with LLMs
A Reactive Batching Strategy of Apache Kafka for Reliable Stream Processing in Real-time
Semantic Learning and Understanding of multivehicle interaction patterns Using Primitive Driving Patterns With Bayesian Nonparametric Approaches
Towards safety monitoring of ML-based perception tasks of autonomous systems
Design of reliable software via general combination of N-version programming and acceptance testing
Propagating Bug Fixes with Fast Subgraph Matching
Healing Data Loss Problems in Android Apps
Quality Playbook: Ensuring Release to Release Improvement
A methodology for detection and estimation of software aging
A systematic approach to software reliability modeling
Challenges in Certification of Autonomous Driving Systems
An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection
Unsupervised Detection of Microservice Trace Anomalies through Service-Level Deep Bayesian Networks
Understanding Recommendation System Robustness Against Silent Data Corruption: An Empirical Study
Safe and Secure: Mutually Supporting Safety and Security Analyses with Model-Based Suggestions
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP
Automatic Mapping of Unstructured Cyber Threat Intelligence: An Experimental Study: (Practical Experience Report)
The Nature of the Times to Flight Software Failure during Space Missions
Leveraging RAG-Enhanced Large Language Model for Semi-Supervised Log Anomaly Detection
Online Failure Prediction Through Fault Injection and Machine Learning: Methodology and Case Study
Bypassing Censorship: A Proven Tool against the Recent Internet Censorship in Turkey
Software reliability growth models: assumptions vs. reality
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric
Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes
Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems
Software reliability models: an approach to early reliability prediction
Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems
DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems
The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models
Emulation of Software Faults by Educated Mutations at Machine-Code Level
When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS Testing
A new model to capture security threat patterns by complying with standards and lesson learned - Archiving dependability for security assurance cases
A process for software requirements safety analysis
VulDeBERT: A Vulnerability Detection System Using BERT
Can Linux be Rejuvenated without Reboots?
An Automated Approach to Re-Hosting Embedded Firmware by Removing Hardware Dependencies
Comparative Study of Fault-Proneness Filtering with PMD
Enhancing AI-based Generation of Software Exploits with Contextual Information
Residual fault density prediction using regression methods
CoLUA: Automatically Predicting Configuration Bug Reports and Extracting Configuration Options
Characteristic analysis of quantitative definition of resiliency measure
Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications
DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing
Software Reliability - 40 Years of Avoiding the Question
Non-Detrimental Web Application Security Scanning
Identifying Failed Test Cases Through Metamorphic Testing
Using Accelerated Life Tests to Estimate Time to Software Aging Failure
Evidence arguments for using formal methods in software certification
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems
Predicting multi-platform release quality
CovSBOM: Enhancing Software Bill of Materials with Integrated Code Coverage Analysis
Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool
Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing
Automatic test generation for predicates
Piecing together app behavior from multiple artifacts: A case study
Prioritization of Metamorphic Relations Based on Test Case Execution Properties
AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs
ReSPlay: Improving Cross-Platform Record-and-Replay with GUI Sequence Matching
Debugging with Dynamic Temporal Assertions
Designing fault tolerant application in Maruti
Formal Limits on Determining Reliabilities of Component-Based Software Systems
Comparing SQL Injection Detection Tools Using Attack Injection: An Experimental Study
Telecommunications network operations systems: experiences in software reliability engineering
Improved Test Generation Algorithms for Pair-Wise Testing
Automatic failure detection with Conditional-Belief supervisors
Impact of V2V Communication on Robustness of Autonomous Driving Systems
Applying software reliability engineering process to software development in Korea defense industry
Bug localisation through diverse sources of information
Crucible: Graphical Test Cases for Alloy Models
Case Study: Project Management Using Cross Project Software Reliability Growth Model Considering System Scale
ReTEST: A Cost Effective Test Case Selection Technique for Modern Software Development
On the Use of API Calls for Detecting Repackaged Malware Apps: Challenges and Ideas
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Evaluating Natural Language Inference Models: A Metamorphic Testing Approach
Characterizing Runtime Performance Variation in Error Detection by Duplicating Instructions
WSPred: A Time-Aware Personalized QoS Prediction Framework for Web Services
The nature of fault exposure ratio
MASSE: Modular Automated Syntactic Signature Extraction
GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton
Autonomic ZTA-based Network Management Engine (AZNME)
Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis
SyzOrch: An Orchestration Framework for Resource-Aware and Composable Kernel Fuzzing
Antirandom testing: getting the most out of black-box testing
What Is System Hang and How to Handle It
Identifying Crashing Fault Residence Based on Cross Project Model
Evolutionary neural networks: a robust approach to software reliability problems
OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience Analysis
Exploring possibilities to analyse microblogs for dependability information in variability-intensive open source software systems
Evaluation Metrics of Service-Level Reliability Monitoring Rules of a Big Data Service
An Empirical Study on Software Aging Indicators Prediction in Android Mobile
Thresholds for Object-Oriented Measures
On Enhancing Root Cause Analysis with SQL Summaries for Failures in Database Workload Replays at SAP HANA
ISSRE 2009, 20th International Symposium on Software Reliability Engineering, Mysuru, Karnataka, India, 16-19 November 2009
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties
Challenges and Directions in Security Information and Event Management (SIEM)
Multi-Scale Software Network Model for Software Safety of the Intended Functionality
Secure and Efficient White-box Encryption Scheme for Data Protection against Shared Cache Attacks in Cloud Computing
Static analysis versus penetration testing: A controlled experiment
An Empirical Study of Production Incidents in Generative AI Cloud Services
The role of testing in the B formal development process
iReview: an Intelligent Code Review Evaluation Tool using Biofeedback
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM
Targeted Code Inspection based on Human Errors
Safety arguments, software and system reliability
Important-unit Coverage for Recurrent Neural Network
Analysis of review's effectiveness based on software metrics
A Bayesian Belief Network for Assessing the Likelihood of Fault Content
Towards Multi-layered Reliability Analysis in Smart Grids
Identifying Erroneous Software Changes through Self-Supervised Contrastive Learning on Time Series Data
TLFL: Token-Level Fault Localization for Novice Programs via Graph Representation Learning
Engineering and Hardening of Functional Fail-Operational Architectures for Highly Automated Driving
The Challenges of Labeling Vulnerability-Contributing Commits
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
Enhancing Failure Propagation Analysis in Cloud Computing Systems
Boundary value analysis in automatic white-box test generation
Towards Making Safety-Critical Systems Safer: Learning from Mistakes
Safety contract based design of software components
Robustness Assessment of the Open vSwitch Kernel Module
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication
Analysis and Diagnosis of SLA Violations in a Production SaaS Cloud
Seasonality in Vulnerability Discovery in Major Software Systems
A Pragmatic Approach on Combined Safety and Security Risk Analysis
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction
Classification tree models of software quality over multiple releases
Combining Word Embedding with Information Retrieval to Recommend Similar Bug Reports
A Candidate Fault Model for AspectJ Pointcuts
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering
Using machine learning techniques to detect metamorphic relations for programs without test oracles
Change Bursts as Defect Predictors
Identifying Root-Cause Changes for User-Reported Incidents in Online Service Systems
Detection of IoT Devices That Mine Cryptocurrency
Cache Antagonists Identification: A Practice from Alibaba Colocation Datacenter
Detection of response time failures of real-time software
Human Error Scenario Analysis of Software Defects
Goal-Driven Deception Tactics Design
How hard does mutation analysis have to be, anyway?
A 2-Phase Method for Validation of Matching Pair Property with Case Studies of Operating Systems
Using software reliability models for security assessment - Verification of assumptions
A Safety Analysis Method for Perceptual Components in Automated Driving
A Security Argument Pattern for Medical Device Assurance Cases
On reducing the sensitivity of software reliability to variations in the operational profile
Constructing subtle higher order mutants for Java and AspectJ programs
Automated Checking of Web Application Invocations
A Case Study Using the Round-Trip Strategy for State-Based Class Testing
New Quality Estimations in Random Testing
Moving Target Defense (MTD): Recent Advances and Future Research Challenges
A survey of software reliability measurement tools
Multi-Level Execution Trace Based Lock Contention Analysis
Infinite failure models for a finite world: A simulation study of the fault discovery process
Smart Unit Testing Framework
Hierarchy-Aware Regression Test Prioritization
Designing Neural Networks Using Logical Specs
Bug Detection in Large-Scale Nuclear Power Software
Anomaly Detection As-a-Service
An Automated (F) LTL Test Oracle for Testing with Requirements
An Empirical Study of Thresholds for Code Measures
A Memory Model Based on Three-Valued Matrix for Static Defect Detection
Software Aging and Rejuvenation: Where We Are and Where We Are Going
Toward CPS Security Monitoring: Employing Multi-Agent Systems and Digital Twins
Towards the Certification of an Evacuation Assistance System Utilizing AI-based Approaches
Does software reliability engineering (SRE) offer any benefits to mobile code's security woes?
A Study of Converting Risk to Assurance Case
Detection of missing requirements using base requirements pairs
Effective management of work in a geographically dispersed team using Tasks in Agile methodology