The SCEAS System
Navigation Menu

Search the dblp DataBase


Paul E. Black: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  16. Effect of static analysis tools on software security: preliminary investigation. [Citation Graph (, )][DBLP]

  17. Building a Test Suite for Web Application Scanners. [Citation Graph (, )][DBLP]

  18. Static analysis summit II. [Citation Graph (, )][DBLP]

Search in 0.015secs, Finished in 0.015secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002