• DocumentCode
    2775439
  • Title

    System validation through automated requirements verification

  • Author

    Huebner, Doug L.

  • Author_Institution
    GTE Automatic Electric Laboratories
  • fYear
    1979
  • fDate
    1979
  • Firstpage
    222
  • Lastpage
    227
  • Keywords
    Automatic testing; Error correction; Hardware; Humans; Laboratories; Software testing; Software tools; Switching systems; System testing; Telephony;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International
  • Type

    conf

  • DOI
    10.1109/CMPSAC.1979.762495
  • Filename
    762495