yusuke1997/dblp-id-title huggingface dataset:
Survivability modeling to assess deployment alternatives accounting for rejuvenation
Evaluating Human Locomotion Safety in Mobile Robots Populated Environments
CCBPS: A Hardware-based Data Loss Prevention Approach
LogFlash: Real-time Streaming Anomaly Detection and Diagnosis from System Logs for Large-scale Software Systems
Increased software reliability through input validation analysis and testing
Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization
FSCS-SIMD: An efficient implementation of Fixed-Size-Candidate-Set adaptive random testing using SIMD instructions
Simulation Environment for the Evaluation of Lightweight Intrusion Detection Systems
Effect of class testing on the reliability of object-oriented programs
Characterizing Sensor Leaks in Android Apps
Run-Time Reliability Estimation of Microservice Architectures
Non-parametric predictive inference of adaptive software rejuvenation schedule
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
An Empirical Study on Reliability Modeling for Diverse Software Systems
Expressing and implementing operational profiles for reactive software validation
Xept: a software instrumentation method for exception handling
S-CBAC: A secure access control model supporting group access for Internet of Things
Effectively Combining Software Verification Strategies: Understanding Different Assumptions
Towards Goal-Based Software Safety Certification Based on Prescriptive Standards
Bugaroo: Exposing Memory Model Bugs in Many-Core Systems
Applying adaptive safety analysis techniques [for embedded software]
SpyAware: Investigating the privacy leakage signatures in app execution traces
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems
Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications
Trace Normalization
An Extended Operational Profile Model
Safe-AR: Reducing Risk While Augmenting Reality
BRACE: Cloud-Based Software Reliability Assurance
Introducing Trust in Service-Oriented Distributed Systems through Blockchain
A Joinpoint Coverage Measurement Tool for Evaluating the Effectiveness of Test Inputs for AspectJ Programs
Test-First for Abstracted Behavior of Software Using Extended Finite State Machine
Homomorphic multi-label classification of virus strains
An improved fuzzing approach based on adaptive random testing
Derivation of an integrated operational profile and use case model
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020
MultiCode: A Unified Code Analysis Framework based on Multi-type and Multi-granularity Semantic Learning
SparseRCA: Unsupervised Root Cause Analysis in Sparse Microservice Testing Traces
Testing synchronous critical software
Prioritize Code for Testing to Improve Code Coverage of Complex Software
The Automatic Efficient Test Generator (AETG) system
Empirical Study on Recognition of Project Situations by Monitoring Application Results of Software Reliability Growth Model
Using Supervised Learning to Guide the Selection of Software Inspectors in Industry
Improving Usability of Fault Injection
Automata-Based Verification of Security Requirements of Composite Web Services
Experience Report: A Safety Engineering Tool Supporting Error Model Creation and Visualization
Fault triggers in open-source software: An experience report
Testing and reliability of logic programs
ROBUST: a next generation software reliability engineering tool
Data Mining Techniques for Building Fault-proneness Models in Telecom Java Software
27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016
Risk Assessment of User-Defined Security Configurations for Android Devices
Filtering noise in mixed-purpose fixing commits to improve defect prediction and localization
Supporting Decision-Making for Biometric System Deployment through Visual Analysis
Incremental Dynamic Impact Analysis for Evolving Software Systems
Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software
A Study of Regression Test Selection in Continuous Integration Environments
Software reliability engineering study of a large-scale telecommunications software system
Ahead of Time Mutation Based Fault Localisation using Statistical Inference
GCN2defect : Graph Convolutional Networks for SMOTETomek-based Software Defect Prediction
Evaluating Deep Learning Classification Reliability in Android Malware Family Detection
Learning to Prune Infeasible Paths in Generalized Symbolic Execution
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
Using Profiling Metrics to Categorise Peer Review Types in the Android Project
n-Pipeline Log Anomaly Detection Drift Mitigation
Defect Content Estimation for Two Reviewers
A Tale of Two Injectors: End-to-End Comparison of IR-Level and Assembly-Level Fault Injection
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
Avionics software problem occurrence rates
On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL
Toward Baselining Software Anomalies in NASA Missions
Analysis of Software Aging in Android
Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called KISSEL
Synthetic Dataset Generation with Itemset-Based Generative Models
An evidential reasoning approach for assessing confidence in safety evidence
AutoKAD: Empowering KPI Anomaly Detection with Label-Free Deployment
Event-Based Input Validation Using Design-by-Contract Patterns
K-Detector: Identifying Duplicate Crash Failures in Large-Scale Software Delivery
Rigorous Development of Dependable Systems Using Fault Tolerance Views
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus
Dependability Analysis of a Client/Server Software System with Rejuvenation
Software reliability in weapon systems (Abstract)
BNR/NORTEL: path to improve product quality, reliability and customer satisfaction
Preliminary Results On Using Static Analysis Tools For Software Inspection
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems
ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors
Cost Optimisation in Certification of Software Product Lines
Performability modeling of N version programming technique
Multi-level Isolation for Android Applications
2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017
Measuring the field quality of wide-distribution commercial software
Feedback-Driven Incremental Symbolic Execution
Vulnerability Discovery Modeling Using Weibull Distribution
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems
Applying Machine Learning with Chaos Engineering
Applying Parameter Value Weighting to a Practical Application
29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, Memphis, TN, USA, October 15-18, 2018
FaaSRCA: Full Lifecycle Root Cause Analysis for Serverless Applications
A Systematic Mapping Review of Memory Leak Detection Techniques
SIG-Droid: Automated system input generation for Android applications
Empirical studies of predicate-based software testing
Reliability optimization of redundant software with correlated failures
Independent Test Verification: What Metrics Have a Word to Say
Switching to Git: The Good, the Bad, and the Ugly
CSLParser: A Collaborative Framework Using Small and Large Language Models for Log Parsing
Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems
Describing Software Specification by Combining SysML with the B Method
Anomalies as Precursors of Field Failures
Tree-Based Methods for Classifying Software Failures
Systematic testing for resource leaks in Android applications
Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration
The fundamentals of software aging
A Novel Hybridization of Artificial Neural Networks and ARIMA Models for Forecasting Resource Consumption in an IIS Web Server
Improving reliability of data protection software with integrated multilayered fault Injection testing
Living Safety Arguments for Open Systems
A neural network modeling methodology for the detection of high-risk programs
Effect of Disturbances on the Convergence of Failure Intensity
Reducing Certification Costs through Assured Dynamic Software Configuration
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks
Evaluating Embedded-Software Specifications - Quantitative and Structured Assessment of Declarative Interface Descriptions
Detection of Mirai by Syntactic and Behavioral Analysis
Generation and Verification of Executable Assurance Case by Model-based Engineering
Static analysis of physical properties in Simulink models
Connecting test coverage to software dependability
Finding Domain-Generation Algorithms by Looking at Length Distribution
Aspis: Lightweight Neural Network Protection Against Soft Errors
Combination of Static and Dynamic Analyses for the Certification of Avionics Software
Evaluation of Risk for Complex Systems Using Attack Surface
Chaotic Compilation: A (Statistical) Cloak for a Secret Computer
AHPCap: A Framework for Automated Hardware Profiling and Capture of Mobile Application States
Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs
Requirements volatility and defect density
Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics
Software Rejuvenation in Cloud Systems
Measuring Software Reliability in Practice: An Industry Case Study
Linking Traceability with GSN
SwissLog: Robust and Unified Deep Learning Based Log Anomaly Detection for Diverse Faults
Reference architecture for high dependability on-board computers
Locating the Clues of Declining Success Rate of Service Calls
Software at Scale for Building Resilient Wireless Sensor Networks
On the Long-Term Predictive Capability of Data-Driven Software Reliability Model: An Empirical Evaluation
Automated Checking for Windows Host Vulnerabilities
Finite-State Testing and Analysis of Graphical User Interfaces
CAMDIT: A Toolkit for Integrating Heterogeneous Data for Enhanced Service Provisioning
Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel
Risk-Aware Intrusion Detection and Prevention System for Automated UAS
Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models
Suraksha: A Framework to Analyze the Safety Implications of Perception Design Choices in AVs
Testing distortion estimations in Retinal Prostheses
A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams
Mutation-Based Integration Testing of Knowledge Graph Applications
Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure
MALPRE: Malware Protocol Reverse Engineering through Code Slicing and Agentic Workflow
A new Markov model of N version programming systems
Assessing the Sensitivity to Usage Profile Changes in Test Planning
Predicting Release Quality
An on-line algorithm for checkpoint placement
Certification of embedded systems: Quantitative analysis and irrefutable evidences
Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B
Developing a Dependable Multi-Agent Rover Swarm Using cFS
WAP: SAT-Based Computation of Minimal Cut Sets
Risk Management for Outsourcing to the Cloud: Security Risks and Safeguards as Selection Criteria for Extern Cloud Services
Keep it moving: Proactive workload management for reducing SLA violations in large scale SaaS clouds
Static Bound Analysis of Dynamically Allocated Resources for C Programs
Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions
Towards the Assessment of Task-based Chatbots: From the TOFU-R Snapshot to the BRASATO Curated Dataset
Feature Interaction Faults Revisited: An Exploratory Study
Queuing Models for Field Defect Resolution Process
A Bayesian Network-Based Analysis of Changing Impact of Organizational Goals on Software Development
A new fault tolerant distributed algorithm for longest paths in a DAG
Software Defect Prediction by Online Learning Considering Defect Overlooking
A Multi-factor Software Reliability Model Based on Logistic Regression
Towards an Evaluation Framework for Availability Solutions in the Cloud
Guiding reengineering with the operational profile
Multi-label Classification of Commit Messages using Transfer Learning
The Importance of Data Quality in Software Reliability Modeling
Computation Offloading and Task Scheduling with Fault-Tolerance for Minimizing Redundancy in Edge Computing
LLM Assisted Dual-View Awareness Framework for Smart Contract Vulnerability Detection
Software reliability modeling by concatenating failure rates
Resilient hypermedia presentations
Software trustability
Program Debugging with Effective Software Fault Localization (Invited Talk)
ASASQL: Active Data Synthesis and Annotation for Efficient Natural Language SQL Generation in Cloud Systems
Measuring software aging effects through OS kernel instrumentation
Estimation of Software Diversity by Fault Simulation and Failure Searching
Using In-Process Testing Metrics to Estimate Post-Release Field Quality
IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011
Model Fusion: Weighted N-Version Programming for Resilient Autonomous Vehicle Steering Control
An Experimental Implementation of Software Rejuvenation in Time Warp Simulation
Modeling and Verifying Strong Cache Consistency for Mobile Data Access
An empirical evaluation of maximum likelihood voting in failure correlation conditions
FluxRank: A Widely-Deployable Framework to Automatically Localizing Root Cause Machines for Software Service Failure Mitigation
The PreCertification Kit for Operating Systems in Safety Domains
Safety Verification of Modern Railway Signalling with the SafeCap Platform
Using error information to improve software quality
Reconfigurable Scripting Language with Programming Risk
Assessing the Performance of Networked Computer Based Systems
On the estimation of reliability of a software system using reliabilities of its components
Cost Optimality in Testing and Rejuvenation
Monitoring the Security Health of Software Systems
Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report)
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models
GEMS: An Extract Method Refactoring Recommender
Mapping the Software Errors and Effects Analysis Method to ISO26262 Requirements for Software Architecture Analysis
16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA
Inferring Performance Bug Patterns from Developer Commits
Assuring Safety-Critical Machine Learning Enabled Systems: Challenges and Promise
Stress testing of task deadlines: A constraint programming approach
Comparison of Static Analysis Tools for Finding Concurrency Bugs
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing
MDIplier: Protocol Format Recovery via Hierarchical Inference
Improving the Security of Microservice Systems by Detecting and Tolerating Intrusions
Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry
Continuous Deployment for Dependable Systems with Continuous Assurance Cases
Panel: Deploying SRE in Your Organization or Company
A Study on Prompt Injection Attack Against LLM-Integrated Mobile Robotic Systems
Software Aging Analysis of the Linux Operating System
Recovery Proxy for Wireless Applications
Modelling CI/CD Pipeline Through Agent-Based Simulation
Disqover: Debugging via code sequence covers
Analysis of Hypergeometric Distribution Software Reliability Model
Cues for scent intensification in debugging
Overlap and Synergy in Testing Software Components across Loosely Coupled Communities
Towards Making Unikernels Rejuvenatable
Testing Extract-Transform-Load Process in Data Warehouse Systems
MoonlightBox: Mining Android API Histories for Uncovering Release-Time Inconsistencies
Discard the Bathtub Model for the Shower Model
A Software Aging-Related Bug Prediction Framework Based on Deep Learning and Weakly Supervised Oversampling
A Consistency Check Algorithm for Component-Based Refinements of Fault Trees
Building Resilient ML Applications using Ensembles against Faulty Training Data
Vulnerability Analysis as Trustworthiness Evidence in Security Benchmarking: A Case Study on Xen
Practical null pointer dereference detection via value-dependence analysis
An Approach for Predicting Bug Report Fields Using a Neural Network Learning Model
Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems
Nonparametric bootstrapping interval estimations for software release planning with reliability objective
Accelerated reliability testing approach for high-reliablity software based on the reinforced operational profile
Determining fault insertion rates for evolving software systems
Reliability and availability of a wide area network-based education system
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases
Non-determinism and Failure Modes in Machine Learning
SimFuzz: Conflict-Aware Parallel Fuzzing via Incremental Path Similarity Clustering
Software metrics model for integrating quality control and prediction
Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability
Lost in Disclosure: On the Inference of Password Composition Policies
More Reliable Test Suites for Dynamic APR by using Counterexamples
Automated Identification of Failure Causes in System Logs
Models of Reliability of Fault-Tolerant Software Under Cyber-Attacks
Empirical performance analysis of computer-supported code-reviews
Engineering a Better Fuzzer with Synergically Integrated Optimizations
Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems
Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving
Prioritizing Mutation Operators Based on Importance Sampling
Test-Driven Development as a Defect-Reduction Practice
An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing
Unification of finite failure non-homogeneous Poisson process models through test coverage
Software reliability measurement and modeling for multiple releases of commercial software
Using Population Characteristics to Build Forecasting Models for Computer Security Incidents
Towards Assessing Isolation Properties in Partitioning Hypervisors
Automatic simulation to predict software architecture reliability
Message from the WoSAR 2022 Chairs
Testing the robustness of Windows NT software
A micro software reliability model for prediction and test apportionment
Ensuring Dataset Quality for Machine Learning Certification
Finding related events for specification mining
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set
Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study
Analysis of Computer Security Incident Data Using Time Series Models
Replaying Harmful Data Races in Android Apps
Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study
An example of risk assessment of software systems specifications
Conditional slicing: Reducing dynamic slices
On the Vulnerabilities of Text-to-SQL Models
Software Defect Rediscoveries: A Discrete Lognormal Model
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
Machine Learning and Constraint Solving for Automated Form Testing
A Simulation Based Trainer for Software Reliability Modeling
A Flexible Generator Architecture for Improving Software Dependability
Black-Box Test Case Prioritization Using Log Analysis and Test Case Diversity
Use of software triggers to evaluate software process effectiveness and capture customer usage profiles (Abstract)
Improving Usefulness of Software Quality Classification Models Based on Boolean Discriminant Functions
Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis
An Empirical Study on the Scalability of Selective Mutation Testing
Designing reliable systems from reliable components using the context-dependent constraint concept
Performance-aware software rejuvenation strategies in a queueing system
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
Software Aging Detection Based on Differential Analysis: An Experimental Study
Testing object-oriented programs - an integrated approach
Towards Behavioral Reflexion Models
Characterizing configuration problems in Java EE application servers: An empirical study with GlassFish and JBoss
Accelerate the Software Software Reliability Testing Execution Process with Fuzzy Discrimination
Dynamic Analysis of Upgrades in C/C++ Software
Comparing four case studies on Bohr-Mandel characteristics using ODC
25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
SynBioTrace: Integrating Safety and Security Artifacts to Build Assurance Cases for Synthetic Biology Applications
Detection and Analysis of Performance Deterioration in Mobile Offloading System
EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel
Detection of fault-prone program modules in a very large telecommunications system
Automated Test Case Generation from Input Specification in Natural Language
An Experiment with Conceptual Clustering for the Analysis of Security Alerts
A study of the relationship between antivirus regressions and label changes
Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
Static Spreadsheet Analysis
Federated Learning for Tabular Data: Exploring Potential Risk to Privacy
Software diagnosability
Reliability behavior of a large network based education system
Applying Test Data Generation Using SMT Solver to COBOL
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks
Combining Replication with Transaction Processing for Enhanced Reliability in J2EE
A Phase Expansion Approach for Transient Analysis of Software Rejuvenation Model
Sensitivity of Website Reliability to Usage Profile Changes
A Two-Stage Framework for Ambiguous Classification in Software Engineering
Cost-Effective Testing of a Deep Learning Model through Input Reduction
Contrasting exception handling code across languages: An experience report involving 50 open source projects
$^{\prime}\mathbf{R}$: Towards Detecting and Understanding Code-Document Violations in Rust
TimeSeriesBench: An Industrial-Grade Benchmark for Time Series Anomaly Detection Models
A Vector Markov Model for Structural Coverage Growth and the Number of Failure Occurrences
An automated environment for software testing and reliability estimation
Finite State Machine Testing Complete Round-Trip Versus Transition Trees: On the Road of Finding the Most Effective Criterion
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems
TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL Statements
Using fault injection to increase software test coverage
GPU Acceleration of Document Similarity Measures for Automated Bug Triaging
Chapter 3: Software Rejuvenation: Key Concepts and Granularity
Baggy Bounds with Accurate Checking
Use software reliability growth models wisely