ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006)
Full text PdfPdf (34 KB)
Source
ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 17 ,  Issue 2  (April 2008) table of contents
Article No. 6  
Year of Publication: 2008
ISSN:1049-331X
Editors
David Notkin
Mauro Pezzè
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 9,   Downloads (12 Months): 74,   Citation Count: 0
Additional Information:

index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1348250.1348252
What is a DOI?

INDEX TERMS

Primary Classification:
  A. General Literature
  A.0 GENERAL

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
      D.2.5 Testing and Debugging

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.2 Automatic Programming
          Subjects: Program verification

Collaborative Colleagues:
David Notkin: colleagues
Mauro Pezzè: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player