Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
testing state » resting state, testing static, testing sat
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
testing state » resting state, testing static, testing sat
1
Published 2014
Table of Contents:
“...Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- Generating Checking Sequences for Partial Reduced Finite State Machines -- Testing Systems Specified...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... tests -- References -- 2. Binder Testing, by Sybilski et al: Bituminous binder fatigue testing: State...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Development -- Enhanced Histopathology Evaluation of Lymphoid Organs -- Immunotoxicity Testing in Nonhuman...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Defect-Orinted Testing -- Failure Mechanisms and Testing in Nanometer Technologies -- Silicon Debug...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... the Verification Flow -- Model-Driven Development with the jABC -- Detecting Design Flaws in UML State Charts...”View full text
Electronic
eBook
7
Table of Contents:
“... Components and Component-based Development -- CBSD in Practice and Theory -- Software Testing: Practice...”
View full text
View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Testing -- Conventional and Molecular Cytogenetics in Cancer -- Comparative Genomic Hybridization...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Testing of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing...”View full text
Electronic
eBook
10
Table of Contents:
“... of Dual X-ray Energy Computed Tomography (2X-CT), by T. Fuchs, P. Keßling, M. Firsching, F. Nachtrab, G...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“...Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...”View full text
Electronic
eBook
13
by Žel, Jana., Žel, Jana., Milavec, Mojca., Morisset, Dany., Plan, Damien., Van den Eede, Guy., Gruden, Kristina.
Published 2012
Subjects:
“...Food Science. https://scigraph.springernature.com/ontologies/product-market-codes/C15001...”Published 2012
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Modeling Permanent Faults -- Test Generation: A Symbolic Approach -- Test Generation: A Heuristic...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...-User Development Framework -- End-User Development of Information Visualization -- Resolving Data...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Agile Interaction Design and Test-Driven Development of User Interfaces – A Literature Review...”View full text
Electronic
eBook
17
Published 2015
Subjects:
“...Assessment, Testing and Evaluation. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Scientific Relevance in Carcinogenicity Testing -- The Evolution, Scientific Reasoning and Use of ICH S2...”View full text
Electronic
eBook
19
Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group...
Published 2008
Table of Contents:
“... to Existing Test Suites -- Overview on Trust in Large FLOSS Communities -- PMLite: An Open Source Solution...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Complexity of Regular Languages -- General Algorithms for Testing the Ambiguity of Finite Automata...”View full text
Electronic
eBook