Search Results - Testing and Debugging— Testing Tools General Terms Reliability

DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving by Liao, Haoyu, Guo, Jianmei, Huang, Bo, Han, Yujie, Yang, Dingyu, Shi, Kai, Ding, Jonathan, Xu, Guoyao, Yang, Guodong, Zhang, Liping

“…Software deployment misconfiguration often happens and has been one of the major causes of deployment failures that give rise to service interruptions…”
Get full text

Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs by Gao, Hongyan, Yang, Yibiao, Sun, Maolin, Wu, Jiangchang, Zhou, Yuming, Xu, Baowen

“…Ensuring the reliability of the Rust compiler is of paramount importance, given increasing adoption of Rust for critical systems development, due to its emphasis on memory and thread safety…”
Get full text

Automatic test case generation from Simulink/Stateflow models using model checking by Mohalik, Swarup, Gadkari, Ambar A., Yeolekar, Anand, Shashidhar, K.C., Ramesh, S.

“…‐based, test generation tool on the same set of examples. The results indicate that in terms of coverage, model checking…”
Get full text

Transistency Models: Memory Ordering at the Hardware-OS Interface by Lustig, Daniel, Sethi, Geet, Bhattacharjee, Abhishek, Martonosi, Margaret

“…Modern computer systems include numerous compute elements, from CPUs to GPUs to accelerators. Harnessing their full potential requires well-defined,…”
Get full text

Which Inputs Trigger My Patch? by Eberlein, Martin, Raselimo, Moeketsi, Grunske, Lars

“… In this paper, we introduce Avicennapatch, a novel tool de-signed to provide precise explanations of the input structures that are covered by the patch…”
Get full text

A visualization-based approach for improving spreadsheet quality by Ayalew, Yirsaw

“… In an attempt to provide a guide in understanding spreadsheets, this paper presents an approach to visualize a spreadsheet in terms of logical areas using the MCL (Markov Clustering) algorithm…”
Get full text

Mutation analysis with coverage discounting by Lisherness, Peter, Lesperance, Nicole, Cheng, Kwang-Ting (Tim)

“…Mutation testing is an established technique for evaluating validation thoroughness, but its adoption has been limited by the manual effort required to analyze the results…”
Get full text

The Computer Failure Data Repository (CFDR): collecting, sharing and analyzing failure data by Schroeder, Bianca, Gibson, Garth

“…With the large component count of coming PetaFLOPS systems, component failures will be frequent. The success of those systems will therefore depend on their…”
Get full text

Kubernetes for Developers by Joseph Heck

“… tools.Monitor and optimize services to ensure efficiency and reliability in Kubernetes.Leverage continuous integration and troubleshooting techniques in Kubernetes workflows.Author…”
Get full text

2 Framework: A Software Framework for Multimodal Human-Computer Interaction Systems by Jie Shen, Pantic, Maja

“…This paper presents a novel software framework for the development and research in the area of multimodal human-computer interface (MHCI) systems. The proposed…”
Get full text