• DocumentCode
    1566746
  • Title

    A case study in JML-based software validation

  • Author

    du Bousquet, L. ; Ledru, Y. ; Maury, O. ; Oriat, C. ; Lanet, Jean-Louis

  • Author_Institution
    LSR-IMAG
  • fYear
    2004
  • Firstpage
    294
  • Lastpage
    297
  • Abstract
    This paper reports on a testing case study applied to a small Java application, partially specified in JML. It illustrates that JML can easily be integrated with classical testing tools based on combinatorial techniques and random generation. It also reveals difficulties to reuse, in a testing context, JML annotations written for a proof process.
  • Keywords
    Automatic testing; Automation; Banking; Computer aided software engineering; Context modeling; Java; Lifting equipment; Smart cards; Specification languages; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automated Software Engineering, 2004. Proceedings. 19th International Conference on
  • Conference_Location
    Linz
  • ISSN
    1938-4300
  • Print_ISBN
    0-7695-2131-2
  • Type

    conf

  • DOI
    10.1109/ASE.2004.1342750
  • Filename
    1342750
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1566746