dblp.uni-trier.dewww.uni-trier.de

Paul E. Black Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
18EEElizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci: Building a Test Suite for Web Application Scanners. HICSS 2008: 478
2007
17EEVadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black: Effect of static analysis tools on software security: preliminary investigation. QoP 2007: 1-5
16EEPaul E. Black: Static analysis summit II. SIGAda 2007: 101-107
2006
15EEPaul E. Black: Software Assurance During Maintenance. ICSM 2006: 70-72
2005
14EEPaul 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
12EEVadim 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
10EEPaul E. Black, Vadim Okun, Yaacov Yesha: Mutation Operators for Specifications. ASE 2000: 81-
1999
9EEPaul Ammann, Paul E. Black: A Specification-Based Coverage Metric to Evaluate Test Sets. HASE 1999: 239-248
1998
8EECharles Hagwood, Raghu Kacker, James Yen, David Banks, Lynne Rosenthal, Leonard Gallagher, Paul E. Black: Reliability of Conformance Tests. COMPSAC 1998: 368-373
7EEPaul E. Black, Phillip J. Windley: Formal Verification of Secure Programs in the Presence of Side Effects. HICSS (3) 1998: 327-
6EEPaul Ammann, Paul E. Black, William Majurski: Using Model Checking to Generate Tests from Specifications. ICFEM 1998: 46-
1997
5EEPaul E. Black, Phillip J. Windley: Verifying Resilient Software. HICSS (5) 1997: 262-266
1996
4EEPaul E. Black, Phillip J. Windley: Inference Rules for Programming Languages with Side Effects in Expressions. TPHOLs 1996: 51-60
1995
3EEPaul 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)