Emine Gokce Aydal

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST (2009)
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008)
Emine Gokce Aydal, Mark Utting, Jim Woodcock
A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) (2008)
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. ICST Workshops (2008)
Emine Gokce Aydal, Richard F. Paige, Jim Woodstock
Observations for Assertion-based Scenarios in the context of Model Validation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) (2007)
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS (Workshops) (2007)
Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke
Security Planning and Refactoring in Extreme Programming. XP (2006)