Emine Gökçe Aydal

According to our database, Emine Gökçe Aydal authored at least 9 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

The Tokeneer Experiments.

Jim Woodcock, Emine Gökçe Aydal, Rod Chapman

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Model Based Robustness Testing of Black box Systems.

Emine Gokce Aydal

PhD thesis, 2009

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.

Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Observations for Assertion-based Scenarios in the context of Model Validation.

Emine Gokce Aydal, Richard F. Paige, Jim Woodstock

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A Comparison of State-Based Modelling Tools for Model Validation.

Emine Gokce Aydal, Mark Utting, Jim Woodcock

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation.

Emine Gokce Aydal, Richard F. Paige, Jim Woodcock

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2007

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.

Emine Gokce Aydal, Richard F. Paige, Jim Woodcock

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.

Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti

Proceedings of the ICSOFT 2007, 2007

2006

Security Planning and Refactoring in Extreme Programming.

Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006