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
5021998
Dictionary of Algorithms and Data Structures
PE Black
NISTIR, 1998
2091998
Manhattan distance
PE Black
https://www.nist.gov/dads/HTML/manhattanDistance.html, 2006
179*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
1782001
Mutation operators for specifications
PE Black, V Okun, Y Yesha
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
1472000
Juliet 1. 1 C/C++ and java test suite
T Boland, PE Black
Computer 45 (10), 88-90, 2012
1222012
Greedy algorithm
PE Black
URL: http://www. nist. gov/dads/HTML/greedyalgo. html, 2010
111*2010
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
651999
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
582008
Report on the static analysis tool exposition (sate) iv
V Okun, A Delaitre, PE Black
NIST Special Publication 500, 297, 2013
532013
Queueing Analysis of Oblivious Packet-Routing Networks.
M Harchol-Balter, PE Black
SODA, 583-592, 1994
48*1994
Ratcliff/Obershelp pattern recognition
PE Black
Dictionary of algorithms and data structures 17, 2004
462004
Cyber security metrics and measures
PE Black, K Scarfone, M Souppaya
Wiley Handbook of Science and Technology for Homeland Security, 1-15, 2008
452008
big-O notation
PE Black
Dictionary of Algorithms and Data Structures 2007, 2007
452007
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
452001
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
442007
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
422000
The system can't perform the operation now. Try again later.
Articles 1–20