Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
program generation » program execution
generation https » degeneration https, generation hts, generation helps
testing https » teaching https, being https, writing https
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
program generation » program execution
generation https » degeneration https, generation hts, generation helps
testing https » teaching https, being https, writing https
1
Published 2010
Table of Contents:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... -- Symbolic Testing of OpenCL Code -- Dynamic Test Data Generation for Data Intensive Applications...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Dependencies for Symbolic Model Checking -- Efficient Combinatorial Test Generation Based on Multivalued...”View full text
Electronic
eBook
13
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
14
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
16
Table of Contents:
“... for Testability — Structured Test Approaches -- System on a Chip (SoC) Test -- Test Pattern Generation and Fault...”
View full text
View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”View full text
Electronic
eBook
19
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”View full text
Electronic
eBook