Suggested Topics within your search.
Search alternatives:
programming application » programming applications, programming optimization, processing application
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
application https » applications https, complications https, animation https
testing https » teaching https, being https, writing https
1
Cover Image
Published 2007
Table of Contents: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2012
Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2008
Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2011
Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2010
Table of Contents: “... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2010
Table of Contents: “... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2013
Table of Contents: “... for MaxSAT Solving -- Encodings and Applications -- Experiments with Reduction Finding -- A Constraint...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Published 2013
Table of Contents: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2014
Table of Contents: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2007
Table of Contents: “... Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2015
Table of Contents: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2012
Table of Contents: “... -- Symbolic Testing of OpenCL Code -- Dynamic Test Data Generation for Data Intensive Applications...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2005
Table of Contents: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
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
Save to List
Saved in:
15
Cover Image
Published 2014
Table of Contents: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2008
Table of Contents: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2014
Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2015
Table of Contents: “...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2015
Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2008
Table of Contents: “... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search