GAST: Generic Automated Software Testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2670, Issue , 2003, Pages 84-100

  Koopman, Pieter ^a   Alimarine, Artem ^a   Tretmans, Jan ^a   Plasmeijer, Rinus ^a  

^a Nijmegen Institute for Computer and Information Science   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; QUALITY CONTROL;

AUTOMATED SOFTWARE TESTING; AUTOMATIC TEST TOOL; CONTROL QUALITY; FIRST ORDER LOGIC; FORMAL PROPERTIES; GENERIC PROGRAMMING; LABOR INTENSIVE; TEST SOFTWARES;

SOFTWARE TESTING;

EID: 21144450432     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44854-3_6     Document Type: Article

References (24)

1. A. Alimarine and R. Plasmeijer A Generic Programming Extension for Clean. IFL2001, LNCS 2312, pp.168-185, 2001.
2. G. Bernot, M.C. Gaudel, B.Marre: Software Testing based on Formal Specifications: a theory and a tool, Software Engineering Journal, 6(6), pp 287-405, 1991.
3. ∼rjmh/QuickCheck.
4. K. Claessen, J. Hughes. Testing Monadic Code with QuickCheck, Haskell Workshop, 2002.
5. M. van Eekelen, M. de Mol: Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics, Draft proceedings IFL2002, Report 127-02, Computer Science, Universidad Complutense de Madrid, pp 357-373, 2002.
6. R. Hinze and J. Jeuring. Generic Haskell: Practice and Theory, Summer School on Generic Programming, 2002.
7. R. Hinze, and S. Peyton Jones Derivable Type Classes, Proceedings of the Fourth Haskell Workshop, Montreal Canada, 2000.
8. Hinze, R. Polytypic values possess polykinded types, Fifth International Conference on Mathematics of Program Construction, LNCS 1837, pp 2-27, 2000.
9. HUnit home page: hunit.sourceforge.net
10. S. Peyton Jones, J. Hughes: Report on the programming language Haskell 98 - A Non-strict, Purely Functional Language, 2002 www.haskell.org/onlinereport.
11. JUint home page: junit.sourceforge.net
12. M. de Mol, M. van Eekelen, R. Plasmeijer. Theorem Proving for Functional Programmers, , LNCS 2312, pp 55-72, 2001. See also www.cs.kun.nl/Sparkle.
13. Graeme E. Moss and Colin Runciman. Inductive benchmarking for purely functional data structures, Journal of Functional Programming, 11(5): pp 525-556, 2001. Auburn home page: www.cs.york.ac.uk/fp/auburn
14. ∼clean.
15. Maurice Siteur: Testing with tools-Sleep while you are working. See also www.siteur.myweb.nl.
16. J. Tretmans, K. Wijbrans, M. Chaudron: Software Engineering with Formal Methods: The development of a storm surge barrier control system-revisiting seven myths of formal methods, Formal Methods in System Design, 19(2), 195-215, 2001.
17. D. Lee, and M. Yannakakis, M Principles and Methods for Testing Finite State Machines- A Survey, The Proceedings of the IEEE, 84(8), pp 1090-1123, 1996.
18. L. Feijs, F. Meijs, J. Moonen, J. Wamel Conformance Testing of a Multimedia System Using PHACT in Workshop on Testing of Communicating Systems 11 pp 193-210, 1998.
19. th Summer School MOVEP 2000 LNCS 2067, pp 186-195, 2001.
20. J. Fernandez, C. Jard, T. Jeron, C. Viho Using On-the-Fly Verification Techniques for the generation of test suites, LNCS 1102, 1996.
21. th SDL Forum, pp 135-152, 1999.
22. J. He, K. Turner Protocol-Inspired Hardware Testing, in Int. Workshop on Testing of Communicating Systems 12 pp 131-147, 1999.
23. A. Belinfante, J. Feenstra, R. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, L. Heerink Formal Test Automation: A Simple Experiment, in Int. Workshop on Testing of Communicating Systems 12 pp 179-196, 1999.
24. rd Workshop on Embedded Systems, pp 246-255, 2002.