Verification of Semantic Web Service Annotations Using Ontology-Based Partitioning

Khalid Belhajjame, Suzanne M Embury, Norman W Paton

    Research output: Contribution to journalArticlepeer-review

    Original languageEnglish
    Article number6419692
    Pages (from-to)515-528
    Number of pages14
    JournalIEEE Transactions on Services Computing
    Issue number3
    Early online date24 Jan 2013
    Publication statusPublished - 2014


    • model-based test generation
    • semantic annotations
    • Semantic web services
    • specification-based testing
    • test adequacy

    Cite this