Test Generation from System-level Requirements Specifications
Ph.D. Thesis Research of
Michael Donat
Jeff Joyce HACL (supervisor)
Kal Toth Datalink Systems Corp.
Mark Greenstreet UBC
Norm Hutchinson UBC
Paul Gilmore UBC (emeritus)
Philippe Kruchten Rational
Committee:
Next slide
Back to first slide
View graphic version