Kirk Sayre

According to our database, Kirk Sayre authored at least 14 papers between 1993 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

Automated vulnerability detection for compiled smart grid software.

Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Automated Behavior Computation for Software Analysis and Validation.

Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2011

Function Extraction Technology: Computing the Behavior of Malware.

Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Behavior computation for smart grid software analysis.

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2010

Computing the behavior of malware.

Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2009

Computing the behavior of malicious code with function extraction technology.

Richard C. Linger, Stacy J. Prowell, Kirk Sayre

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2007

Automated Testing of Generic Computational Science Libraries.

Kirk Sayre, Jesse H. Poore

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2005

Usage model-based automated testing of C++ templates.

Kirk Sayre

ACM SIGSOFT Softw. Eng. Notes, 2005

2002

A Reliability Estimator for Model Based Software Testing.

Kirk Sayre, Jesse H. Poore

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems.

Kirk Sayre, Jim Kenner, Paul L. Jones

Proceedings of the 14th IEEE Symposium on Computer-Based Medical Systems (CBMS 2001), 2001

2000

Stopping criteria for statistical testing.

Kirk Sayre, Jesse H. Poore

Inf. Softw. Technol., 2000

Partition testing with usage models.

Kirk Sayre, Jesse H. Poore

Inf. Softw. Technol., 2000

1993

Backtalk: A Generalized Dynamic Communication System for DAI.

Kirk Sayre, Michael A. Gray

Softw. Pract. Exp., 1993