Výsledky vyhledávání - 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text