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
programs time » programs timber, programs t.e, programs type
testing https » teaching https, being https, writing https
time https » crime https
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
programs time » programs timber, programs t.e, programs type
testing https » teaching https, being https, writing https
time https » crime 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 2008
Table of Contents:
“... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems...”View full text
Electronic
eBook
5
Table of Contents:
“...Drug Screening with New Perspectives -- Real-Time Monitoring of Living Cells by a Novel Online...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... and Recovery -- Testing Properties of Generic Functions -- Worst-Case Execution Times for a Purely Functional...”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 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”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:
“... Scenario Quality Using Quasi-Events -- Combined Bounded and Symbolic Model Checking for Incomplete Timed...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook