Formal Methods for Conformance Testing: Theory Can Be Practical!

Hendrik Brinksma, N. Halbwachs (Editor), D. Peled (Editor)

    Research output: Contribution to conferencePaperpeer-review

    3 Downloads (Pure)


    Although testing is the most widely used technique to control the quality of software systems, it is a topic that, until relatively recently, has received scant attention from the computer research community. Although some pioneering work was already done a considerable time ago [Cho78,GG83,How78,Mye79], the testing of software systems has never become a mainstream activity of scientific research. The reasons that are given to explain this situation usually include arguments to the effect that testing as a technique is inferior to verification -testing can show only the presence of errors, not their absence - and that we should therefore concentrate on developing theory and tools for the latter. It has also been frequently said that testing is by its very nature a non-formal activity, where formal methods and related tools are at best of little use.
    Original languageUndefined
    Number of pages3
    Publication statusPublished - Jul 1999
    Event11th International Conference on Computer Aided Verification, CAV 1999 - Trento, Italy
    Duration: 6 Jul 199910 Jul 1999
    Conference number: 11


    Conference11th International Conference on Computer Aided Verification, CAV 1999
    Abbreviated titleCAV


    • IR-63320
    • EWI-6514

    Cite this