Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
function test » function tests
test https » net https, east https
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
function test » function tests
test https » net https, east https
1
Publicat 2010
Taula de continguts:
“... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... and Recovery -- Testing Properties of Generic Functions -- Worst-Case Execution Times for a Purely Functional...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
10
Publicat 2012
Taula de continguts:
“... -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications...”Obtenir text complet
Electrònic
eBook
11
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
13
Publicat 2015
Taula de continguts:
“... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”Obtenir text complet
Electrònic
eBook
16
Taula de continguts:
“... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”Obtenir text complet
Electrònic
eBook
20
Publicat 2007
Taula de continguts:
“... with Respect to Their Composition -- An Execution-Level Component Composition Model Based on Component Testing...”Obtenir text complet
Electrònic
eBook