The First International Workshop on Automated Program Analysis, Testing and Verification

Abstract

Program analysis, testing and verification are key techniques for building confidence in and increasing the quality of software systems. Such activities typically cost upwards of 50% of total development costs. Automation aims to allow both reduced costs and more thorough analysis, testing and verification and is vital to keep pace with increasing software complexity.

BibTeX

@inproceedings{Tracey-al:ICSE00,
  author    = {Nigel Tracey and
               John Penix and
               Willem Visser},
  title     = {The First International Workshop on Automated Program Analysis, Testing and Verification},
  booktitle = {ICSE},
  pages     = {796},
  publisher = {{ACM}},
  year      = {2000},
}

The First International Workshop on Automated Program Analysis, Testing and Verification

Abstract

Related papers