Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality testing » functionality setting, functional testing, functionality using
problem computation » problems computation, problem computational, problems computational
https functionality » its functionality, bags functionality, cross functionality
computation https » computing https
testing https » teaching https, being https, writing https
functionality testing » functionality setting, functional testing, functionality using
problem computation » problems computation, problem computational, problems computational
https functionality » its functionality, bags functionality, cross functionality
computation https » computing https
testing https » teaching https, being https, writing https
1
by Aumasson, Jean-Philippe., Aumasson, Jean-Philippe., Meier, Willi., Phan, Raphael C.-W., Henzen, Luca.
Published 2014
Table of Contents:
“.... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....”Published 2014
View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...”View full text
Electronic
eBook
3
Table of Contents:
“...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...”
View full text
View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“.... Assessment of Executive Functioning with the Test of Verbal Conceptualization and Fluency (TVCF) -- Chapter...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... 3. Applications -- Applications of SAT Solvers to Cryptanalysis of Hash Functions -- Functional...”View full text
Electronic
eBook
15
Table of Contents:
“... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...”
View full text
View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Diverse Redundant Detectors -- Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Genetic Algorithm Based Test Case Generation Using Sequence Diagrams -- LACAIS: Learning Automata Based...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...”View full text
Electronic
eBook
19
Table of Contents:
“... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...”
View full text
View full text
Electronic
eBook
20
Table of Contents:
“...Introduction -- Problem Solving: Practical Examples and Additional Properties -- The Problem...”
View full text
View full text
Electronic
eBook