Testing with Functions as Specifications

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

Testing reactive systems with GAST

Contains fulltext : 60573.pdf (author's version ) (Open Access)Gast is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to evaluate the results of these tests. Many reactive systems, like automata and protocols, however, are specified by a model rather than in logic. There exist tools that are able to test software described by such a model based specification, but these tools have limited capabilities to generate test data involving data types. Moreover, in these tools it is hard or even impossible state properties of these values in logic. In this paper we introduce some extensions of \Gast\ to combine the best of logic and model based testing. The integration of model based testing and testing based on logical properties in a single automatical system is the contribution of this paper. The system consists just of a small library instead of a huge stand alone system.TFP 2003: Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 200

Functional semantics

Item does not contain fulltex

Layered Combinator Parsers with a Unique State

Contains fulltext : 207908.pdf (preprint version ) (Open Access

Testing Higher Order Functions -- textscExtended Abstract

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

Generic Generation of Elements of Types

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

Functional programs as executable specifications

Contains fulltext : mmubn000001_114677735.pdf (publisher's version ) (Open Access)Promotores : H. Barendregt en M. Plasmeijer208 p

Validating Specifications for Model-Based Testing

Contains fulltext : 66905.pdf (preprint version ) (Open Access)14 juli 200

Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08)

Contains fulltext : 72204.pdf (publisher's version ) (Open Access)244 p

Model-Based Testing of Thin-Client Web Applications

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