yusuke1997/dblp-id-title huggingface dataset:
Methods and opportunities for rejuvenation in aging distributed software systems
Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers
How Should Software Reliability Engineering Be Taught?
Smart defect classification for better analysis using tagging mechanisms
Semantics-Based, Automated Preparation of Exploratory Data Analysis for Complex Systems
Concurrent Contracts for Java in JML
A scalable and accurate hybrid vulnerability analysis framework
Coordinated Analysis of Heterogeneous Monitor Data in Enterprise Clouds for Incident Response
Towards the Robustness of Multiple Object Tracking Systems
DARX - A Framework For The Fault-Tolerant Support Of Agent Software
Adding Correctness Checking to Test Automation Platform
Estimation of the Total Number of Software Failures from Test Data and Code Coverage: A Bayesian Approach
Multi-agent System for APT Detection
Issues on the Design of Efficient Fail-Safe Fault Tolerance
Model-based Quantitative Fault Tree Analysis based on FIDES Reliability Prediction
10 Years of ISVV: What's Next?
Software reliability growth analysis: application of NHPP models and its evaluation
Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality
17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA
Program behavior characterization and clustering: An empirical study for failure clustering
Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform
LOFT: An LLM-Enhanced Multi-Objective Search Framework for Fault Injection Testing of Autonomous Driving Systems
Testing of User-Configurable Software Systems Using Firewalls
Engineering reliable software
Specifying and verifying real-time self-adaptive systems
SAR Handbook Chapter: Measurements-based aging analysis
Fault Correction Profiles
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
Dependability Modeling in an Industrial Environment
WAP: Cognitive aspects in unit testing: The hunting game and the hunter's perspective
How Do Developers Act on Static Analysis Alerts? An Empirical Study of Coverity Usage
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011
Is Cut Sequence Necessary in Dynamic Fault Trees?
A Systematic Approach for Software Interference Analysis
On operational availability of a large software-based telecommunications system
Message from the SSSML 2022 Workshop Organization Committee
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts
Information Hiding using Bucket Steganography
Evaluation and Construction of Covering Arrays Utilizing Prior Information
Machine Learning Augmented Fuzzing
Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps via Sparse Taint Analysis
LogRep: Log-based Anomaly Detection by Representing both Semantic and Numeric Information in Raw Messages
On the Use of Boundary Scan for Code Coverage of Critical Embedded Software
Fault Tolerant Distributed Information Systems
Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out?
OPTango: Multi-central Representation Learning against Innumerable Compiler Optimization for Binary Diffing
Impact Analysis of Configuration Changes for Test Case Selection
Server Side Detection of Content Sniffing Attacks
Informal Proof Analysis Towards Testing Enhancement
Multi-objective Optimization Research and Applied in Cloud Computing
Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?
Online Log Parsing: Preliminary Literature Review
An Empirical Study of JUnit Test-Suite Reduction
Towards the Implementation of a Mobile Application Testing Infrastructure at Von Braun Labs
EDF: a formalism for describing and reusing software experience
A case study to investigate sensitivity of reliability estimates to errors in operational profile
Mutation Testing of Event Processing Queries
FIABILOG: a software reliability tool and its application to space projects
Effective Bug Triage Based on Historical Bug-Fix Information
Probe Distribution Techniques to Profile Events in Deployed Software
Reliability growth modelling of software for process control systems
The Role of Similarity in Detecting Feature Interaction in Software Product Lines
On the Impact of Injection Triggers for OS Robustness Evaluation
An Adaptive Sequence Approach for OOS Test Case Prioritization
Panel: Everything You Wanted to Know About SRE But Didn't Know Who To Ask
Computing the Number of Calls Dropped Due to Failures
Investigation on Safety-Related Standards for Critical Systems
Reducing wasted development time via continuous testing
Evaluation of software performance affected by aging
Predicting field experience of releases on specific platforms
Confidence-based reliability and statistical coverage estimation
Dependency-aware Form Understanding
Understanding Merge Conflicts and Resolutions in Git Rebases
35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024 - Workshops, Tsukuba, Japan, October 28-31, 2024
Does Geographical Distance Effect Distributed Development Teams: How Aggregation Bias in Software Artifacts Causes Contradictory Findings
Is software aging related to software metrics?
A Model-Driven Approach to Assuring Process Reliability
Developing Software Reliability Models in the Architecture Phase of the Software Lifecycle
19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA
Automotive SPICE Assessments in Safety-Critical Contexts: An Experience Report
Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones
Detecting latent cross-platform API violations
Reliable Version Merging Based on Deep Semantic and logical Understanding of Critical Context
Message from the General Co-Chairs: ISSRE 2022
ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components
Putting assertions in their place
Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications
Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
Panel: Qualifying The Reliability Of COTS Software Components
Modelling, Design and Optimization of Dependable Softwarized Networks for Industrial Applications
SAR Handbook Chapter: Experimental Tools for Software Aging Analysis
Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite Metrics
Eighth International Symposium on Software Reliability Engineering, ISSRE 1997, Albuquerque, NM, USA, November 2-5, 1997
Applying various learning curves to hyper-geometric distribution software reliability growth model
Discovering specification violations in networked software systems
Automatic Bug Fixing via Deliberate Problem Solving with Large Language Models
Sequential Performance Analysis of Systems that Age and Rejuvenate
Discovering the Fault Origin from Field Traces
Aging and Rejuvenation Models of Load Changing Attacks in Micro-Grids
Coding Pitfalls: Demystifying the Potential API Compatibility Risk of Variadic Parameters in Python
Training Overhead Ratio: A Practical Reliability Metric for Large Language Model Training Systems
Experience Report: An Analysis of Hypercall Handler Vulnerabilities
Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability
A Reliability Estimator for Model Based Software Testing
Guiding reengineering with the operational profile (Abstract)
An operational profile for the Cartridge Support Software
Managing Automated End to End Testing in Bitwise Heterogenous Environments
Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD
ConstBin: A Tool for Automatic Fixing of Unreproducible Builds
Towards Patching Memory Leak Bugs in Off-The-Shelf Software
Poisoning Programs by Un-Repairing Code: Security Concerns of AI-generated Code
Security Assessment and Hardening of Fog Computing Systems
Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques
Guiding resource constrained software testing
Mining Cause-Effect-Chains from Version Histories
Dependability of safety-critical systems: contribution of the synchronous approach
Methods for deep learning model failure detection and model adaption: A survey
System testing with an AI planner
NICSDG: A Non-Intrusive Approach to Constructing Concise Service Dependency Graphs for Microservice Systems
NAPOLI FUTURA: Novel Approaches for Protecting Critical Infrastructures from Cyber Attacks
UFO - Hidden Backdoor Discovery and Security Verification in IoT Device Firmware
Loghub: A Large Collection of System Log Datasets for AI-driven Log Analytics
Finding Needle in a Haystack: An Algorithm for Real-Time Log Anomaly Detection with Real-Time Learning
Going through the Life Cycle of Faults in Clouds: Guidelines on Fault Handling
Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload
A Formal Method Applied to the Automated Software Engineering with Quality Guarantees
Panel: Issues in the next generation of dependability standards
28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017
UML consistency rules in technical books
The Impact of Software Aging and Rejuvenation on the User Experience for Android System
Estimating response time distribution of server application in software aging phenomenon
Increasing the Reliability of Three-Tier Applications
An architectural model for software reliability quantification
Android's Cat-and-Mouse Game: Understanding Evasion Techniques against Dynamic Analysis
Peculiar: Smart Contract Vulnerability Detection Based on Crucial Data Flow Graph and Pre-training Techniques
Automated classification of NASA anomalies using natural language processing techniques
Design of a dependable peer-to-peer system for numerical optimization
Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment
A Model Based Systems Engineering Approach to Resiliency Analysis of a Cyberphysical System
Testing applications using domain based testing and Sleuth
Event Logging in an Industrial Development Process: Practices and Reengineering Challenges
Software Reliability and Security: Challenges and Crosscutting Themes
Sensitivity Analysis of Software Rejuvenation Model with Markov Regenerative Process
Assessing Asymmetric Fault-Tolerant Software
Concurrent engineering aspects of software development
Feedback-Directed Cross-Layer Optimization of Cloud-Based Functional Actor Applications
Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging
Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach
A Process to Support Safety Analysis for a System-of-Systems
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing
Deriving Tests From Software Architectures
Enhancing Neuron Coverage of DNN Models for Adversarial Testing
Automated Oracle Comparators for TestingWeb Applications
Accelerated Simulated Fault Injection Testing
Model Simulation for Test Execution Capacity Estimation
Prediction of software reliability using neural networks
An approach to testing COTS software for robustness to operating system exceptions and errors
bBench: A Comprehensive Performance Benchmark for Blockchain Applications
The scaling problem in neural networks for software reliability prediction
Safety Critical Robot Programming and Testing for Operations in Industrial Co-Production
Software Security Readiness and Deployment
Error Propagation in the Reliability Analysis of Component Based Systems
An Advanced Methodology for Measuring and Characterizing Software Aging
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Towards Testing the Software Aging Behavior of Hypervisor Hypercall Interfaces
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
Efficient regression testing of multi-panel systems
Fast reproducing web application errors
The Effect of Testability on Fault Proneness: A Case Study of the Apache HTTP Server
Automatically Classifying Test Results by Semi-Supervised Learning
Reliability Evaluation of ML systems, the oracle problem
Applying Software Reliability Models on Security Incidents
An Approach to Higher Reliability Using Software Components
Vall-nut: Principled Anti-Grey box - Fuzzing
Recommendations for the Usage of Design Models in Aviation Software
On Adaptive Sampling-Based Testing for Software Reliability Assessment
Resolving JavaScript Vulnerabilities in the Browser Runtime
TensorFI: A Configurable Fault Injector for TensorFlow Applications
Confidence interval estimation of NHPP-based software reliability models
Improving the software development process using testability research
Taxonomy of Aging-related Bugs in Deep Learning Libraries
Predicting deviations in software quality by using relative critical value deviation metrics
Programming the Network: Application Software Faults in Software-Defined Networks
Bohrbugs, Mandelbugs, Exhaustive Testing and Unintended Automobile Acceleration
Assessing AUTOSAR Systems Using Fault Injection
Optimal Resource Allocation for the Quality Control Process
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers
Applying Software Reliability Growth Models to DOD Systems
Automated and Portable Native Code Isolation
TripleAgent: Monitoring, Perturbation and Failure-Obliviousness for Automated Resilience Improvement in Java Applications
Effect of test set size and block coverage on the fault detection effectiveness
Experience Report: An Empirical Study of API Failures in OpenStack Cloud Environments
Fault localization based on failure-inducing combinations
Aging-Related Bugs in Cloud Computing Software
Classifying Requirements: Towards a More Rigorous Analysis of Natural-Language Specifications
Keynote speaker 1: The economics of systems and software reliability
Independent Assessment of Safety-Critical Systems: We Bring Data!
Green Resilience of Cyber-Physical Systems
Reliability Analysis of Systems Subject to Imperfect Fault Coverage Considering Failure Propagation and Component Relevancy
A quantitative risk assessment method for space flight software systems
DDS: Deadlock Detector and Solver
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report)
Module Size Distribution and Defect Density
Object state testing and fault analysis for reliable software systems
Efficiently Running Test Suites Using Abstract Undo Operations
Getting Defect Prediction Into Industrial Practice: the ELFF Tool
Keynote: Software Reliability In Theory And Practice
Panel: Achieving Success in Measurement and Reliability Modeling
Lightweight guided random simulation
Applying Modular Decomposition in Simulink
Auto-PIP: Real-time Identification of Critical Performance Inflection Points in Software Stress Testing
On the correlation between code coverage and software reliability
On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees
Argument Evaluation in the Context of Assurance Case Confidence Modeling
Graceful ECC-uncorrectable Error Handling in the Operating System Kernel
Ranking Attack-Prone Components with a Predictive Model
Search-based data-flow test generation
Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming
MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking
A pattern-based approach for GUI modeling and testing
Mining Interface Specifications for Generating Checkable Robustness Properties
Fault Prediction using Early Lifecycle Data
Computational modeling to detect software sabotage: A discussion of technical challenges and a demonstration of innovative technology
A method proposal for early software reliability estimation
Design Improvement of System Administrative Operations for Certification
Reliability Growth in Software Products
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm
CAA-DRIP: a framework for implementing Coordinated Atomic Actions
On input profile selection for software testing
Planning of Prioritized Test Procedures in Large Integrated Systems: Best Strategy of Defect Discovery and Early Stop of Testing Session, The Selex-ES Experience
Providing an empirical basis for optimizing the verification and testing phases of software development
Using normalized compression distance to measure the evolutionary stability of software systems
LLaMA-Reviewer: Advancing Code Review Automation with Large Language Models through Parameter-Efficient Fine-Tuning
RSX: Reproduction Scenario Extraction Technique for Business Application Workloads in DBMS
Investigating Novel Approaches to Defend Software Supply Chain Attacks
Reducing Web Test Cases Aging by Means of Robust XPath Locators
An Empirical Study on Predicting Software Development Bugs Using Dynamic Bayesian Networks
A Practical Extension of Pairwise Testing
LogTransfer: Cross-System Log Anomaly Detection for Software Systems with Transfer Learning
Building Phase-Type Software Reliability Models
From Application Security Verification Standard (ASVS) to Regulation Compliance: A Case Study in Financial Services Sector
Multi-Language Web Vulnerability Detection
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications
Revolution: Automatic Evolution of Mined Specifications
On the Repeatability of Metric Models and Metrics across Software Builds
Detecting sustainable programming languages through forking on open source projects for survivability
Learning from Time Series with Outlier Correction for Malicious Domain Identification
Efficient strategies for integration and regression testing of OO systems
Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
SeTCHi: Selecting Test Cases to Improve History-Guided Fault Localization
An Empirical Analysis of Compatibility Issues for Industrial Mobile Games (Practical Experience Report)
Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software
Quantifying Lower Reliability Bounds of Deep Neural Networks
One Step Further: Investigating Problematic Files of Architecture Anti-patterns
AI and Stochastic Terrorism - Should it be done?
Fault Localization for Declarative Models in Alloy
Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation
CODEC: Cost-Effective Duration Prediction System for Deadline Scheduling in the Cloud
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System
Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report
Migrating Large Deep Learning Models to Serverless Architecture
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
EvLog: Identifying Anomalous Logs over Software Evolution
Survivability Analysis of Telephone Access Network
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
Ontology-Based Reuse of Failure Modes for FMEA: Methodology and Tool
Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects
Applying testability to reliability estimation
TestEX: A Search Tool for Finding and Retrieving Example Unit Tests from Open Source Projects
Automated resource release in device drivers
Metric-Based Quality Evaluations for Iterative Software Development Approaches Like Agile
Probing the Security of DNA Origami
Minimizing risk in applying metrics on multiple projects
Gherkin Syntax Extension for Parameterization of Network Switch Configurations in Test Specification
No Vibe Without Comprehension: Measuring Code Understanding in Modern Coding Workflows Using Neurophysiological Signals
How to Measure the Impact of Specific Development Practices on Fielded Defect Density
WAP: Models and metrics for the assessment of critical-infrastructure-targeted malware campaigns
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects
Software Release Control using Defect Based Quality Estimation
Experience report: How do techniques, programs, and tests impact automated program repair?
Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications
Experimental analysis of models for correlation in multiversion software
Quantitative Software Reliability Modeling from Testing to Operation
Code Ownership: The Principles, Differences, and Their Associations with Software Quality
Model-based testing of a highly programmable system
MHCP Model for Quality Evaluation for Software Structure Based on Software Complex Network
Predicting Software Defects Based on Cognitive Error Theories
Simultaneous Fault Models for the Generation of Efficient Error Detection Mechanisms
An improved SFMEA method integrated with assistive techniques
AgentFuzz: Fuzzing for Deep Reinforcement Learning Systems
Why Do Deep Learning Projects Differ in Compatible Framework Versions? An Exploratory Study
The protection of LP-WAN Endpoints via TEE: a Chemical Storage Case Study
On the need for simulation for better characterization of software reliability
Forecasting Field Defect Rates Using a Combined Time-Based and Metrics-Based Approach: A Case Study of OpenBSD
Software reliability: to use or not to use?
TCD: Statically Detecting Type Confusion Errors in C++ Programs
An initial evaluation of model-based testing
Scalable isolation of failure-inducing changes via version comparison
Towards Effective Performance Fuzzing
Static and Verifiable Memory Partitioning for Safety-Critical Systems
Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain
How Far Have We Come in Detecting Anomalies in Distributed Systems? An Empirical Study with a Statement-level Fault Injection Method
Testing strategies for form-based visual programs
An Exploratory Study of Field Failures
Understanding and Improving Regression Test Selection in Continuous Integration
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback
Qualitative evaluation of fault hypotheses with non-intrusive fault injection
WAP: Unreasonable distributions of execution time under reasonable conditions
System reliability analysis of an N-version programming application
A replication technique based on a functional and attribute grammar computation model
An Exploratory Study of Bugs in Extended Reality Applications on the Web
Lightweight Automated Testing with Adaptation-Based Programming
Towards Certification of Automotive Software
Preventing recurrence of industrial control system accident using assurance case
EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing
Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node
Coverage Criteria for Logical Expressions
Software Aging and Rejuvenation in the Cloud: A Literature Review
Detecting Dependences and Interactions in Feature-Oriented Design
Independent Verification and Validation for the Space Industry: Guide Evolution Experience
Software reliability measurements in N-Version software execution environment
26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015