Výsledky vyhledávání - "General and reference Cross-computing tools and techniques Reliability"

Collaborative reliability prediction of service-oriented systems Autor Zheng, Zibin, Lyu, Michael R.

“…Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented…”
Získat plný text

SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink Autor Chowdhury, Shafiul Azam, Shrestha, Sohil Lal, Johnson, Taylor T., Csallner, Christoph

“…Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's Simulink is important in practice, as…”
Získat plný text

Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients Autor Abdelkader, Hala, Schneider, Jean-Guy, Abdelrazek, Mohamed, Rani, Priya, Vasa, Rajesh

“…Machine learning (ML) models have become essential components in software systems across several domains, such as autonomous driving, healthcare, and finance…”
Získat plný text

Early prediction of software component reliability Autor Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.

“…The ability to predict the reliability of a software system early in its development, e.g., during architectural design, can help to improve the system's…”
Získat plný text

GraphFI: An Efficient Fault Injection Framework for Graph Processing on GPGPUs Autor Jiang, Nan, Yue, Hengshan, Tan, Jingweijia, Zhou, Mengting, Wang, Xiaonan, Wang, Yuchun, Wei, Wenda, Qiu, Meikang, Wei, Xiaohui

“…As graph tasks become pervasive in real-time and safetycritical domains (e.g., financial fraud detection and electrical power systems), it is also essential to…”
Získat plný text

Interval Change-Point Detection for Runtime Probabilistic Model Checking Autor Zhao, Xingyu, Calinescu, Radu, Gerasimou, Simos, Robu, Valentin, Flynn, David

“…Recent probabilistic model checking techniques can verify reliability and performance properties of software systems affected by parametric uncertainty. This…”
Získat plný text

Analyzing and Improving Resilience and Robustness of Autonomous Systems (Invited Paper) Autor Wan, Zishen, Swaminathan, Karthik, Chen, Pin-Yu, Chandramoorthy, Nandhini, Raychowdhury, Arijit

“…Autonomous systems have reached a tipping point, with a myriad of self-driving cars, unmanned aerial vehicles (UAVs), and robots being widely applied and…”
Získat plný text

Precise memory leak detection for java software using container profiling Autor Guoqing Xu, Rountev, A.

“…A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand…”
Získat plný text

MemSeer: Leverage Memory Failure Distinctions and Multi-Grained Prediction in Ultra-Scale Heterogeneous X86/ARM Clusters Autor Gu, Yunfei, Liu, Yixuan, Wu, Xinyuan, Shao, Bo, Wu, Chentao, Li, Shiyi, Zhao, Jieru, Li, Jie, Guo, Minyi, Yang, Kunlin, Zhang, Wengui, Lin, Feilong

“…In high-performance ultra-scale cloud computing, heterogeneous clusters consisting of x86 and ARM architecture platforms have become increasingly common to…”
Získat plný text

How are Contracts Used in Android Mobile Applications? Autor Ferreira, David R., Mendes, Alexandra, Ferreira, Joao F.

“…Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. However, the…”
Získat plný text

Intermittent Systems at Small Scale: Execution Model and Design Guidelines Autor Kim, Youngbin, Lim, Yoojin

“…Intermittent systems require software support to execute tasks amid frequent power failures. In designing such techniques, software designers rely on execution…”
Získat plný text

Run-time efficient probabilistic model checking Autor Filieri, Antonio, Ghezzi, Carlo, Tamburrelli, Giordano

“…Unpredictable changes continuously affect software systems and may have a severe impact on their quality of service, potentially jeopardizing the system's…”
Získat plný text

The secret life of bugs: Going past the errors and omissions in software repositories Autor Aranda, Jorge, Venolia, Gina

“…Every bug has a story behind it. The people that discover and resolve it need to coordinate, to get information from documents, tools, or other people, and to…”
Získat plný text

Lightweight fault-localization using multiple coverage types Autor Santelices, Raul, Jones, James A., Yanbing Yu, Harrold, Mary Jean

“…Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being faulty. In this paper, we…”
Získat plný text

Predicting build failures using social network analysis on developer communication Autor Wolf, Timo, Schroter, Adrian, Damian, Daniela, Nguyen, Thanh

“…A critical factor in work group coordination, communication has been studied extensively. Yet, we are missing objective evidence of the relationship between…”
Získat plný text

BEC: Bit-Level Static Analysis for Reliability against Soft Errors Autor Ko, Yousun, Burgstaller, Bernd

“…Soft errors are a type of transient digital signal corruption that occurs in digital hardware components such as the internal flip-flops of CPU pipelines, the…”
Získat plný text

Predicting accurate and actionable static analysis warnings: an experimental approach Autor Ruthruff, Joseph R, Penix, John, Morgenthaler, J David, Elbaum, Sebastian, Rothermel, Gregg

“…Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these…”
Získat plný text

HOLMES: Effective statistical debugging via efficient path profiling Autor Chilimbi, Trishul M., Liblit, Ben, Mehra, Krishna, Nori, Aditya V., Vaswani, Kapil

“…Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the…”
Získat plný text

FIXME: Enhance Software Reliability with Hybrid Approaches in Cloud Autor Hwang, Jinho, Shwartz, Larisa, Wang, Qing, Batta, Raghav, Kumar, Harshit, Nidd, Michael

“…With the promise of reliability in cloud, more enterprises are migrating to cloud. The process of continuous integration/deployment (CICD) in cloud connects…”
Získat plný text

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