Paul E. Black
Title
Cited by
Cited by
Year
Algorithms and theory of computation handbook, volume 2: special topics and techniques
MJ Atallah, M Blanton
CRC press, 2009
6292009
Using model checking to generate tests from specifications
PE Ammann, PE Black, W Majurski
Second International Conference on Formal Engineering Methods, 46-54, 1998
4921998
Dictionary of Algorithms and Data Structures
PE Black
NISTIR, 1998
1861998
A specification-based coverage metric to evaluate test sets
PE Ammann, PE Black
International Journal of Reliability, Quality and Safety Engineering 8 (04 …, 2001
1762001
Manhattan distance
PE Black
https://www.nist.gov/dads/HTML/manhattanDistance.html, 2006
156*2006
Mutation operators for specifications
PE Black, V Okun, Y Yesha
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
1402000
Greedy algorithm
PE Black
URL: http://www. nist. gov/dads/HTML/greedyalgo. html, 2010
101*2010
Juliet 1.1 C/C++ and Java test suite
T Boland, PE Black
IEEE Computer Architecture Letters 45 (10), 88-90, 2012
972012
Testing with model checker: Insuring fault visibility
V Okun, PE Black, Y Yesha
Proceedings of 2002 WSEAS international conference on system science …, 2003
702003
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
691999
Model checkers in software testing
P Ammann, PE Black, W Ding
NIST-IR 6777, National Institute of Standards and Technology, 2002
642002
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
532008
Cyber security metrics and measures
PE Black, K Scarfone, M Souppaya
Wiley Handbook of Science and Technology for Homeland Security, 1-15, 2008
522008
Report on the static analysis tool exposition (sate) iv
V Okun, A Delaitre, PE Black
NIST Special Publication 500, 297, 2013
472013
Queueing Analysis of Oblivious Packet-Routing Networks.
M Harchol-Balter, PE Black
SODA, 583-592, 1994
47*1994
Comparison of fault classes in specification-based testing
V Okun, PE Black, Y Yesha
Information and Software Technology 46 (8), 525-533, 2004
442004
Modeling and marshaling: Making tests from model checker counterexamples
PE Black
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No …, 2000
432000
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
422001
big-O notation
PE Black
Dictionary of Algorithms and Data Structures 2007, 2007
412007
Ratcliff/Obershelp pattern recognition
PE Black
Dictionary of algorithms and data structures 17, 2004
412004
The system can't perform the operation now. Try again later.
Articles 1–20