You searched on:
Author: paul black
Displaying records 51 to 53.
Resort by: Date / Title
51. Reliability of Conformance Tests
Robert Charles Hagwood, Raghu N Kacker, James H Yen, D L. Banks, Lynne S. Rosenthal, Leonard J Gallagher, Paul E Black
A conformance test is a software assurance test that is applied in order to determine if specification requirements of the software are being met. It is a time-dependent model, where the software object is subjected to an a priori known test suite. ...
52. Software Testing: Protocol Comparison
James H Yen, D L. Banks, Leonard J Gallagher, Paul E Black, Robert Charles Hagwood, Raghu N Kacker, Lynne S. Rosenthal
Software testing is hard, expensive, and uncertain. Many protocols have been suggested, especially in the area of conformance verification. In order to compare the efficacy of these protocols, we have implemented a designed simulation experiment th ...
53. Formal Verification of Secure Programs in the Presence of Side Effects
Paul E Black, P J Windley
Much software is written in industry standard programming languages, but these these languages often have complex semantics making them hard to formalize. For example, the use of expressions with side effects is common in C programs. We present new i ...