Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2012 | Overcoming controllability problems in distributed testing from an input output transition system | Hierons, RM |
2012 | The complexity of asynchronous model based testing | Hierons, RM |
2011 | Conformance relations for distributed testing based on CSP | Cavalcanti, A; Gaudel, MC; Hierons, RM |
2012 | A framework for pathologies of message sequence charts | Dan, H; Hierons, RM; Counsell, S |
2010 | Checking experiments for stream X-machines | Hierons, RM |
2011 | Oracles for distributed testing | Hierons, RM |
2011 | Automated metamorphic testing on the analyses of feature models | Segura, S; Hierons, RM; Benavides, D; Ruiz-Cortes, A |
2010 | Generating a checking sequence with a minimum number of reset transitions | Hierons, RM; Ural, H |
2010 | Automated test data generation on the analyses of feature models: A metamorphic testing approach | Segura, S; Benavides, D; Ruiz-Cortés, A; Hierons, RM |
2012 | Squeeziness: An information theoretic measure for avoiding fault masking | Clark, D; Hierons, RM |
Discover
Subject