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)