 | 2009 |
|---|
| 7 |       | Emine G. Aydal,
Richard F. Paige,
Mark Utting,
Jim Woodcock:
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.
ICST 2009: 131-140 |
| 2008 |
|---|
| 6 | | Emine G. Aydal,
Mark Utting,
Jim Woodcock:
A Comparison of State-Based Modelling Tools for Model Validation.
TOOLS (46) 2008: 278-296 |
| 5 | | Emine G. Aydal,
Richard F. Paige,
Jim Woodstock:
Observations for Assertion-based Scenarios in the context of Model Validation.
ECEASST 15: (2008) |
| 4 | | Emine G. Aydal,
Richard F. Paige,
Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.
ECEASST 9: (2008) |
| 2007 |
|---|
| 3 |  | Emine G. Aydal,
Jim Woodcock,
Ana Cavalcanti:
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.
ICSOFT (SE) 2007: 290-295 |
| 2 | | Emine G. Aydal,
Richard F. Paige,
Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.
MoDELS Workshops 2007: 194-205 |
| 2006 |
|---|
| 1 | | Emine G. Aydal,
Richard F. Paige,
Howard Chivers,
Phillip J. Brooke:
Security Planning and Refactoring in Extreme Programming.
XP 2006: 154-163 |
Data released under the ODC-BY 1.0 license — See also our legal information page