yusuke1997/dblp-id-title huggingface dataset:
Enhancing Privacy and Robustness in Federated Learning with Local Data Distribution Invariance and Byzantine-Resilient Aggregation
Diagnosing development software release to predict field failures
Robustness testing of a distributed simulation backplane
CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker
Entropy Metrics for Agile Development Processes
Analyzing the reduction of test suite redundancy
Meaningful color image encryption algorithm based on compressive sensing and chaotic map
Quantitative evaluation of capture-recapture models to control software inspections
Are the Classical Disaster Recovery Tiers Still Applicable Today?
Static Type Inference for Foreign Functions of Python
Parameter estimation of the hyper-geometric distribution model for real test/debug data
Reliability of a commercial telecommunications system
DC-SRGM: Deep Cross-Project Software Reliability Growth Model
Test Reuse in the Spreadsheet Paradigm
A Comparison of Bug Finding Tools for Java
My Services Got Old! Can Kubernetes Handle the Aging of Microservices?
Experience report: Formal verification and testing in the development of embedded software
Detecting Numerical Deviations in Deep Learning Models Introduced by the TVM Compiler
Predicting Subsystem Failures using Dependency Graph Complexities
foREST: A Tree-based Black-box Fuzzing Approach for RESTful APIs
Modeling and analysis of software rejuvenation in a server virtualized system
An efficient dual ensemble software defect prediction method with neural network
Optimal Security Patch Release Timing under Non-homogeneous Vulnerability-Discovery Processes
Improving Fuzzing Coverage with Execution Path Length Selection
Automatic Synthesis of Dynamic Fault Trees from UML System Models
(WiP) LLTFI: Low-Level Tensor Fault Injector
On the Equivalence of SOA Rollback-Recovery Consistency Models
Run-Time Adaptive Error and State Management for Open Automotive Systems
Insights on Fault Interference for Programs with Multiple Bugs
Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems
LogCAE: An Approach for Log-based Anomaly Detection with Active Learning and Contrastive Learning
Usability and Aesthetics: Better Together for Automated Repair of Web Pages
The use of software complexity metrics in software reliability modeling
What do the software reliability growth model parameters represent?
Preventing Overflow Attacks by Memory Randomization
The Effect of Test Suite Type on Regression Test Selection
Strong and weak contract formalism for third-party component reuse
Intra-Class Testing of Abstract Class Features
Understanding Bohr-Mandel Bugs through ODC Triggers and a Case Study with Empirical Estimations of Their Field Proportion
Fuzzing with Sequence Diversity Inference for Sequential Decision-making Model Testing
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
Are Computer Focused Crimes Impacted by System Configurations? An Empirical Study
SIDE: Security-aware Integrated Development Environment
TSAI - Test Selection using Artificial Intelligence for the Support of Continuous Integration
Timing errors in real-time systems and their detection
Software aging in mobile devices: Partial computation offloading as a solution
The operational profile in software reliability engineering: an overview
11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA
Towards Multi-Language Static Code Analysis
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems
RusBox: Towards Efficient and Adaptive Sandboxing for Rust
Hyper-geometric distribution software reliability growth model with imperfect debugging
Evaluating Ethereum Reentrancy Detection Tools via Mutation Testing
Policy-driven fault management in distributed systems
Automatically Inferring Temporal Properties for Program Evolution
The discrete time hyperexponential model for software reliability growth evaluation
A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry
String Test Data Generation for Java Programs
An unsupervised approach to discover filtering rules from diagnostic logs
Coincidental correctness: An interference or interface to successful fault localization?
Removing the Big Red Button: Uncrewed Ground Vehicles in Complex Military Environments
Robustness of optimum software release policies
APIMind: API-driven Assessment of Runtime Description-to-permission Fidelity in Android Apps
An analysis and extension of Category partition testing for constrained systems
Software Aging Analysis of the Android Mobile OS
Fourth International Symposium on Software Reliability Engineering, ISSRE 1993, Denver, CO, USA, November 3-6, 1993
Defect reduction in VSE-methodology and results
EARNEST: A challenge-based intrusion prevention system for CAN messages
10th International Symposium on Software Reliability Engineering, ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999
Evaluating the Use of Requirement Error Abstraction and Classification Method for Preventing Errors during Artifact Creation: A Feasibility Study
Exception Handling Recommendation Based on Self-Attention Network
Multi-source Cross Project Defect Prediction with Joint Wasserstein Distance and Ensemble Learning
Amplifying Integration Tests with CAMP
Process improvement in governmental agencies: Toward CMMI certification
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models
Adjusting measured field failure intensity for operational profile variation
Issue Categorization and Analysis of an Open-Source Driving Assistant System
Runtime operational design domain monitoring of static road geometry for automated vehicles
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis
Software Aging Analysis in a Testing Framework
Enhancing accuracy of software reliability prediction
Experience Report: Testing Private Cloud Reliability Using a Public Cloud Validation SaaS
D2MoN: Detecting and Mitigating Real-Time Safety Violations in Autonomous Driving Systems
Efficient reachability graph development for qualitive analysis of state/event fault trees
A method for assuring service grade with Assurance case: An experiment on a portal service
An Overview of Numalis Software Suite for Reliable Numerical Computation
MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned
Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems
Integrating GraphSAGE and Mamba for Self-Supervised Spatio-Temporal Fault Detection in Microservice Systems
Statistical Evaluation of Complex Input-Output Transformations
An Attack Simulator for Systematically Testing Program-based Security Mechanisms
Observation Based Creation of Minimal Test Suites for Autonomous Vehicles
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System
Speculative Symbolic Execution
Reliability Models for the Internet of Things: A Paradigm Shift
On Automatic Detection of Performance Bugs
Optimizing resiliency of distributed video surveillance system for safer city
Why Securing Your Code Architecture: Detection of Architectural Vulnerabilities in Industrial Products
Countdown graph: Estimating completion of testing
A fusion approach for classifying duplicate problem reports
System simulation testing: Pre-delivery testing to ensure system dependability
Software Vulnerability Detection using Large Language Models
Handling Soft Error in Embedded Software for Networking System
Identifying Root-Cause Metrics for Incident Diagnosis in Online Service Systems
A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation
On validating UML consistency rules
Eighth International Symposium on Software Reliability Engineering - Case Studies, ISSRE 1997, Albuquerque, NM, USA, November 2-5, 1997
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study
The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison
Towards a Secure Software Lifecycle for Autonomous Vehicles
A Process Pattern for Cybersecurity Assessment Automation: Experience and Futures
Unit Testing in Practice
A new method for increasing the reliability of multiversion software systems using software breeding
Should fixing these failures be delegated to automated program repair?
Using the genetic algorithm to build optimal neural networks for fault-prone module detection
Automated Generation of Failure Modes and Effects Analysis from SysML Models
Iris Template Protection Based on Randomized Response Technique and Aggregated Block Information
State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
Third International Symposium on Software Reliability Engineering, ISSRE 1992, Research Triangle Park, NC, USA, October 7-10, 1992
StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing (Tools and Artifact Track)
Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask
How Economics Shape Reliability: Lessons and Opportunities from Windows Development
Continuous Verification of Open Source Components in a World of Weak Links
Towards N-version Quantum Software Systems for Reliable Classical-Quantum Computing
Using capture-recapture models to make objective post-inspection decisions
Software reliability practices at Cray Research Inc
A framework for selecting system design metrics
Training Industry Practitioners to Investigate the Human Error Causes of Requirements Faults
Adding Security Concerns to Safety Critical Certification
DeST: An Unsupervised Decoupled Spatio-Temporal Framework for Microservice Incident Management
Designing reliable software
APIBeh: Learning Behavior Inclination of APIs for Malware Classification
The Dual Nature of Software Aging: Twenty Years of Software Aging Research
Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain
Integrated Formal Methods for Constructing Assurance Cases
A Smart Context-Aware Program Assistant Based on Dynamic Programming Event Modeling
Lark: Verified Cross-Domain Access Control for Trusted Execution Environments
Realistic assumptions for software reliability models
Performability Modeling of Mobile Software Systems
All-Paths TestGenerationfor Programs with Internal Aliases
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance
TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka
Testing Security Policies: Going Beyond Functional Testing
An exploratory analysis of system test data
Overview of 10 Years of ISVV Findings in Safety-Critical Systems
Knowledge transition: Discovering workflow models from functional tests
Static Analysis of Model Transformations for Effective Test Generation
Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices
Experience Report: Log Mining Using Natural Language Processing and Application to Anomaly Detection
CBTCset: A Reference Dataset for Detecting Misbehavior Attacks in CBTC Networks
Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems
Verifiable Self-Certifying Autonomous Systems
Efficient Analysis of Fault Trees with Voting Gates
Program Logic Based Software Plagiarism Detection
Enhancing Security and Reliability for Smart- Systems' Architectures
On the inadequacy of ordinary preconditions for the practical design and verification of programs
Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems
Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study
Vu1SPG: Vulnerability detection based on slice property graph representation learning
Experience Report: Detecting Poor-Responsive UI in Android Applications
Experiences with Assurance Cases for Spacecraft Safing
A Modified Genetic Algorithm for Parameter Estimation of Software Reliability Growth Models
A Practice of Forecasting Software Aging in an IIS Web Server Using SVM
NPI-Based Adaptive Software Rejuvenation Schedule under Random Censoring
Predicting Data Dependences for Slice Inspection Prioritization
Measurements and Models for Resiliency Assessment of VM clusters under Aging and Rejuvenation
Detection of Memory Leaks in C/C++ Code via Machine Learning
Assessing the Effect of Software Failures on Trust Assumptions
Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective
Improving search-based test suite generation with dynamic symbolic execution
Automatic GUI Model Generation: State of the Art
Chizpurfle: A Gray-Box Android Fuzzer for Vendor Service Customizations
Establishment of Methods for Information Security System Policy Using Benchmarking
Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented Learning
Detection Latencies of Anomaly Detectors - An Overlooked Perspective?
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
Evaluation of software aging in component-based Web Applications subject to soft errors over time
Quantitative Evaluation and Operative Usage of Interactive Systems
On the determination of optimum software release time
Improving Flexibility in Embedded System Runtime Verification with Python
SourceSnippet2Binary: A Method for Searching Vulnerable Source Code Snippets in Binaries
On the Effect of Fault Removal in Software Testing - Bayesian Reliability Estimation Approach
Fault exposure ratio estimation and applications
On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning
Fast Change-Based Alarm Reporting for Evolving Software Systems
Mining Security Vulnerabilities from Linux Distribution Metadata
Parse tree structure in LTL requirements diagnosis
Towards Automated Evidence Generation for Rapid and Continuous Software Certification
Balanced Measurement Sets: Criteria for Improving Project Management Practices
Back to Basics - Redefining Quality Measurement for Hybrid Software Development Organizations
Markov chains and Petri nets for software rejuvenation systems
Compositional Verification of Sensor Software Using Uppall
Anomaly detection in computer systems using compressed measurements
Shared Execution for Efficiently Testing Product Lines
Dependability Challenges in the Model-Driven Engineering of Automotive Systems
Integration of Tool Support for Assurance and Certification and for Knowledge-Centric Systems Engineering
Teaching SRE to Software Practitioners
Constructing operational profiles for synchronous critical software
A Software Falsifier
TensorFI+: A Scalable Fault Injection Framework for Modern Deep Learning Neural Networks
Share or Not Share? Towards the Practicability of Deep Models for Unsupervised Anomaly Detection in Modern Online Systems
Failure Prediction for Cloud Applications through Ensemble Learning
Adaptive Regression Testing Strategy: An Empirical Study
Oracle-Centric Test Case Prioritization
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs
Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions
The GOLDS satellite constellation: preparatory works for a model-based performability analysis
Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities
Similarity Calculation of Executable Using Intel Pin Instrumentation Framework
Recent Advances in Software Reliability Assurance
Saturation Effects in Testing of Formal Models
Explainable AI for Android Malware Detection: Towards Understanding Why the Models Perform So Well?
Experience report: Memory accesses for avionic applications and operating systems on a multi-core platform
Probabilistic Symbolic Analysis of Neural Networks
STL: a tool for on-line software update and rejuvenation (Abstract)
Experience Report: Understanding Cross-Platform App Issues from User Reviews
Identifying and Prioritizing Chaos Experiments by Using Established Risk Analysis Techniques
IEEE Third International Workshop on Software Aging and Rejuvenation, WoSAR 2011, Hiroshima, Japan, November 29 - December 2, 2011
Cost Curve Evaluation of Fault Prediction Models
Software quality metrics in space systems
Software reliability engineering for mobile code
Mitigating Overfitting for Deep Learning-based Aging-related Bug Prediction via Brain-inspired Regularization in Spiking Neural Networks
Considering Testing-Coverage and Fault Removal Efficiency Subject to the Random Field Environments with Imperfect Debugging in Software Reliability Assessment
Fast Analysis of Evolving Software Systems
The Schneidewind software reliability model revisited
Modeling the Performance of Border Inspections with Electronic Travel Documents
Control-flow based testing of Prolog programs
Supporting Reviewing of Warnings in Presence of Shared Variables: Need and Effectiveness
Helping End-Users "Engineer" Dependable Web Applications
Graphite: A Greedy Graph-Based Technique for Regression Test Case Prioritization
Why Does my Spreadsheet Compute Wrong Values?
Monitoring system calls for anomaly detection in modern operating systems
Generating Trace-Sets for Model-based Testing
The Slice Navigator: Focused Debugging with Interactive Dynamic Slicing
VECROsim: A Versatile Metric-oriented Microservice Fault Simulation System (Tools and Artifact Track)
Early Bird: Ensuring Reliability of Cloud Systems Through Early Failure Prediction
An Initial Study of a Lightweight Process for Change Identification and Regression Test Selection When Source Code Is Not Available
Got issues? Who cares about it? A large scale investigation of issue trackers from GitHub
A Generic Method for Statistical Testing
Domain Metric Driven Decomposition of Data-Intensive Applications
Process Model Tailoring and Assessment for Automotive Certification Objectives
RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races
Empirical Study on Tendencies for Unstable Situations in Application Results of Software Reliability Growth Model
AexPy: Detecting API Breaking Changes in Python Packages
How is IF Statement Fixed Through Code Review? A Case Study of Qt Project
DNA-based Secret Sharing and Hiding in Dispersed Computing
Statistical Software Testing with Parallel Modeling: A Case Study
Failure Models for Testing Continuous Controllers
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem
Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns
MoIO: Run-time monitoring for I/O protocol violations in storage device drivers
A Light-Weight Defect Classification Scheme for Embedded Automotive Software and Its Initial Evaluation
A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis
Introduction to software reliability engineering and testing
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards
Qualitative comparison of aerospace standards: An objective approach
Applying Metrics to Identify and Monitor Technical Debt Items during Software Evolution
Rich Network Anomaly Detection Using Multivariate Data
Triforce QNX Syscall Fuzzer
Benefits and Challenges of Model-Based Software Engineering: Lessons Learned Based on Qualitative and Quantitative Findings
Program segmentation for controlling test coverage
A Systematic Mapping Review of the First 20 Years of Software Aging and Rejuvenation Research
Estimating the Probability of Failure When Software Runs Are Dependent: An Empirical Study
Software Requirement Criteria based on Human Errors
Benchmarking the Dependability of Windows and Linux Using PostMark Workloads
Mobile App to SGX Enclave Secure Channel
Bootstrapping confidence in future safety from past safe operation
Analysis and application of conditional software rejuvenation - A new approach
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
Automated compositional safety analysis using component fault trees
What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components
Validating software architectures for high reliability
Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL
Towards Fault Propagation Analysis in Cloud Computing Ecosystems
Stabilization Time - A Quality Metric for Software Products
Knowledge-Based Approach for Unlocking Divided Secrets in Threshold Schemes with Privileges
Dependability of modular software in a multiuser operational environment
Modelling Machine Learning Components for Mapping and Scheduling of AUTOSAR Runnables
Using formal methods to validate C programs
AFLTurbo: Speed up Path Discovery for Greybox Fuzzing
Dependability of open systems
For a product-in-a-process approach to software reliability evaluation
Towards a unified approach to the testability of co-designed systems
A State Exploration-Based Approach to Testing Java Monitors
Automated Fix Generator for SQL Injection Attacks
A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic
Availability and reliability estimation for a system undergoing minimal, perfect and failed rejuvenation
Predicting Vulnerable Components: Software Metrics vs Text Mining
Hidden-in-Wave: A Novel Idea to Camouflage AI-Synthesized Voices Based on Speaker-Irrelative Features
Replication vs. Failure Prevention - How to Boost Service Availability?
Resilient Mechanism Against Byzantine Failure for Distributed Deep Reinforcement Learning
Statistical Inference of Computer Virus Propagation Using Non-Homogeneous Poisson Processes
An Exploration of Fuzzing for Discovering Use-After-Free Vulnerabilities
Building Trust into OO Components Using a Genetic Analogy
Failure correlation in software reliability models
Modeling the Vulnerability Discovery Process
Reliability evaluation using NHPP models
A coverage analysis tool for the effectiveness of software testing
Primary-shadow consistency issues in the DRB scheme and the recovery time bound
fKPISelect: Fault-Injection Based Automated KPI Selection for Practical Multivariate Anomaly Detection
Fully Automated HTML and Javascript Rewriting for Constructing a Self-Healing Web Proxy
Data partition based reliability modeling
How Long Will it Take to Mitigate this Incident for Online Service Systems?
START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)
How Far Have We Come in Fault Tolerance for Distributed Graph Processing: A Quantitative Assessment of Fault Tolerance Effectiveness
A Clone Code Detection Method Based on Software Complex Network
Mutation-based test-case prioritization in software evolution
Task decomposition testing and metrics for concurrent programs
Software Black Box: An Alternative Mechanism for Failure Analysis
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs
A test coverage notion for logic programming
Advancing Monitoring in Microservices Systems
When is Continuous Integration Useful? Empirical Study on Team Size and Reporters in Development
How to Manage Change-Induced Incidents? Lessons from the Study of Incident Life Cycle
Predicting the order of fault-prone modules in legacy software
Wavelet-Based Approach for Estimating Software Reliability
Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
Challenges in Future Avionic Systems on Multi-Core Platforms
Appwrapping Providing Fine-Grained Security Policy Enforcement Per Method Unit in Android
EMERALD: a case study in enhancing software reliability