Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program testing » programs testing, progeny testing, program trading
testing https » teaching https, being https, writing https
based https » based http
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program testing » programs testing, progeny testing, program trading
testing https » teaching https, being https, writing https
based https » based http
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Table of Contents:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text
View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Test Automation with TTCN-3 - State of the Art and a Future Perspective -- A Model-Based Approach...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case...”View full text
Electronic
eBook
16
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
17
Published 2014
Table of Contents:
“... Dependencies for Symbolic Model Checking -- Efficient Combinatorial Test Generation Based on Multivalued...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”View full text
Electronic
eBook