Backtalk: A Generalized Dynamic Communication System for DAI. - Kirk Sayre; Michael A. Gray (Softw. Pract. Exp., 1993)

Partition testing with usage models. - Kirk Sayre; Jesse H. Poore (Inf. Softw. Technol., 2000)

Stopping criteria for statistical testing. - Kirk Sayre; Jesse H. Poore (Inf. Softw. Technol., 2000)

Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems. - Kirk Sayre; Jim Kenner; Paul L. Jones (CBMS, 2001)

A Reliability Estimator for Model Based Software Testing. - Kirk Sayre; Jesse H. Poore (ISSRE, 2002)

Usage model-based automated testing of C++ templates. - Kirk Sayre (ACM SIGSOFT Softw. Eng. Notes, 2005)

Automated Testing of Generic Computational Science Libraries. - Kirk Sayre; Jesse H. Poore (HICSS, 2007)

Computing the behavior of malicious code with function extraction technology. - Richard C. Linger; Stacy J. Prowell; Kirk Sayre (CSIIRW, 2009)

Computing the behavior of malware. - Richard C. Linger; Mark G. Pleszkoch; Kirk Sayre; Tim Daly (CSIIRW, 2010)

Behavior computation for smart grid software analysis. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre (CSIIRW, 2011)

Function Extraction Technology: Computing the Behavior of Malware. - Richard C. Linger; Kirk Sayre; Tim Daly; Mark G. Pleszkoch (HICSS, 2011)

Automated Behavior Computation for Software Analysis and Validation. - Mark G. Pleszkoch; Richard C. Linger; Stacy J. Prowell; Kirk Sayre; Luanne Burns (HICSS, 2012)

Automated vulnerability detection for compiled smart grid software. - Stacy J. Prowell; Mark G. Pleszkoch; Kirk Sayre; Richard C. Linger (ISGT, 2012)

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre; T. Scott Ankrum (CSIIRW, 2013)