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

Authors:
Nigel Tracey;John Penix;Willem C. Visser
Affiliations:
Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK;NASA Ames Research Center, M/S 269-2, Moffett Field, CA;NASA Ames Research Center, M/S 269-2, Moffett Field, CA
Venue:
Proceedings of the 22nd international conference on Software engineering
Year:
2000

Citing 0
Cited 5

Testing monadic code with QuickCheck

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Using Applications of Data Versioning in Database Application Development

Proceedings of the 26th International Conference on Software Engineering
Statically detecting likely buffer overflow vulnerabilities

SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Specification test coverage adequacy criteria = specification test generation inadequacy criteria

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A multiple-population genetic algorithm for branch coverage test data generation

Software Quality Control

Quantified Score

Hi-index	0.00

Visualization

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.