Formal Aspects of Software Testing

The Formal Aspects of Software Testing (FAST) research group studies the foundations of testing and other related formal techniques to providing assurance that software systems work as expected. This group is affiliated with: Our current research includes the following projects:
  • Checking Sequence Construction

  • Distributed Testing

  • Adaptive Testing

  • Requirements Based Regression Testing


  Guy-Vincent Jourdan
Robert Probert
Hasan Ural

Postdoctoral Researchers:

  Fan Zhang

Ph.D. Students:

  Yanping Chen
Mehedi Masud
Tuong Nguyen

M.Sc. Students:

  Olfa Chemli
Yaping Lou
Shen Wang
Bo Xie
Zhi Xu
Ji Chao Zhang

Recent Visitors:

  Xiao Jun Chen (University of Windsor )
Robert Hierons (Brunel University)
Hüsnü Yenigün
(Sabancı University)
Claude Jard
(IRISA, ENS Cachan/Bretagne)