Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Combining Model-Based Testing ...

Combining Model-Based Testing and Stepwise Formal Development

Qaisar Ahmad Malik, Combining Model-Based Testing and Stepwise Formal Development. TUCS Dissertations 130. Turku Centre for Computer Science, 2010.

Files:

Full publication in PDF-format

BibTeX entry:

@PHDTHESIS{phdMalik10a,
  title = {Combining Model-Based Testing and Stepwise Formal Development},
  author = {Malik, Qaisar Ahmad},
  number = {130},
  series = {TUCS Dissertations},
  school = {Turku Centre for Computer Science},
  year = {2010},
  ISBN = {978-952-12-2467-6},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Edit publication