| Using model checking to generate tests from specifications PE Ammann, PE Black, W Majurski Second International Conference on Formal Engineering Methods, 46-54, 1998 | 521 | 1998 |
| Dictionary of Algorithms and Data Structures PE Black NIST, 1998 | 257 | 1998 |
| Manhattan distance PE Black https://www.nist.gov/dads/HTML/manhattanDistance.html, 2006 | 234* | 2006 |
| Juliet 1. 1 C/C++ and java test suite T Boland, PE Black Computer 45 (10), 88-90, 2012 | 182 | 2012 |
| A specification-based coverage metric to evaluate test sets PE Ammann, PE Black International Journal of Reliability, Quality and Safety Engineering 8 (04 …, 2001 | 182 | 2001 |
| Mutation operators for specifications PE Black, V Okun, Y Yesha Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000 | 161 | 2000 |
| Dictionary of computer science, engineering and technology PA Laplante, N Werghi, CL Kuszmavl, C Verhof, B Henderson-Sellers, ... CRC Press, 2017 | 152 | 2017 |
| Greedy algorithm PE Black URL: http://www.nist.gov/dads/HTML/greedyalgo.html, 2005 | 142 | 2005 |
| Report on the static analysis tool exposition (SATE) IV V Okun, A Delaitre, PE Black NIST Special Publication 500 (297), 2013 | 87 | 2013 |
| Cyber security metrics and measures PE Black, K Scarfone, M Souppaya Wiley Handbook of Science and Technology for Homeland Security, 1-15, 2008 | 84 | 2008 |
| Ratcliff/Obershelp pattern recognition PE Black Dictionary of algorithms and data structures 17, 2004 | 73 | 2004 |
| Testing with model checker: Insuring fault visibility V Okun, PE Black, Y Yesha Proceedings of 2002 WSEAS international conference on system science …, 2003 | 73 | 2003 |
| Model checkers in software testing P Ammann, PE Black, W Ding National Institute of Standards and Technology, 2002 | 67 | 2002 |
| Abstracting formal specifications to generate software tests via model checking P Ammann, PE Black Gateway to the New Millennium. 18th Digital Avionics Systems Conference …, 1999 | 67 | 1999 |
| Building a test suite for web application scanners E Fong, R Gaucher, V Okun, PE Black, E Dalci 41st Annual Hawaii International Conference on System Sciences, 478-478, 2008 | 65 | 2008 |
| Juliet 1.3 test suite: Changes from 1.2 PE Black, PE Black US Department of Commerce, National Institute of Standards and Technology, 2018 | 62 | 2018 |
| big-O notation PE Black Dictionary of Algorithms and Data Structures 2007, 2007 | 61 | 2007 |
| Defects and vulnerabilities in smart contracts, a classification using the NIST bugs framework W Dingman, A Cohen, N Ferrara, A Lynch, P Jasinski, PE Black, L Deng International Journal of Networked and Distributed Computing 7 (3), 121-132, 2019 | 58 | 2019 |
| Mutation of model checker specifications for test generation and evaluation PE Black, V Okun, Y Yesha Mutation testing for the new century, 14-20, 2001 | 50 | 2001 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 49 | 2019 |
Paul AmmannAssociate Professor of Computer Science, George Mason UniversityVerified email at gmu.edu