• DocumentCode
    635185
  • Title

    Contents

  • fYear
    2013
  • fDate
    18-26 May 2013
  • Firstpage
    1
  • Lastpage
    15
  • Abstract
    The following topics are dealt with: test-case generation; test-case selection; formal analysis; formal specification; code analysis; program debugging; bug prediction; requirements engineering; data security and privacy; programming support; program repair; software architecture; software metrics; software engineering education; software maintenance.
  • Keywords
    computer science education; formal specification; formal verification; program debugging; program testing; security of data; software architecture; software maintenance; software metrics; bug prediction; code analysis; data privacy; data security; formal analysis; formal specification; program debugging; program repair; programming support; requirements engineering; software architecture; software engineering education; software maintenance; software metrics; test-case generation; test-case selection;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering (ICSE), 2013 35th International Conference on
  • Conference_Location
    San Francisco, CA
  • Print_ISBN
    978-1-4673-3073-2
  • Type

    conf

  • DOI
    10.1109/ICSE.2013.6606542
  • Filename
    6606542
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=635185