• DocumentCode
    3777773
  • Title

    Experimental evaluation of FSM-based test derivation strategy for telecommunication protocols

  • Author

    M. Forostyanova

  • Author_Institution
    Tomsk State University, Tomsk, Russia
  • fYear
    2015
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    The paper presents the experimental results on the fault coverage evaluation of tests for Time and POP3 protocols, which are derived using finite-state-machine methods. MuJava tool is used for the generation of faulty mutants of software protocol implementations.
  • Keywords
    "Protocols","Automata","Java","Software","Testing","Computers"
  • Publisher
    ieee
  • Conference_Titel
    East-West Design & Test Symposium (EWDTS), 2015 IEEE
  • Type

    conf

  • DOI
    10.1109/EWDTS.2015.7493113
  • Filename
    7493113