Kirk Sayre

Publication Activity (10 Years)

Years Active: 1993-2013
Publications (10 Years): 0

Top Topics

Automated Analysis

Security Properties

Top Venues

Publications

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum
Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. CSIIRW (2013)
Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger
Automated vulnerability detection for compiled smart grid software. ISGT (2012)
Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns
Automated Behavior Computation for Software Analysis and Validation. HICSS (2012)
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre
Behavior computation for smart grid software analysis. CSIIRW (2011)
Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch
Function Extraction Technology: Computing the Behavior of Malware. HICSS (2011)
Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly
Computing the behavior of malware. CSIIRW (2010)
Richard C. Linger, Stacy J. Prowell, Kirk Sayre
Computing the behavior of malicious code with function extraction technology. CSIIRW (2009)
Kirk Sayre, Jesse H. Poore
Automated Testing of Generic Computational Science Libraries. HICSS (2007)
Kirk Sayre
Usage model-based automated testing of C++ templates. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Kirk Sayre
Usage model-based automated testing of C++ templates. A-MOST (2005)
Kirk Sayre, Jesse H. Poore
A Reliability Estimator for Model Based Software Testing. ISSRE (2002)
Kirk Sayre, Jim Kenner, Paul L. Jones
Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems. CBMS (2001)
Kirk Sayre, Jesse H. Poore
Partition testing with usage models. Inf. Softw. Technol. 42 (12) (2000)
Kirk Sayre, Jesse H. Poore
Stopping criteria for statistical testing. Inf. Softw. Technol. 42 (12) (2000)
Kirk Sayre, Michael A. Gray
Backtalk: A Generalized Dynamic Communication System for DAI. Softw. Pract. Exp. 23 (9) (1993)