Assurance-Based Testing

Software Engineering Laboratory
Department of Computer Science and Engineering
University of Minnesota
Copyright 2000

This project is sponsored by the DoD Y2K Office.