• Title of article

    A test case generation approach for conformance testing of SDL systems

  • Author/Authors

    C. Bourhfir، نويسنده , , E. Aboulhamid، نويسنده , , R. Dssouli، نويسنده , , N. Rico، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2001
  • Pages
    15
  • From page
    319
  • To page
    333
  • Keywords
    Communicating extended finite state machine (CEFSM) , Testing in context , Embedded testing , Partial product , Reachability analysis , Control and data flow testing , Executability
  • Journal title
    Computer Communications
  • Serial Year
    2001
  • Journal title
    Computer Communications
  • Record number

    309307