Automated Robustness Testing of Off-the-Shelf Software Components. - Nathan P. Kropp; Philip J. Koopman Jr.; Daniel P. Siewiorek (FTCS, 1998)

Efficient debugging in a formal verification environment. - Fady Copty; Amitai Irron; Osnat Weissberg; Nathan P. Kropp; Gila Kamhi (Int. J. Softw. Tools Technol. Transf., 2003)