Formal passive testing of timed systems: theory and tools

César Andrés; Mercedes G. Merayo; Manuel Núñez

doi:10.1002/stvr.1464

Formal passive testing of timed systems: theory and tools

Software Testing Verification and Reliability ◽

10.1002/stvr.1464 ◽

2012 ◽

Vol 22 (6) ◽

pp. 365-405 ◽

Cited By ~ 22

Author(s):

César Andrés ◽

Mercedes G. Merayo ◽

Manuel Núñez

Keyword(s):

Systems Theory ◽

Timed Systems ◽

Passive Testing

Download Full-text

Passive Testing of Timed Systems with Timeouts

2012 12th International Conference on Quality Software ◽

10.1109/qsic.2012.40 ◽

2012 ◽

Author(s):

Mercedes G. Merayo

Keyword(s):

Timed Systems ◽

Passive Testing

Download Full-text

Formal Correctness of a Passive Testing Approach for Timed Systems

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.34 ◽

2009 ◽

Cited By ~ 7

Author(s):

Cesar Andres ◽

Mercedes G. Merayo ◽

Manuel Nunez

Keyword(s):

Timed Systems ◽

Passive Testing ◽

Testing Approach

Download Full-text

Passive Testing of Timed Systems

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88387-6_36 ◽

2008 ◽

pp. 418-427 ◽

Cited By ~ 10

Author(s):

César Andrés ◽

Mercedes G. Merayo ◽

Manuel Núñez

Keyword(s):

Timed Systems ◽

Passive Testing

Download Full-text

Passive Testing of Stochastic Timed Systems

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.35 ◽

2009 ◽

Cited By ~ 6

Author(s):

César Andrés ◽

Mercedes G. Merayo ◽

Manuel Núñez

Keyword(s):

Timed Systems ◽

Passive Testing

Download Full-text

Taking Family Systems Theory Beyond the Family

PsycCRITIQUES ◽

10.1037/a0039323 ◽

2015 ◽

Vol 60 (26) ◽

Author(s):

David S. Hargrove

Keyword(s):

Systems Theory ◽

Family Systems ◽

Family Systems Theory ◽

The Family

Download Full-text

Leadership and Emotion: Systems Theory in the Workplace: A Convention Conversation Hour

PsycEXTRA Dataset ◽

10.1037/e318152004-016 ◽

2002 ◽

Author(s):

William Watson

Keyword(s):

Systems Theory

Download Full-text

Reference Corner: Emotional Cutoff: Bowen Family Systems Theory Perspectives

PsycEXTRA Dataset ◽

10.1037/e356342004-012 ◽

2004 ◽

Author(s):

Scotty Hargrove ◽

◽

Nancy S. Elman

Keyword(s):

Systems Theory ◽

Family Systems ◽

Family Systems Theory ◽

Bowen Family Systems Theory ◽

Bowen Family Systems ◽

Emotional Cutoff

Download Full-text

Using Family of Origin Work to Teach Family Systems Theory

PsycEXTRA Dataset ◽

10.1037/e353032004-001 ◽

2003 ◽

Author(s):

Louise Silverstein

Keyword(s):

Systems Theory ◽

Family Systems ◽

Family Of Origin ◽

Family Systems Theory

Download Full-text

Dynamical Systems Theory and Pain Imagery: Bridging the Gap between Research and Practice

PsycEXTRA Dataset ◽

10.1037/e401642008-001 ◽

2005 ◽

Author(s):

David Pincus

Keyword(s):

Dynamical Systems ◽

Systems Theory ◽

Dynamical Systems Theory ◽

Research And Practice

Download Full-text

Book Reviews: Bowen Family Systems Theory

PsycEXTRA Dataset ◽

10.1037/e409932005-050 ◽

1990 ◽

Author(s):

John Hunsley ◽

Keyword(s):

Systems Theory ◽

Family Systems ◽

Family Systems Theory ◽

Bowen Family Systems Theory ◽

Bowen Family Systems

Download Full-text