Differential testing - PDFSEARCH.IO - Document Search Engine

Differential testing
Results: 99

#	Item
1	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:43 Software testing Software engineering Computing Quality Fault injection Software verification Reliability engineering Formal verification Flash memory Software quality Stress testing Exception handling
2	MathQuest: Differential Equations Testing Solutions to Linear Systems 1. We want to test the solution x1 = −e−2t and x2 = e−2t in the system x′1 = x1 + 3x2 x′2 = 3x1 + x2 What equations result from substituting Add to Reading List Source URL: mathquest.carroll.edu Language: English - Date: 2016-05-31 15:47:54
3	Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar Add to Reading List Source URL: srg.doc.ic.ac.uk - Date: 2017-10-24 05:39:23
4	Supplement to "Testing for Regime Switching: A Comment" Add to Reading List Source URL: econ.ucsb.edu Language: English - Date: 2012-07-06 19:00:41 Algebra Distribution Number theory Differential topology Symbol Table of stars with Bayer designations
5	Equivalence of item difficulties across national versions of the PIRLS and PISA reading assessments Aletta Grisay University of Liège, Belgium Add to Reading List Source URL: ierinstitute.org Language: English - Date: 2012-01-04 07:01:18 Education Educational research Psychometrics Reading Organisation for Economic Co-operation and Development Psychological testing Progress in International Reading Literacy Study Programme for International Student Assessment International Association for the Evaluation of Educational Achievement Differential item functioning Standardized test Item response theory
6	CHAPTER 8 Specifying the Characteristics of a Test 152 Add to Reading List Source URL: echo.edres.org Language: English - Date: 2003-02-12 10:19:52 Psychometrics Statistics Education Psychology Item response theory Rasch model Item bank Classical test theory Equating Statistical hypothesis testing Differential item functioning Computerized classification test
7	CAUTION: This is an exam from a different semester. The subject matter was comparable, but the text, the audience, the instructor, and the testing environment may have been different from what you will face. Please remem Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2000-09-29 19:49:49 Logarithms Functions and mappings Mathematical analysis Differential calculus E Natural logarithm Derivative Integral Lambert W function Exponential family
8	10742_2009_52_Article 1..17 Add to Reading List Source URL: www.glicko.net Language: English - Date: 2009-12-24 15:06:36 Psychometrics Statistical models Bayesian statistics Differential item functioning Educational research Psychological testing Item response theory Bayesian network Bayesian inference Prior probability Markov chain Monte Carlo Logistic regression
9	William M. McKeeman Differential Testing for Software Differential testing, a form of random testing, Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2010-11-09 13:57:25
10	NeuroImage–2361 Contents lists available at SciVerse ScienceDirect NeuroImage journal homepage: www.elsevier.com/locate/ynimg Add to Reading List Source URL: www.brainmap.org Language: English - Date: 2012-11-26 14:50:14 Statistics Hypothesis testing Statistical theory Statistical inference Neuroimaging Knowledge Psychometrics Design of experiments Functional magnetic resonance imaging Signed differential mapping Multiple comparisons problem Statistical hypothesis testing