• Title of article

    ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

  • Author/Authors

    Eliane Martins، نويسنده , , Selma B. Sabi?o and Ana Maria Ambrosio ، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1999
  • Pages
    18
  • From page
    303
  • To page
    320
  • Keywords
    communications protocol testing , EFSM-based testing , Logic programming
  • Journal title
    Software Quality Journal
  • Serial Year
    1999
  • Journal title
    Software Quality Journal
  • Record number

    292762