Jim Woodcock (Selection)

J. C. P. Woodcock

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

115 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

99 Emine G. Aydal, Mark Utting, Jim Woodcock: A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296

95 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)

82 Emine G. Aydal, Jim Woodcock, Ana Cavalcanti: Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295

80 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

Selection of 5 from 134 records - Jim Woodcock has 77 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

115		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
99		Emine G. Aydal, Mark Utting, Jim Woodcock: A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296
95		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)
82		Emine G. Aydal, Jim Woodcock, Ana Cavalcanti: Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295
80		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