Jesse H. Poore

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