Suchergebnisse - Testing and Debugging— Testing Tools General Terms Reliability

DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving von 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 …”
Volltext

Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs von 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 …”
Volltext

Automatic test case generation from Simulink/Stateflow models using model checking von 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 …”
Volltext

Transistency Models: Memory Ordering at the Hardware-OS Interface von 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, …”
Volltext

Which Inputs Trigger My Patch? von 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 …”
Volltext

A visualization-based approach for improving spreadsheet quality von 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 …”
Volltext

Mutation analysis with coverage discounting von 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 …”
Volltext

The Computer Failure Data Repository (CFDR): collecting, sharing and analyzing failure data von 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 …”
Volltext

Kubernetes for Developers von Joseph Heck

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

2 Framework: A Software Framework for Multimodal Human-Computer Interaction Systems von 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 …”
Volltext