Methods and measures for statistical fault localisation

Methods and measures for statistical fault localisation

<p>Fault localisation is the process of finding the causes of a given error, and is one of the most costly elements of software development. One of the most efficient approaches to fault localisation appeals to statistical methods. These methods are characterised by their ability to estimat...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Landsberg, D
Awduron Eraill:	Kroening, D
Fformat:	Traethawd Ymchwil
Iaith:	English
Cyhoeddwyd:	2016
Pynciau:	Computer science

Eitemau Tebyg

Probabilistic fault localisation
gan: Landsberg, D, et al.
Cyhoeddwyd: (2016)

Optimising spectrum based fault localisation for single fault programs using specifications
gan: Landsberg, D, et al.
Cyhoeddwyd: (2018)

extendedGAN+ : improved data augmentation method for indoor localisation
gan: Goh, Wayne Yun Bo
Cyhoeddwyd: (2022)

Localisation of gold ores in faults of different types
gan: E. M. Nekrasov
Cyhoeddwyd: (2020-03-01)

Understanding mobility on campus using Wi-Fi localisation
gan: Ting, Grace Yan Teng
Cyhoeddwyd: (2019)

Localisation of coronary artery blockages using ECG signal analysis
gan: Yee, Adeline Wan Jing
Cyhoeddwyd: (2023)

Indoor navigation incorporating multiple localisation sources and pedestrian dead reckoning
gan: Lim, Bo Zhi
Cyhoeddwyd: (2021)

Using double attention for text tattoo localisation
gan: Xu, Xingpeng, et al.
Cyhoeddwyd: (2022)

Basic of Fault Tree (FT) method
gan: Jasrin, Nurin Saqinah, et al.
Cyhoeddwyd: (2021)

Text localisation from natural scenes
gan: Ng, Alphaeus Yue Jie
Cyhoeddwyd: (2024)

A drone-based stereo vision system for localised terrain mapping
gan: Nguyen, Phuong Huy
Cyhoeddwyd: (2019)

3D laser methods for calibrating and localising robotic vehicles
gan: Sheehan, M
Cyhoeddwyd: (2013)

Application of statistical methods in various disciplines
gan: Aziz, Nazrina, et al.
Cyhoeddwyd: (2019)

Topic detection through statistical methods
gan: Walls, Frederick George, 1976-
Cyhoeddwyd: (2013)

Statistical methods in ultrasonic tissue characterization
gan: Maas, Luis C. (Luis Carlos)
Cyhoeddwyd: (2007)

Localised learning based portfolio management for stock trading using intelligent fuzzy neural approach
gan: Mok, Luen Sheng.
Cyhoeddwyd: (2009)

Localised and bifurcating structures in planar shear flows
gan: Wang, Zhe
Cyhoeddwyd: (2020)

Propagation models for multiple-antenna systems : methodology, measurements and statistics
gan: Herring, Keith, 1981-
Cyhoeddwyd: (2008)

MetaFL: Metamorphic fault localisation using weakly supervised deep learning
gan: Lingfeng Fu, et al.
Cyhoeddwyd: (2023-04-01)

Deep vision for indoor understanding and localisation
gan: Howard-Jenkins, H
Cyhoeddwyd: (2022)

Convex optimization methods for graphs and statistical modeling
gan: Chandrasekaran, Venkat
Cyhoeddwyd: (2011)

FTMPST: Fault-Tolerant Multiparty Session Types
gan: Kirstin Peters, et al.
Cyhoeddwyd: (2023-11-01)

Statistical methods for sports and physical education /
gan: Verma, J. P.
Cyhoeddwyd: (2011)

Robust odometry and localisation in challenging environments with vision and lidar
gan: Zhang, L
Cyhoeddwyd: (2024)

A novel method for asynchronous source localisation based on time of arrival measurements
gan: Huijie Zhu, et al.
Cyhoeddwyd: (2021-10-01)

Fault detection method based on high-level feedback and reconstruction for image recognition
gan: Xu, Jin
Cyhoeddwyd: (2021)

Nonparametric statistical methods for image segmentation and shape analysis
gan: Kim, Junmo, 1976-
Cyhoeddwyd: (2006)

Encyclopedia of measurement and statistics /
gan: Salkind, Neil J., et al.
Cyhoeddwyd: (2007)

Audio-based localisation for ubiquitous sensor networks
gan: Dalton, Benjamin Christopher
Cyhoeddwyd: (2006)

A fault tolerant transportation controller
gan: MacGregor, Scott D
Cyhoeddwyd: (2008)

Quantitative and statistical research methods : from hypothesis to results /
gan: Martin, William E. (William Eugene), 1948-, et al.
Cyhoeddwyd: (2012)

Fault prophet : a fault injection tool for large scale computer systems
gan: Tchwella, Tal
Cyhoeddwyd: (2014)

Segmented space: measuring tactile localisation in body coordinates.
gan: Harrar, V, et al.
Cyhoeddwyd: (2013)

Localisation of mineralised tissue in a complex spinner flask environment correlates with predicted wall shear stress level localisation
gan: J Melke, et al.
Cyhoeddwyd: (2018-07-01)

Integrating statistical and knowledge-based methods for automatic phonemic segmentation
gan: Sun, Felice (Felice Tzu-yun), 1976-
Cyhoeddwyd: (2013)

Statistical methods for locating performance problems in multi-tier applications
gan: Stunes, Michael R
Cyhoeddwyd: (2013)

An asymptotically unbiased 3D source localisation method based on frequencies and angles measurements
gan: Chenggeng Zhao, et al.
Cyhoeddwyd: (2024-11-01)

Measuring the Data Universe : Data Integration Using Statistical Data and Metadata Exchange /
gan: Stahl, Reinhold, author 637215, et al.
Cyhoeddwyd: (2018)

Iris localisation /
gan: Lee, Hock Siong, 1988- author, et al.
Cyhoeddwyd: (2012)

Iris localisation /
gan: Lee, Hock Siong, 1988- author, et al.
Cyhoeddwyd: (2012)