• DocumentCode
    1364597
  • Title

    Programs That Test Themselves

  • Author

    Meyer, Bertrand ; Fiva, Arno ; Ciupa, Ilinca ; Leitner, Andreas ; Wei, Yi ; Stapf, Emmanuel

  • Author_Institution
    Eiffel Software, ETH Zurich, Zurich, Switzerland
  • Volume
    42
  • Issue
    9
  • fYear
    2009
  • Firstpage
    46
  • Lastpage
    55
  • Abstract
    The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.
  • Keywords
    formal specification; program testing; program verification; AutoTest framework; contract-oriented specification; program verification; software testing; Instruments; Software testing; Automated software testing; Design and test; Object-oriented programming; Software engineering;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.2009.296
  • Filename
    5233506
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1364597