1
Table of Contents: ... -- Functional Test Generation -- Future Directions -- Conclusions....
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Satisfaction Approach for Programmable Logic Detailed Placement -- Minimizing Models for Tseitin-Encoded SAT...
View full text
Electronic eBook
4
Table of Contents: ...Numerical series -- Series of functions and power series -- Fourier series -- Functions between...
View full text
Electronic eBook
5
by Hamlet, Dick., Hamlet, Dick.
Published 2010
Table of Contents: ... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...
View full text
Electronic eBook
6
... with significant sensory deficits, but have not been thoroughly tested for LBP. This study aimed to examine...
View full text
Article
7
Published 2013
Table of Contents: ... in PISA-2006 Items: An Application of the Theory of Test Translation Error: Guillermo Solano-Flores, Luis...
View full text
Electronic eBook
8
Table of Contents: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Control Systems Using Hybrid Petri Nets -- Implementation of Discrete-Event Systems in Programmable Logic...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... ASSURANCE -- ADVANCED MRI APPLICATIONS -- PHYSIOLOGICAL AND FUNCTIONAL MRI -- APPLICATIONS OF CLINICAL...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... and Functional Networks -- Synchronous motions across the instrumental climate record -- Application of random...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... -- On the Choice of the Kernel Function in Kernel Discriminant Analysis Using Information Complexity -- Growing...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
View full text
Electronic eBook