|Dates coming soon|
Software Assurance Reference Dataset (SARD): 171,000 Test Programs and Growing
This presentation has not yet been uploaded.
No handouts have been uploaded.
Paul E. Black (Primary Presenter), NIST, email@example.com;
Paul E. Black has nearly 20 years of industrial experience in developing software for IC design and verification, assuring software quality, and managing business data processing. He is the founder and editor of the Dictionary of Algorithms and Data Structures http://www.nist.gov/dads/. Black earned a Ph.D. from Brigham Young University in 1998. He taught classes at Brigham Young University and Johns Hopkins University. He has published in static analysis, software testing, networks and queuing analysis, formal methods, software verification, quantum computing, and computer forensics. He is a member of ACM and a senior member of IEEE.