Paul E. Black

2008
18	EE	Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci: Building a Test Suite for Web Application Scanners. HICSS 2008: 478
2007
17	EE	Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black: Effect of static analysis tools on software security: preliminary investigation. QoP 2007: 1-5
16	EE	Paul E. Black: Static analysis summit II. SIGAda 2007: 101-107
2006
15	EE	Paul E. Black: Software Assurance During Maintenance. ICSM 2006: 70-72
2005
14	EE	Paul E. Black, Michael Kass: Software security assurance tools, techniques and metrics (SSATTM). ASE 2005: 461
13		Paul E. Black: Software Assurance Metrics and Tool Evaluation. Software Engineering Research and Practice 2005: 829-835
2004
12	EE	Vadim Okun, Paul E. Black, Yaacov Yesha: Comparison of fault classes in specification-based testing. Information & Software Technology 46(8): 525-533 (2004)
2002
11		Paul E. Black, D. Richard Kuhn, Carl J. Williams: Quantum computing and communication. Advances in Computers 56: 190-245 (2002)
2000
10	EE	Paul E. Black, Vadim Okun, Yaacov Yesha: Mutation Operators for Specifications. ASE 2000: 81-
1999
9	EE	Paul Ammann, Paul E. Black: A Specification-Based Coverage Metric to Evaluate Test Sets. HASE 1999: 239-248
1998
8	EE	Charles Hagwood, Raghu Kacker, James Yen, David Banks, Lynne Rosenthal, Leonard Gallagher, Paul E. Black: Reliability of Conformance Tests. COMPSAC 1998: 368-373
7	EE	Paul E. Black, Phillip J. Windley: Formal Verification of Secure Programs in the Presence of Side Effects. HICSS (3) 1998: 327-
6	EE	Paul Ammann, Paul E. Black, William Majurski: Using Model Checking to Generate Tests from Specifications. ICFEM 1998: 46-
1997
5	EE	Paul E. Black, Phillip J. Windley: Verifying Resilient Software. HICSS (5) 1997: 262-266
1996
4		Paul E. Black, Phillip J. Windley: Inference Rules for Programming Languages with Side Effects in Expressions. TPHOLs 1996: 51-60
1995
3		Paul E. Black, Phillip J. Windley: Autotically Synthesized Term Denotation Predicates: A Proof Aid. TPHOLs 1995: 46-57
1994
2		Mor Harchol-Balter, Paul E. Black: Queueing Analysis of Oblivious Packet-Routing Networks. SODA 1994: 583-592
1988
1		Paul E. Black: GDIST: A Distributed Configuration Control System. SCM 1988: 276-284

Coauthor Index

1	Paul Ammann	[6] [9]
2	David Banks	[8]
3	Eric Dalci	[18]
4	Elizabeth Fong	[18]
5	Leonard Gallagher	[8]
6	Romain Gaucher	[17] [18]
7	William F. Guthrie	[17]
8	Charles Hagwood	[8]
9	Mor Harchol-Balter	[2]
10	Raghu Kacker	[8]
11	Michael Kass	[14]
12	D. Richard Kuhn	[11]
13	William Majurski	[6]
14	Vadim Okun	[10] [12] [17] [18]
15	Lynne Rosenthal	[8]
16	Carl J. Williams	[11]
17	Phillip J. Windley	[3] [4] [5] [7]
18	James Yen	[8]
19	Yaacov Yesha	[10] [12]

Colors in the list of coauthors