410,778 Hits in 2.8 sec

Methods of statistical tests independence verification

Liudmyla Kovalchuk, Nataliia Kuchynska
2017 Collection Information technology and security  
The statistical tests choice and the suite creation is a complex - функція стандартного нормального розподілу.  ...  At the moment there are several statistical test suites, among which the most widely used is NIST statistical randomness test suite.  ...  Thus, one of the main question of tests suite construction and the statistical tests using is statistical independence of tests from this suite.  ... 
doi:10.20535/2411-1031.2017.5.2.136941 fatcat:cnttanjkjbf77kuypeayrroaou

Variation-aware performance verification using at-speed structural test and statistical timing

Vikram Iyengar, Jinjun Xiong, Subbayyan Venkatesan, Vladimir Zolotov, David Lackey, Peter Ha, Chandu Visweswariah
2007 Computer-Aided Design (ICCAD), IEEE International Conference on  
In this paper, we present a novel variation-aware method based on statistical timing to select critical paths for structural test.  ...  To address this, at speed test has been employed to detect subtle delay failures in manufacturing.  ...  ACKNOWLEDGEMENTS We thank Gary Grise, Pam Gillis, Jose Martinez and Frank Woytowich for help with the integrated performance verification methodology.  ... 
doi:10.1109/iccad.2007.4397299 dblp:conf/iccad/IyengarXVZLHV07 fatcat:zfquvmeeofbcjnhbjewe7b2hey

A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing

Simon Poulding, John A. Clark, Hélène Waeselynck
2011 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops  
statistical testing.  ...  Statistical testing generates test inputs by sampling from a probability distribution that is carefully chosen so that the inputs exercise all parts of the software being tested.  ...  ACKNOWLEDGMENT This work is funded in part by the Engineering and Physical Sciences Research Council grant EP/D050618/1, SEBASE: Software Engineering by Automated SEarch.  ... 
doi:10.1109/icstw.2011.36 dblp:conf/icst/PouldingCW11 fatcat:njdrqhdvqrg7bf4iut6zgm3ub4

Verification bias-corrected estimators of the relative true and false positive rates of two binary screening tests

Todd A. Alonzo
2005 Statistics in Medicine  
The relative accuracy of two binary screening tests can be quantiÿed by estimating the relative true positive rate (rTPR) and relative false positive rate (rFPR) between the two tests.  ...  screening tests.  ...  [1] and a referee for helpful comments and suggestions. This research is partially funded by NIH R01 GM54438.  ... 
doi:10.1002/sim.1959 pmid:15543634 fatcat:mnqsnkavk5ecjboukmi4d3hb7a

When to stop verification?: Statistical trade-off between expected loss and simulation cost

S K Jha, C J Langmead, S Mohalik, S Ramesh
2011 2011 Design, Automation & Test in Europe  
We seek to quantify the trade-off between the budget for testing and the potential financial loss from an incorrect design.  ...  In this paper, we suggest an algorithm that minimizes the overall cost of producing an embedded system including the cost of testing the embedded system and expected losses from an incompletely tested  ...  CONCLUSION AND FUTURE WORK Statistical Verification based on Bayesian analysis reduces the overall cost of testing a system and the expected loss from system failure [7] .  ... 
doi:10.1109/date.2011.5763210 dblp:conf/date/JhaLMR11 fatcat:5pajjetldbbhdags4mic7tjk5q

A Bayesian approach to simultaneously adjusting for verification and reference standard bias in diagnostic test studies

Ying Lu, Nandini Dendukuri, Ian Schiller, Lawrence Joseph
2010 Statistics in Medicine  
Our models consider two types of verification bias, first when subjects are selected for verification based on initial test results alone, and then when selection is based on initial test results and a  ...  and the reference test.  ...  Statist. Med. 2010, 29 2532--2543  ... 
doi:10.1002/sim.4018 pmid:20799249 fatcat:sq67s7jhgrhgtk3xex6cbsuaoq

Nonparametric verification bias-corrected inference for the area under the ROC curve of a continuous-scale diagnostic test

