Kirk Sayre

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