IMPORTANT DATES | |
---|---|
February 1, 2017 | Abstract and optional full paper submission begins |
May 26, 2017 | Exhibit & Supporter registration opens |
June 15, 2017 | Abstract and optional extended abstract submission ends |
June 29, 2017 | Acceptance notifications sent |
July 24, 2017 | Submit final abstracts and presenter biographies |
August 28, 2017 | Submit final presentations and optional full papers |
9/26/2017 | 1:05 PM - 1:50 PM | Track 3 - Metrics
Software Assurance Reference Dataset (SARD): 171,000 Test Programs and Growing
Presentation:
This presentation has not yet been uploaded.
Handouts:
No handouts have been uploaded.
Paul E. Black (Primary Presenter), NIST, paul.black@nist.gov;
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.