Gianfranco Adimari, Monica Chiogna
2017 Statistics and its Interface  
In some studies, verification of the true disease status is performed only for a subset of subjects, selected possibly on the basis of the test result and of other characteristics of the subjects.  ...  Some methods have been proposed to correct verification bias, but they require parametric models for the (conditional) probability of disease and/or the (conditional) probability of verification.  ...  ACKNOWLEDGEMENTS The authors wish to thank National Alzheimer's Coordinating Center (NACC) for providing the data for analysis and the Referees for their helpful comments on an earlier version of the paper  ... 
doi:10.4310/sii.2017.v10.n4.a8 fatcat:yl72k5rruvbkvibmjtfg5hp2z4


O. M. Velychko, Odesa State Academy of Technical Regulation and Quality, L. V. Kolomiets, T. B. Gordiyenko, Odesa State Academy of Technical Regulation and Quality, Odesa State Academy of Technical Regulation and Quality
2013 Key title Zbìrnik naukovih pracʹ Odesʹkoï deržavnoï akademìï tehnìčnogo regulûvannâ ta âkostì  
doi:10.32684/2412-5288-2013-1-2-14-21 fatcat:upo3cqpw4jaevexuujecwatnu4

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Fouad Ben Nasr Omri
This thesis developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical.  ...  The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.  ...  Verification-Based Reliability Assessment: Traditionally, formal verification techniques and statistical testing were studied in separate research communities.  ... 
doi:10.5445/ir/1000050941 fatcat:j6slbztpmzapxpuue2rq2wkzii

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Fouad Ben Nasr Omri
This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical.  ...  The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.  ...  Combining Statistical Testing with Formal Verification [28] presents a transformational approach for the assessment of software reliability.  ... 
doi:10.5445/ksp/1000051517 fatcat:rswpm3dd7fhitoccmepqv5if6m

Statistical timing analysis using bounds [IC verification]

A. Agarwal, D. Blaauw, V. Zolotov, S. Vrudhula
2003 Design, Automation and Test in Europe Conference and Exhibition  
Since we provide both a lower and upper bound on the true statistical delay, we can determine the quality of the bounds. The proposed methods were implemented and tested on benchmark circuits.  ...  First, we provide a formal definition of the statistical delay of a circuit and derive a statistical timing analysis method from this definition.  ...  Acknowledgements This research was supported by SRC contract 2001-HJ-959 and NSF grant CCR-0205227.  ... 
doi:10.1109/date.2003.1253588 fatcat:3ls3k62elvfl7h5yimwm3uq3wi

High quality behavioral verification using statistical stopping criteria

A. Hajjar, T. Chen, I. Munn, A. Andrews, M. Bjorkman
Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001  
The results in terms of coverage and verification time were shown to consistantly outperform existing stopping rules.  ...  In order to improve the efficiency of behavioral model verification, it is important to determine the points of deminishing return for a given verification strategy.  ...  This paper proposes a statistical stopping rule for behavioral model verification based on the new statistical behavior presented in [25] .  ... 
doi:10.1109/date.2001.915057 dblp:conf/date/HajjarCMAB01 fatcat:e5xxklyjsfgtjhx2lehag4ji4y

Improved verification for aerospace systems

Mark A. Powell
2009 2009 IEEE Aerospace conference  
This report investigates the improvements in verification planning and requirements validation made possible by using conditional approaches vice classical statistical procedures.  ...  and more reasonable verification plans.  ...  Table 3 illustrates that improvements in test numbers result from verification planning using conditional approaches over using classical statistical procedures in numbers of tests required and probability  ... 
doi:10.1109/aero.2009.4839732 fatcat:hwz5objysff6fbcxhaewtmcv7i

Verification bias

Jack W O'Sullivan, Amitava Banerjee, Carl Heneghan, Annette Pluddemann
2018 BMJ evidence-based medicine  
For correction of verification bias, statistical approaches attempt to reclassify patients who tested negative into the FN category (to account for the number of FNs missed due to verification bias).  ...  There are two types of verification bias: partial verification bias, where only some patients receive the reference standard test, with the other patients not receiving any reference standard test; and  ... 
doi:10.1136/bmjebm-2018-110919 pmid:29595130 fatcat:uwb3ikix6jho7d6aaurkg7oyva

Page 1148 of Journal of Climate Vol. 12, Issue 4 [page]

1999 Journal of Climate  
The decreasing trend in these test statistics follows exactly the expected level of rigor of the regression model cal- ibration and validation tests.  ...  ., a simple r > 0.32) is statistically significant using a one-tailed test and a = 0.05. The RE and CE maps reveal more clearly some weak areas in the reconstruction grid.  ... 
« Previous Showing results 1 — 15 out of 410,778 results