Follow
Paul E. Black
Title
Cited by
Cited by
Year
Using model checking to generate tests from specifications
PE Ammann, PE Black, W Majurski
Second International Conference on Formal Engineering Methods, 46-54, 1998
5181998
Dictionary of Algorithms and Data Structures
PE Black
NIST, 1998
2491998
Manhattan distance
PE Black
https://www.nist.gov/dads/HTML/manhattanDistance.html, 2006
225*2006
A specification-based coverage metric to evaluate test sets
PE Ammann, PE Black
International Journal of Reliability, Quality and Safety Engineering 8 (04 …, 2001
1812001
Juliet 1. 1 C/C++ and java test suite
T Boland, PE Black
Computer 45 (10), 88-90, 2012
1652012
Mutation operators for specifications
PE Black, V Okun, Y Yesha
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
1572000
Dictionary of computer science, engineering and technology
PA Laplante, N Werghi, CL Kuszmavl, C Verhof, B Henderson-Sellers, ...
CRC Press, 2017
1432017
Greedy algorithm
PE Black
URL: http://www.nist.gov/dads/HTML/greedyalgo.html, 2005
1402005
Cyber security metrics and measures
PE Black, K Scarfone, M Souppaya
Wiley Handbook of Science and Technology for Homeland Security, 1-15, 2008
812008
Report on the static analysis tool exposition (SATE) IV
V Okun, A Delaitre, PE Black
NIST Special Publication 500 (297), 2013
772013
Ratcliff/Obershelp pattern recognition
PE Black
Dictionary of algorithms and data structures 17, 2004
712004
Testing with model checker: Insuring fault visibility
V Okun, PE Black, Y Yesha
Proceedings of 2002 WSEAS international conference on system science …, 2003
712003
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
671999
Model checkers in software testing
P Ammann, PE Black, W Ding
National Institute of Standards and Technology, 2002
662002
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
652008
big-O notation
PE Black
Dictionary of Algorithms and Data Structures 2007, 2007
602007
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
502019
Juliet 1.3 test suite: Changes from 1.2
PE Black, PE Black
US Department of Commerce, National Institute of Standards and Technology, 2018
492018
Effect of static analysis tools on software security: preliminary investigation
V Okun, WF Guthrie, R Gaucher, PE Black
Proceedings of the 2007 ACM workshop on Quality of protection, 1-5, 2007
482007
Fisher-Yates shuffle
PE Black
Dictionary of Algorithms and Data Structures, 2004
482004
The system can't perform the operation now. Try again later.
Articles 1–20