© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Applying software testing metrics to Lapack
David Barnes and Tim Hopkins
In Jack Dongarra, Kaj Madsen, and Jerzy Wasniewski, editors, Proceedings of the Seventh International Workshop, PARA'04, Lyngby, Denmark, June 2004, Lecture Notes in Computer Science, pages 182-196, Berlin, July 2005. Springer Verlag.Abstract
We look at how the application of software testing metrics affects the way in which we view the testing of the Lapack suite of software. We discuss how we may generate a test suite that is easily extensible and provides a high degree of confidence that the package has been well tested.
Download publication 186 kbytes (PDF)
Bibtex Record
@inproceedings{2046, author = {David Barnes and Tim Hopkins}, title = {Applying Software Testing Metrics to {Lapack}}, month = {July}, year = {2005}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2005/2046}, publication_type = {inproceedings}, submission_id = {13673_1107772774}, booktitle = {Proceedings of the Seventh International Workshop, PARA'04, Lyngby, Denmark, June 2004 }, editor = {Jack Dongarra and Kaj Madsen and Jerzy Wasniewski}, series = {Lecture Notes in Computer Science }, address = {Berlin}, publisher = {Springer Verlag}, refereed = {yes}, ISBN = {3-540-29067-2}, }