Search Results - "General AND reference Cross-computing tools AND techniques Reliability*"

Collaborative reliability prediction of service-oriented systems by 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…”
Get full text

SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink by 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…”
Get full text

Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients by 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…”
Get full text

Early prediction of software component reliability by 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…”
Get full text

GraphFI: An Efficient Fault Injection Framework for Graph Processing on GPGPUs by 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…”
Get full text

Interval Change-Point Detection for Runtime Probabilistic Model Checking by 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…”
Get full text

Analyzing and Improving Resilience and Robustness of Autonomous Systems (Invited Paper) by 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…”
Get full text

Precise memory leak detection for java software using container profiling by 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…”
Get full text

MemSeer: Leverage Memory Failure Distinctions and Multi-Grained Prediction in Ultra-Scale Heterogeneous X86/ARM Clusters by 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…”
Get full text

How are Contracts Used in Android Mobile Applications? by 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…”
Get full text

Intermittent Systems at Small Scale: Execution Model and Design Guidelines by 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…”
Get full text

Run-time efficient probabilistic model checking by 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…”
Get full text

The secret life of bugs: Going past the errors and omissions in software repositories by 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…”
Get full text

Lightweight fault-localization using multiple coverage types by 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…”
Get full text

Predicting build failures using social network analysis on developer communication by 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…”
Get full text

BEC: Bit-Level Static Analysis for Reliability against Soft Errors by 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…”
Get full text

Predicting accurate and actionable static analysis warnings: an experimental approach by 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…”
Get full text

HOLMES: Effective statistical debugging via efficient path profiling by 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…”
Get full text

FIXME: Enhance Software Reliability with Hybrid Approaches in Cloud by 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…”
Get full text

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