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...

書誌詳細
第一著者:	Landsberg, D
その他の著者:	Kroening, D
フォーマット:	学位論文
言語:	English
出版事項:	2016
主題:	Computer science

類似資料

Probabilistic fault localisation
著者:: Landsberg, D, 等
出版事項: (2016)

Optimising spectrum based fault localisation for single fault programs using specifications
著者:: Landsberg, D, 等
出版事項: (2018)

extendedGAN+ : improved data augmentation method for indoor localisation
著者:: Goh, Wayne Yun Bo
出版事項: (2022)

Localisation of gold ores in faults of different types
著者:: E. M. Nekrasov
出版事項: (2020-03-01)

Understanding mobility on campus using Wi-Fi localisation
著者:: Ting, Grace Yan Teng
出版事項: (2019)

Localisation of coronary artery blockages using ECG signal analysis
著者:: Yee, Adeline Wan Jing
出版事項: (2023)

Indoor navigation incorporating multiple localisation sources and pedestrian dead reckoning
著者:: Lim, Bo Zhi
出版事項: (2021)

Using double attention for text tattoo localisation
著者:: Xu, Xingpeng, 等
出版事項: (2022)

Basic of Fault Tree (FT) method
著者:: Jasrin, Nurin Saqinah, 等
出版事項: (2021)

Text localisation from natural scenes
著者:: Ng, Alphaeus Yue Jie
出版事項: (2024)

A drone-based stereo vision system for localised terrain mapping
著者:: Nguyen, Phuong Huy
出版事項: (2019)

3D laser methods for calibrating and localising robotic vehicles
著者:: Sheehan, M
出版事項: (2013)

Application of statistical methods in various disciplines
著者:: Aziz, Nazrina, 等
出版事項: (2019)

Topic detection through statistical methods
著者:: Walls, Frederick George, 1976-
出版事項: (2013)

Statistical methods in ultrasonic tissue characterization
著者:: Maas, Luis C. (Luis Carlos)
出版事項: (2007)

Localised learning based portfolio management for stock trading using intelligent fuzzy neural approach
著者:: Mok, Luen Sheng.
出版事項: (2009)

Localised and bifurcating structures in planar shear flows
著者:: Wang, Zhe
出版事項: (2020)

Propagation models for multiple-antenna systems : methodology, measurements and statistics
著者:: Herring, Keith, 1981-
出版事項: (2008)

MetaFL: Metamorphic fault localisation using weakly supervised deep learning
著者:: Lingfeng Fu, 等
出版事項: (2023-04-01)

Deep vision for indoor understanding and localisation
著者:: Howard-Jenkins, H
出版事項: (2022)

Convex optimization methods for graphs and statistical modeling
著者:: Chandrasekaran, Venkat
出版事項: (2011)

FTMPST: Fault-Tolerant Multiparty Session Types
著者:: Kirstin Peters, 等
出版事項: (2023-11-01)

Statistical methods for sports and physical education /
著者:: Verma, J. P.
出版事項: (2011)

Robust odometry and localisation in challenging environments with vision and lidar
著者:: Zhang, L
出版事項: (2024)

A novel method for asynchronous source localisation based on time of arrival measurements
著者:: Huijie Zhu, 等
出版事項: (2021-10-01)

Fault detection method based on high-level feedback and reconstruction for image recognition
著者:: Xu, Jin
出版事項: (2021)

Nonparametric statistical methods for image segmentation and shape analysis
著者:: Kim, Junmo, 1976-
出版事項: (2006)

Encyclopedia of measurement and statistics /
著者:: Salkind, Neil J., 等
出版事項: (2007)

Audio-based localisation for ubiquitous sensor networks
著者:: Dalton, Benjamin Christopher
出版事項: (2006)

A fault tolerant transportation controller
著者:: MacGregor, Scott D
出版事項: (2008)

Quantitative and statistical research methods : from hypothesis to results /
著者:: Martin, William E. (William Eugene), 1948-, 等
出版事項: (2012)

Fault prophet : a fault injection tool for large scale computer systems
著者:: Tchwella, Tal
出版事項: (2014)

Segmented space: measuring tactile localisation in body coordinates.
著者:: Harrar, V, 等
出版事項: (2013)

Localisation of mineralised tissue in a complex spinner flask environment correlates with predicted wall shear stress level localisation
著者:: J Melke, 等
出版事項: (2018-07-01)

Integrating statistical and knowledge-based methods for automatic phonemic segmentation
著者:: Sun, Felice (Felice Tzu-yun), 1976-
出版事項: (2013)

Statistical methods for locating performance problems in multi-tier applications
著者:: Stunes, Michael R
出版事項: (2013)

An asymptotically unbiased 3D source localisation method based on frequencies and angles measurements
著者:: Chenggeng Zhao, 等
出版事項: (2024-11-01)

Measuring the Data Universe : Data Integration Using Statistical Data and Metadata Exchange /
著者:: Stahl, Reinhold, author 637215, 等
出版事項: (2018)

Iris localisation /
著者:: Lee, Hock Siong, 1988- author, 等
出版事項: (2012)

Iris localisation /
著者:: Lee, Hock Siong, 1988- author, 等
出版事項: (2012)