Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program communications » program communicating, programs communicating, proposal communications
functionality testing » functionality setting, functional testing, functionality using
communications https » communication https, communications _, communications a
https functionality » its functionality, bags functionality, cross functionality
testing https » teaching https, being https, writing https
program communications » program communicating, programs communicating, proposal communications
functionality testing » functionality setting, functional testing, functionality using
communications https » communication https, communications _, communications a
https functionality » its functionality, bags functionality, cross functionality
testing https » teaching https, being https, writing https
1
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”View full text
Electronic
eBook
6
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
7
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
9
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
10
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”View full text
Electronic
eBook
16
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
17
Table of Contents:
“... 5: Testing out the User's Model -- Chapter 6: The Theoretical Model of Composing -- Chapter 7...”
View full text
View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Based Envelope Protocols -- Defining and Measuring Policy Coverage in Testing Access Control Policies...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Test Cases Minimization for Object Oriented Programs....”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Filtering Optimization Using Statistical Traffic Awareness Test -- Group Behavior Metrics for P2P Botnet...”View full text
Electronic
eBook