Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality test » functionality testing, functionality boost, functional test
program practice » programs practices
practice https » practice has, practice hot, pragmatics https
test https » net https, east https
https functionality » its functionality, bags functionality, cross functionality
functionality test » functionality testing, functionality boost, functional test
program practice » programs practices
practice https » practice has, practice hot, pragmatics https
test https » net https, east https
1
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
2
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
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 2010
Table of Contents:
“...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
7
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Simultaneous Satisfiability and Applications -- Liveness vs Safety – A Practical Viewpoint -- Predicting...”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
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
11
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
12
Table of Contents:
“...: Defining Your Own -- Practical: Building a Unit Test Framework -- Numbers, Characters, and Strings...”
View full text
View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
16
Table of Contents:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
19
Table of Contents:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
View full text
View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook