• DocumentCode
    2515897
  • Title

    Testing: Academic and Industrial Conference - Practice And Research Techniques - Title

  • fYear
    2006
  • fDate
    29-31 Aug. 2006
  • Abstract
    The following topics are dealt with: software testing; software fault prediction; automated inference and abstraction
  • Keywords
    program testing; program verification; software fault tolerance; automated abstraction; automated inference; software fault prediction; software testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings
  • Conference_Location
    Windsor
  • Print_ISBN
    0-7695-2672-1
  • Type

    conf

  • DOI
    10.1109/TAIC-PART.2006.31
  • Filename
    1691655