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 execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
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 execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
testing https » teaching https, being https, writing https
1
Published 2010
Table of Contents:
“... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”View full text
Electronic
eBook
2
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
3
Published 2008
Table of Contents:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”View full text
Electronic
eBook
4
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”View full text
Electronic
eBook
7
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
8
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications...”View full text
Electronic
eBook
11
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”View full text
Electronic
eBook
12
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
13
Table of Contents:
“... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...”
View full text
View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... with Respect to Their Composition -- An Execution-Level Component Composition Model Based on Component Testing...”View full text
Electronic
eBook