Zoekresultaten - program execution https function tests https

1

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”
Volledige tekst

Elektronisch E-boek

2

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Gepubliceerd in 2007

Inhoudsopgave: “... and Recovery -- Testing Properties of Generic Functions -- Worst-Case Execution Times for a Purely Functional...”
Volledige tekst

Elektronisch E-boek

3

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”
Volledige tekst

Elektronisch E-boek

4

A Beginner's Guide to Scala, Object Orientation and Functional Programming

door Hunt, John., Hunt, John.
Gepubliceerd in 2014

Inhoudsopgave: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Volledige tekst

Elektronisch E-boek

5

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Volledige tekst

Elektronisch E-boek

6

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
Volledige tekst

Elektronisch E-boek

7

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Volledige tekst

Elektronisch E-boek

8

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
Volledige tekst

Elektronisch E-boek

9

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Volledige tekst

Elektronisch E-boek

10

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Gepubliceerd in 2012

Inhoudsopgave: “... -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications...”
Volledige tekst

Elektronisch E-boek

11

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Gepubliceerd in 2015

Inhoudsopgave: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
Volledige tekst

Elektronisch E-boek

12

Python Programming Fundamentals

door Lee, Kent D., Lee, Kent D.
Gepubliceerd in 2014

Inhoudsopgave: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Volledige tekst

Elektronisch E-boek

13

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Gepubliceerd in 2015

Inhoudsopgave: “... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”
Volledige tekst

Elektronisch E-boek

14

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Volledige tekst

Elektronisch E-boek

15

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”
Volledige tekst

Elektronisch E-boek

16

Composing Software Components A Software-testing Perspective /

door Hamlet, Dick., Hamlet, Dick.
Gepubliceerd in 2010

Inhoudsopgave: “... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...”
Volledige tekst

Elektronisch E-boek

17

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Volledige tekst

Elektronisch E-boek

18

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Gepubliceerd in 2010

Inhoudsopgave: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
Volledige tekst

Elektronisch E-boek

19

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”
Volledige tekst

Elektronisch E-boek

20

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... with Respect to Their Composition -- An Execution-Level Component Composition Model Based on Component Testing...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken