• DocumentCode
    2744239
  • Title

    [Title page i]

  • fYear
    2010
  • fDate
    22-27 Aug. 2010
  • Abstract
    The following topics are dealt with: software verification; software validation; debugging and testing techniques.
  • Keywords
    program debugging; program testing; program verification; debugging; software validation; software verification; testing techniques;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Advances in System Testing and Validation Lifecycle (VALID), 2010 Second International Conference on
  • Conference_Location
    Nice
  • Print_ISBN
    978-1-4244-7784-5
  • Type

    conf

  • DOI
    10.1109/VALID.2010.1
  • Filename
    5614876
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2744239