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
|
|
|
|
Faculty:
Postdoctoral Researchers:
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:
|