Jesse H. Poore

According to our database, Jesse H. Poore authored at least 34 papers between 1988 and 2013.

Collaborative distances:

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

2013

Applying string-rewriting to sequence-based specification.

Robert Eschbach, Lan Lin, Jesse H. Poore

Formal Methods Syst. Des., 2013

Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.

Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2011

Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010).

Robert Eschbach, Jesse H. Poore

Inf. Softw. Technol., 2011

Automated Statistical Testing for Embedded Systems.

Jesse H. Poore, Lan Lin, Robert Eschbach, Thomas Bauer

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

An axiom system for sequence-based specification.

Lan Lin, Stacy J. Prowell, Jesse H. Poore

Theor. Comput. Sci., 2010

2009

The impact of requirements changes on specifications and state machines.

Lan Lin, Stacy J. Prowell, Jesse H. Poore

Softw. Pract. Exp., 2009

Software Input Space Modeling with Constraints among Parameters.

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Using communication coverage criteria and partial model generation to assist software integration testing.

Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer

Softw. Qual. J., 2008

Pushing requirements changes through to changes in specifications.

Lan Lin, Jesse H. Poore

Frontiers Comput. Sci. China, 2008

Combinatorial Test Case Selection with Markovian Usage Models.

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Modeling Input Space for Testing Scientific Computational Software: A Case Study.

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore, Kevin T. Clarno

Proceedings of the Computational Science, 2008

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

Sequence-based specification of feedback control systems in Simulink®.

Jason M. Carter, Jesse H. Poore

Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007

2006

Guest co-editor's comments.

Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore

Inf. Softw. Technol., 2006

2005

Advances in model-based software testing (A-MOST).

Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore

ACM SIGSOFT Softw. Eng. Notes, 2005

Workshop on advances in model-based software testing.

Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Computing system reliability using Markov chain usage models.

Stacy J. Prowell, Jesse H. Poore

J. Syst. Softw., 2004

A Tale of Three Disciplines ...and a Revolution.

Jesse H. Poore

Computer, 2004

2003

Foundations of Sequence-Based Software Specification.

Stacy J. Prowell, Jesse H. Poore

IEEE Trans. Software Eng., 2003

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

2000

Generating transition probabilities to support model-based software testing.

Gwendolyn H. Walton, Jesse H. Poore

Softw. Pract. Exp., 2000

Measuring complexity and coverage of software specifications.

Gwendolyn H. Walton, Jesse H. Poore

Inf. Softw. Technol., 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

A constraint-based approach to the representation of software usage models.

Jesse H. Poore, Gwendolyn H. Walton, James A. Whittaker

Inf. Softw. Technol., 2000

Introduction to the special issue on: model-based statistical testing of software intensive systems.

Jesse H. Poore

Inf. Softw. Technol., 2000

1998

Sequence-Based Software Specification of Deterministic Systems.

Stacy J. Prowell, Jesse H. Poore

Softw. Pract. Exp., 1998

1996

Harlan Mills' Passing.

Jesse H. Poore

ACM SIGSOFT Softw. Eng. Notes, 1996

1995

Statistical Testing of Software Based on a Usage Model.

Gwendolyn H. Walton, Jesse H. Poore, Carmen J. Trammell

Softw. Pract. Exp., 1995

1993

Markow Analysis of Software Specifications.

James A. Whittaker, Jesse H. Poore

ACM Trans. Softw. Eng. Methodol., 1993

Planning and Certifying Software System Reliability.

Jesse H. Poore, Harlan D. Mills, David Mutchler

IEEE Softw., 1993

1992

A Group Process for Defining Local Software Quality: Field Applications and Validation Experiment.

Carmen J. Trammell, Jesse H. Poore

Softw. Pract. Exp., 1992

1990

Field Experiments with Local Software Quality Metrics.

Leon H. Binder, Jesse H. Poore

Softw. Pract. Exp., 1990

1988

Derivation of Local Software Quality Metrics (Software Quality Circles).

Jesse H. Poore

Softw. Pract. Exp., 1988