 | 2008 |
|---|
| 7 |       | Christopher Robinson-Mallett,
Robert M. Hierons,
Jesse H. Poore,
Peter Liggesmeyer:
Using communication coverage criteria and partial model generation to assist software integration testing.
Software Quality Journal 16(2): 185-211 (2008) |
| 2006 |
|---|
| 6 |  | Christopher Robinson-Mallett,
Peter Liggesmeyer:
State Identification and Verification using a Model Checker.
Software Engineering 2006: 131-142 |
| 5 | | Christopher Robinson-Mallett,
Robert M. Hierons,
Peter Liggesmeyer:
Achieving communication coverage in testing.
ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006) |
| 4 | | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Extended state identification and verification using a model checker.
Information & Software Technology 48(10): 981-992 (2006) |
| 2005 |
|---|
| 3 | | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
A-MOST 2005 |
| 2 | | Thomas Bauer,
Jens Herrmann,
Peter Liggesmeyer,
Christopher Robinson-Mallett:
A flexible integration strategy for in-car telematics systems.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 1 | | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
