Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
functional testing » function testing, educational testing, functional imaging
https functional » cots functional, cuts functional, dots functional
testing https » teaching https, being https, writing https
functional testing » function testing, educational testing, functional imaging
https functional » cots functional, cuts functional, dots functional
testing https » teaching https, being https, writing https
1
di Aumasson, Jean-Philippe., Aumasson, Jean-Philippe., Meier, Willi., Phan, Raphael C.-W., Henzen, Luca.
Pubblicazione 2014
Sommario:
“.... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....”Pubblicazione 2014
Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...”Testo
Elettronico
eBook
3
Pubblicazione 2005
Sommario:
“...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”Testo
Elettronico
eBook
5
Pubblicazione 2014
Sommario:
“.... Assessment of Executive Functioning with the Test of Verbal Conceptualization and Fluency (TVCF) -- Chapter...”Testo
Elettronico
eBook
6
Pubblicazione 2010
Sommario:
“... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”Testo
Elettronico
eBook
7
Pubblicazione 2010
Sommario:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”Testo
Elettronico
eBook
8
Pubblicazione 2006
Sommario:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Testo
Elettronico
eBook
9
Pubblicazione 2010
Sommario:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Testo
Elettronico
eBook
10
Pubblicazione 2013
Sommario:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”Testo
Elettronico
eBook
11
Sommario:
“... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...”
Testo
Testo
Elettronico
eBook
12
Pubblicazione 2006
Sommario:
“... 3. Applications -- Applications of SAT Solvers to Cryptanalysis of Hash Functions -- Functional...”Testo
Elettronico
eBook
13
Pubblicazione 2015
Sommario:
“... Diverse Redundant Detectors -- Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey...”Testo
Elettronico
eBook
14
Pubblicazione 2007
Sommario:
“...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...”Testo
Elettronico
eBook
15
Sommario:
“...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...”
Testo
Testo
Elettronico
eBook
16
Sommario:
“...Introduction -- Problem Solving: Practical Examples and Additional Properties -- The Problem...”
Testo
Testo
Elettronico
eBook
17
Pubblicazione 2008
Sommario:
“... and their research potential for ecosystem studies -- Testing the role of insects for ecosystem functioning....”Testo
Elettronico
eBook
18
Pubblicazione 2010
Sommario:
“... Genetic Algorithm Based Test Case Generation Using Sequence Diagrams -- LACAIS: Learning Automata Based...”Testo
Elettronico
eBook
19
Pubblicazione 2007
Sommario:
“... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...”Testo
Elettronico
eBook
20
Sommario:
“...Independent functional observations -- The functional linear model -- Dependent functional data...”
Testo
Testo
Elettronico
eBook