Paul E. Black

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 11

Top Topics

Algorithms And Data Structures

Temporal Properties

Test Generation

Top Venues

Publications

Suzanna Schmeelk, Bryan Rosado, Paul E. Black
Blockchain Smart Contracts Static Analysis for Software Assurance. SAI (2) (2021)
Paul E. Black, David Flater, Irena Bojanova
Algorithms and Data Structures for New Models of Computation. IT Prof. 23 (1) (2021)
Paul E. Black, Barbara Guttman, Vadim Okun
Guidelines on Minimum Standards for Developer Verification of Software. CoRR (2021)
Wesley Dingman, Aviel Cohen, Nick Ferrara, Adam Lynch, Patrick Jasinski, Paul E. Black, Lin Deng
Defects and Vulnerabilities in Smart Contracts, a Classification using the NIST Bugs Framework. Int. J. Networked Distributed Comput. 7 (3) (2019)
Irena Bojanova, Yaacov Yesha, Paul E. Black, Yan Wu
Information Exposure (IEX): A New Class in the Bugs Framework (BF). COMPSAC (1) (2019)
Paul E. Black, Monika Singh
Opaque Wrappers and Patching: Negative Results. Computer 52 (12) (2019)
Wesley Dingman, Aviel Cohen, Nick Ferrara, Adam Lynch, Patrick Jasinski, Paul E. Black, Lin Deng
Classification of Smart Contract Bugs Using the NIST Bugs Framework. SERA (2019)
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Irena Bojanova, Yaacov Yesha, Paul E. Black
Randomness Classes in Bugs Framework (BF): True-Random Number Bugs (TRN) and Pseudo-Random Number Bugs (PRN). COMPSAC (1) (2018)
Paul E. Black, Irena Bojanova
Defeating Buffer Overflow: A Trivial but Dangerous Bug. IT Prof. 18 (6) (2016)
Irena Bojanova, Paul E. Black, Yaacov Yesha, Yan Wu
The Bugs Framework (BF): A Structured Approach to Express Bugs. QRS (2016)
Paul E. Black
Test Generation Using Model Checking and Specification Mutation. IT Prof. 16 (2) (2014)
Paul E. Black
NIST Contributions to IT. IT Prof. 16 (2) (2014)
James Bret Michael, Phillip A. Laplante, Jeffery E. Payne, Paul E. Black, Jeffrey M. Voas
Does Security Trump Reliability? Computer 46 (11) (2013)
Tim Boland, Paul E. Black
Juliet 1.1 C/C++ and Java Test Suite. Computer 45 (10) (2012)
Paul E. Black
Static Analyzers: Seat Belts for Your Code. IEEE Secur. Priv. 10 (3) (2012)
Paul E. Black
Counting Bugs is Harder Than You Think. SCAM (2011)
Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka
Software vulnerabilities precluded by spark. SIGAda (2011)
Elizabeth Fong, Paul E. Black, Richard F. Leslie, Simson L. Garfinkel, Larry Wagoner, Gary McGraw, Jeff Williams
Wouldn't it be nice to have software labels. SIGAda (2010)
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci
Building a Test Suite for Web Application Scanners. HICSS (2008)
Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black
Effect of static analysis tools on software security: preliminary investigation. QoP (2007)
Paul E. Black
Static analysis summit II. SIGAda (2007)
Paul E. Black
Software Assurance During Maintenance. ICSM (2006)
Paul E. Black
Software Assurance Metrics and Tool Evaluation. Software Engineering Research and Practice (2005)
Paul E. Black, Michael Kass
Software security assurance tools, techniques and metrics (SSATTM). ASE (2005)
Vadim Okun, Paul E. Black, Yaacov Yesha
Comparison of fault classes in specification-based testing. Inf. Softw. Technol. 46 (8) (2004)
Paul E. Black, D. Richard Kuhn, Carl J. Williams
Quantum computing and communication. Adv. Comput. 56 (2002)
Paul E. Black, Vadim Okun, Yaacov Yesha
Mutation Operators for Specifications. ASE (2000)
Paul Ammann, Paul E. Black
A Specification-Based Coverage Metric to Evaluate Test Sets. HASE (1999)
Paul E. Black, Phillip J. Windley
Formal Verification of Secure Programs in the Presence of Side Effects. HICSS (3) (1998)
Paul Ammann, Paul E. Black, William Majurski
Using Model Checking to Generate Tests from Specifications. ICFEM (1998)
Charles Hagwood, Raghu Kacker, James Yen, David Banks, Lynne Rosenthal, Leonard Gallagher, Paul E. Black
Reliability of Conformance Tests. COMPSAC (1998)
Paul E. Black, Phillip J. Windley
Verifying Resilient Software. HICSS (5) (1997)
Paul E. Black, Phillip J. Windley
Inference Rules for Programming Languages with Side Effects in Expressions. TPHOLs (1996)
Paul E. Black, Phillip J. Windley
Autotically Synthesized Term Denotation Predicates: A Proof Aid. TPHOLs (1995)
Mor Harchol-Balter, Paul E. Black
Queueing Analysis of Oblivious Packet-Routing Networks. SODA (1994)
Paul E. Black
GDIST: A Distributed Configuration Control System. SCM (1988)