Search Results - General and reference Cross-computing tools and techniques Reliability*

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

“… To provide EMI-based mutation for differential testing of cyber-physical system (CPS) development tools, this paper develops several novel mutation techniques…”
Get full text

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

“… Reliability of the service-oriented systems heavily depends on the remote Web services as well as the unpredictable Internet…”
Get full text

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

“… In general, this assumption is unreasonable, making component reliability prediction an important missing ingredient in the current literature…”
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

“… Application-aware resilience metrics, holistic fault analysis frameworks, and lightweight fault mitigation techniques are being proposed for accurate and effective resilience and robustness assessment and improvement…”
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

“… However, DRAM failures, a primary cause of server downtimes, present significant challenges to reliability, availability, and serviceability…”
Get full text

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

“… and expose confidential data. We propose a bit-level error coalescing (BEC) static program analysis and its two use cases to understand and improve program reliability against soft errors…”
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…”
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

“…) reliability analysis methods typically incur inaccurate system error resilience characterization, making it challenging to provide helpful guidance for efficient and reliable graph processing paradigm design…”
Get full text

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

“… In designing such techniques, software designers rely on execution models that abstract hardware-level operations…”
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

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

“… The robustness of these ML models is crucial for maintaining the software systems performance and reliability…”
Get full text

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

“… However, traditional model checking techniques and tools may not be simply applied as they are at run time, since they hardly meet the constraints imposed by on-the-fly analysis, in terms…”
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

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…”
Get full text

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

“… We introduce a novel container-based heap-tracking technique, based on the observation that many memory leaks in Java programs occur due to containers that keep references to unused data entries…”
Get full text

Automatic Algorithm-Based Fault Tolerance (AABFT) of Stencil Computations by Narmour, Louis, Derrien, Steven, Rajopadhye, Sanjay

“…In this work, we study fault tolerance of transient errors, such as those occurring due to cosmic radiation or hardware component aging and degradation, using…”
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…”
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…”
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…”
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