The First International Workshop on Automated Program Analysis, Testing and Verification (workshop session)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The First International Workshop on Automated Program Analysis, Testing and Verification (workshop session)

Full text

Pdf (99 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 22nd international conference on Software engineering table of contents

Limerick, Ireland

Page: 796

Year of Publication: 2000

ISBN:1-58113-206-9

Authors

Nigel Tracey	Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK
John Penix	NASA Ames Research Center, M/S 269-2, Moffett Field, CA
Willem C. Visser	NASA Ames Research Center, M/S 269-2, Moffett Field, CA

Sponsors

IEEE-CS : Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering
Irish Comp Soc : Irish Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 21, Citation Count: 1

Additional Information:

abstract cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/337180.337819 What is a DOI?

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.

CITED BY

Koen Claessen , John Hughes, Testing monadic code with QuickCheck, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.65-77, October 03, 2002, Pittsburgh, Pennsylvania

INDEX TERMS

Primary Classification:
A. General Literature
A.0 GENERAL
Subjects: Conference proceedings