Výsledky vyhľadávania - Testing and Debugging— Testing Tools General Terms Reliability

DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving Autor 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…”
Získať plný text

Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs Autor 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…”
Získať plný text

Automatic test case generation from Simulink/Stateflow models using model checking Autor 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…”
Získať plný text

Transistency Models: Memory Ordering at the Hardware-OS Interface Autor 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,…”
Získať plný text

Which Inputs Trigger My Patch? Autor 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…”
Získať plný text

A visualization-based approach for improving spreadsheet quality Autor 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…”
Získať plný text

Mutation analysis with coverage discounting Autor 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…”
Získať plný text

The Computer Failure Data Repository (CFDR): collecting, sharing and analyzing failure data Autor 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…”
Získať plný text

Kubernetes for Developers Autor Joseph Heck

“… tools.Monitor and optimize services to ensure efficiency and reliability in Kubernetes.Leverage continuous integration and troubleshooting techniques in Kubernetes workflows.Author…”
Získať plný text

2 Framework: A Software Framework for Multimodal Human-Computer Interaction Systems Autor 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…”
Získať plný text