Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

Publication date

January 2006

Publisher

University of New South Wales, Sydney, : Springer

Abstract

Contains fulltext : 36061.pdf (author's version ) (Open Access

Extracted data

Related items

Testing with Functional Reference Implementations

Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 92414.pdf (publisher's version ) (Closed access

Size Calculus for a higher-order functional language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Testing Higher Order Functions -- textscExtended Abstract

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32303.pdf (author's version ) (Open Access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2005

Contains fulltext : 32304.pdf (author's version ) (Open Access

Higher Inductive Types in Programming

Basold, H.
Geuvers, H.
Weide, N.M. van der

January 2017

Contains fulltext : 173197.pdf (publisher's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Tuple Interpretations for Higher-Order Complexity

Kop, C.
Vale, D.

January 2020

Contains fulltext : 236638.pdf (Publisher’s version ) (Open Access) ...

Test Code Quality and Its Relation to Issue Handling Performance

Athanasiou, D.
Nugroho, A.
Visser, J.
Zaidman, A.

January 2014

Contains fulltext : 130047.pdf (publisher's version ) (Closed access)30 p

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Test Generation Based on Symbolic Specifications

Frantzen, L.
Tretmans, G.J.
Willemse, T.A.C.

January 2005

Contains fulltext : 32302.pdf (publisher's version ) (Closed access

Derivation and Inference of Higher-Order Strictness Types

Smetsers, S.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 149047.pdf (author's version ) (Open Access

Einführung in die Functionsweise des PLS-Algorithmus

Betzin, J.
Henseler, J.

January 2005

Contains fulltext : 46751.pdf (publisher's version ) (Open Access

Perturbations and operator trace functions

Suijlekom, W.D. van

January 2011

Contains fulltext : 92184.pdf (postprint version ) (Open Access

A Symbolic Framework for Model-Based Testing

Frantzen, L.
Tretmans, J.
Willemse, T.A.C.

January 2006

Contains fulltext : 36155.pdf (publisher's version ) (Closed access

Testing with Functional Reference Implementations

Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 92414.pdf (publisher's version ) (Closed access

Size Calculus for a higher-order functional language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Testing Higher Order Functions -- textscExtended Abstract

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32303.pdf (author's version ) (Open Access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2005

Contains fulltext : 32304.pdf (author's version ) (Open Access

Higher Inductive Types in Programming

Basold, H.
Geuvers, H.
Weide, N.M. van der

January 2017

Contains fulltext : 173197.pdf (publisher's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Tuple Interpretations for Higher-Order Complexity

Kop, C.
Vale, D.

January 2020

Contains fulltext : 236638.pdf (Publisher’s version ) (Open Access) ...

Test Code Quality and Its Relation to Issue Handling Performance

Athanasiou, D.
Nugroho, A.
Visser, J.
Zaidman, A.

January 2014

Contains fulltext : 130047.pdf (publisher's version ) (Closed access)30 p

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Test Generation Based on Symbolic Specifications

Frantzen, L.
Tretmans, G.J.
Willemse, T.A.C.

January 2005

Contains fulltext : 32302.pdf (publisher's version ) (Closed access

Derivation and Inference of Higher-Order Strictness Types

Smetsers, S.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 149047.pdf (author's version ) (Open Access

Einführung in die Functionsweise des PLS-Algorithmus

Betzin, J.
Henseler, J.

January 2005

Contains fulltext : 46751.pdf (publisher's version ) (Open Access

Perturbations and operator trace functions

Suijlekom, W.D. van

January 2011

Contains fulltext : 92184.pdf (postprint version ) (Open Access

A Symbolic Framework for Model-Based Testing

Frantzen, L.
Tretmans, J.
Willemse, T.A.C.

January 2006

Contains fulltext : 36155.pdf (publisher's version ) (Closed access

Testing with Functional Reference Implementations

Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 92414.pdf (publisher's version ) (Closed access

Size Calculus for a higher-order functional language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access