Jesse H. Poore

Publication Activity (10 Years)

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

Top Topics

Requirements Analysis

Arbitrary Length

Top Venues

Formal Methods Syst. Des.

Publications

Robert Eschbach, Lan Lin, Jesse H. Poore
Applying string-rewriting to sequence-based specification. Formal Methods Syst. Des. 43 (3) (2013)
Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. FASE (2013)
Robert Eschbach, Jesse H. Poore
Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010). Inf. Softw. Technol. 53 (11) (2011)
Lan Lin, Stacy J. Prowell, Jesse H. Poore
An axiom system for sequence-based specification. Theor. Comput. Sci. 411 (2) (2010)
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore
Software Input Space Modeling with Constraints among Parameters. COMPSAC (1) (2009)
Lan Lin, Stacy J. Prowell, Jesse H. Poore
The impact of requirements changes on specifications and state machines. Softw. Pract. Exp. 39 (6) (2009)
Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer
Using communication coverage criteria and partial model generation to assist software integration testing. Softw. Qual. J. 16 (2) (2008)
Lan Lin, Jesse H. Poore
Pushing requirements changes through to changes in specifications. Frontiers Comput. Sci. China 2 (4) (2008)
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore
Combinatorial Test Case Selection with Markovian Usage Models. ITNG (2008)
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore, Kevin T. Clarno
Modeling Input Space for Testing Scientific Computational Software: A Case Study. ICCS (3) (2008)
Lan Lin, Jesse H. Poore
Pushing Requirements Changes through to Changes in Specifications. TASE (2008)
Kirk Sayre, Jesse H. Poore
Automated Testing of Generic Computational Science Libraries. HICSS (2007)
Jason M. Carter, Jesse H. Poore
Sequence-based specification of feedback control systems in Simulink®. CASCON (2007)
Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore
Guest co-editor's comments. Inf. Softw. Technol. 48 (10) (2006)
Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore
Workshop on advances in model-based software testing. ICSE (2005)
Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore
Advances in model-based software testing (A-MOST). ACM SIGSOFT Softw. Eng. Notes 30 (5) (2005)
Stacy J. Prowell, Jesse H. Poore
Computing system reliability using Markov chain usage models. J. Syst. Softw. 73 (2004)
Jesse H. Poore
A Tale of Three Disciplines ...and a Revolution. Computer 37 (1) (2004)
Stacy J. Prowell, Jesse H. Poore
Foundations of Sequence-Based Software Specification. IEEE Trans. Software Eng. 29 (5) (2003)
Kirk Sayre, Jesse H. Poore
A Reliability Estimator for Model Based Software Testing. ISSRE (2002)
Kirk Sayre, Jesse H. Poore
Partition testing with usage models. Inf. Softw. Technol. 42 (12) (2000)
Gwendolyn H. Walton, Jesse H. Poore
Measuring complexity and coverage of software specifications. Inf. Softw. Technol. 42 (12) (2000)
Jesse H. Poore, Gwendolyn H. Walton, James A. Whittaker
A constraint-based approach to the representation of software usage models. Inf. Softw. Technol. 42 (12) (2000)
Gwendolyn H. Walton, Jesse H. Poore
Generating transition probabilities to support model-based software testing. Softw. Pract. Exp. 30 (10) (2000)
Kirk Sayre, Jesse H. Poore
Stopping criteria for statistical testing. Inf. Softw. Technol. 42 (12) (2000)
Jesse H. Poore
Introduction to the special issue on: model-based statistical testing of software intensive systems. Inf. Softw. Technol. 42 (12) (2000)
Stacy J. Prowell, Jesse H. Poore
Sequence-Based Software Specification of Deterministic Systems. Softw. Pract. Exp. 28 (3) (1998)
Jesse H. Poore
Harlan Mills' Passing. ACM SIGSOFT Softw. Eng. Notes 21 (2) (1996)
Gwendolyn H. Walton, Jesse H. Poore, Carmen J. Trammell
Statistical Testing of Software Based on a Usage Model. Softw. Pract. Exp. 25 (1) (1995)
Jesse H. Poore, Harlan D. Mills, David Mutchler
Planning and Certifying Software System Reliability. IEEE Softw. 10 (1) (1993)
James A. Whittaker, Jesse H. Poore
Markow Analysis of Software Specifications. ACM Trans. Softw. Eng. Methodol. 2 (1) (1993)
Carmen J. Trammell, Jesse H. Poore
A Group Process for Defining Local Software Quality: Field Applications and Validation Experiment. Softw. Pract. Exp. 22 (8) (1992)
Leon H. Binder, Jesse H. Poore
Field Experiments with Local Software Quality Metrics. Softw. Pract. Exp. 20 (7) (1990)
Jesse H. Poore
Derivation of Local Software Quality Metrics (Software Quality Circles). Softw. Pract. Exp. 18 (11) (1988)