VISWAS and on diagnosability with IEEE Std P1522 and UML2.0 testing profile

Sitalakshmi Ramakrishnan

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

    Original languageEnglish
    Title of host publicationProceedings of the Third International Workshop on Formal Approaches to Testing of Software (FATES 2003)
    EditorsAlexandre Petrenko, Andreas Ulrich
    Place of PublicationNY USA
    PublisherSpringer-Verlag London Ltd.
    Pages236 - 251
    Number of pages16
    Volume2931
    ISBN (Print)0302-9743
    Publication statusPublished - 2004
    EventInternational Workshop on Formal Approaches to Testing of Software (FATES 2003) - Montreal , Canada
    Duration: 6 Oct 20036 Oct 2003
    Conference number: 3rd
    https://link.springer.com/book/10.1007/b95400

    Workshop

    WorkshopInternational Workshop on Formal Approaches to Testing of Software (FATES 2003)
    Abbreviated titleFATES 2003
    CountryCanada
    CityMontreal
    Period6/10/036/10/03
    OtherFATES: International Workshop on Formal Approaches to Software Testing
    Formal Approaches to Software Testing
    Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers
    Editors (view affiliations)
    Alexandre PetrenkoAndreas Ulrich
    Conference proceedings
    FATES 2003
    Part of the Lecture Notes in Computer Science book series (LNCS, volume 2931)
    Internet address

    Cite this