Concepedia

Paul E. Black

PE

25

Publications

1.1K

Citations

16

H-Index

1994

Active since

Affiliations

National Institute of Standards and Technology(Current)

George Mason University

National Institute of Standards

Information Technology Laboratory

University of Maryland, Baltimore County

Paul E. Black is an author at National Institute of Standards and Technology specializing in engineering, software testing, and program analysis.

Top concepts

EngineeringProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringComputer ScienceFormal VerificationSoftware DesignSoftware MaintenanceFormal Methods

Publications per year

1994–2021

25

Publications

25

Using model checking to generate tests from specifications

Paul Ammann, Paul E. Black, William J. Majurski · 2002 · 315 citations

Engineering, Verification, Test Data Generation +18

Juliet 1.1 C/C++ and Java Test Suite

Tim Boland, Paul E. Black · Computer · 2012 · 139 citations

Software Maintenance, Engineering, Java Test Suite +17

Mutation operators for specifications

Paul E. Black, Vadim Okun, Yaacov Yesha · 2000 · 105 citations

Software Maintenance, Engineering, Verification +19

A specification-based coverage metric to evaluate test sets

Paul Ammann, Paul E. Black · 2003 · 87 citations

Software Maintenance, Engineering, Verification +20

Defects and Vulnerabilities in Smart Contracts, a Classification using the NIST Bugs Framework

Wesley Dingman, Aviel Cohen, Adam Lynch et al. · The International journal of networked and distributed computing · 2019 · 48 citations · Full text

Rows per page

1–5 of 25