Automatic conformance testing of internet applications

H.M.A. Beek, van, S. Mauw

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)


We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of thin client Internet applications. That is, we automatically test whether a running Internet application conforms to its formal specification. The actual implementation of the application is not taken into account, only its externally observable behaviour. In this paper, we show how to formally model this behaviour and how such formal specifications can serve as a basis for the automatic conformance testing of Internet applications.
Original languageEnglish
Title of host publicationFormal Approaches to Software Testing (Proceedings Third International Workshop, FATES 2003, Montreal, Quebec, Canada, October 6, 2003)
EditorsA. Petrenko, A. Ulrich
Place of PublicationBerlin
ISBN (Print)3-540-20894-1
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Automatic conformance testing of internet applications'. Together they form a unique fingerprint.

Cite this