Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
functional testing » function testing, educational testing, functional imaging
programs practice » programs practices, program practice, programs practical
https functional » cots functional, cuts functional, dots functional
practice https » practice has, practice hot, pragmatics https
testing https » teaching https, being https, writing https
functional testing » function testing, educational testing, functional imaging
programs practice » programs practices, program practice, programs practical
https functional » cots functional, cuts functional, dots functional
practice https » practice has, practice hot, pragmatics https
testing https » teaching https, being https, writing https
1
Pubblicazione 2008
Sommario:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Testo
Elettronico
eBook
2
Sommario:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Testo
Testo
Elettronico
eBook
3
Pubblicazione 2010
Sommario:
“... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”Testo
Elettronico
eBook
5
Pubblicazione 2010
Sommario:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Testo
Elettronico
eBook
6
Sommario:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Testo
Testo
Elettronico
eBook
7
Pubblicazione 2012
Sommario:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Testo
Elettronico
eBook
8
Pubblicazione 2012
Sommario:
“... Simultaneous Satisfiability and Applications -- Liveness vs Safety – A Practical Viewpoint -- Predicting...”Testo
Elettronico
eBook
9
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Pubblicazione 2010
Sommario:
“... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...”Testo
Elettronico
eBook
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Pubblicazione 2015
Sommario:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”Testo
Elettronico
eBook
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Pubblicazione 2007
Sommario:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Testo
Elettronico
eBook
12
Sommario:
“...: Defining Your Own -- Practical: Building a Unit Test Framework -- Numbers, Characters, and Strings...”
Testo
Testo
Elettronico
eBook
13
Pubblicazione 2008
Sommario:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Testo
Elettronico
eBook
14
Pubblicazione 2006
Sommario:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”Testo
Elettronico
eBook
15
Pubblicazione 2005
Sommario:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testo
Elettronico
eBook
16
Sommario:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Testo
Testo
Elettronico
eBook
17
Sommario:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Testo
Testo
Elettronico
eBook
18
Pubblicazione 2005
Sommario:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”Testo
Elettronico
eBook
19
Sommario:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
Testo
Testo
Elettronico
eBook
20
Pubblicazione 2006
Sommario:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Testo
Elettronico
eBook



