My name is Fei NIU (or NIU Fei in eastern name order), and I am a graduate student at theory group (TCS), School of Computer Science and Communications (CSC), KTH Royal Institute of Technology. My supervisor is Karl Meinke.
I am interested in software testing by means of machine learning and formal methods, in particular specification-based black-box testing utilising term rewriting and model checking. These formalisms provide useful techniques for solving software testing and security problems.
K. Meinke and F. Niu, An Incremental Learning Algorithm for Extended Mealy Automata.
to appear in B. Steffen and T. Margharia (eds) Proc. 2012 Int. ISoLA workshop on Machine Learning for Software Construction, LNCS, Springer Verlag, 2012.
Licentiate Thesis, School of Computer Science and Communication, KTH Royal Institute of Technology, Stockholm, Sweden, 2011, ISBN 978-91-7501-117-2.
K. Meinke, F. Niu and M. Sindhu. Learning-Based Software Testing: a Tutorial.
in B. Steffen and R. Haehnle (eds) Proc. Int. ISoLA workshop on Machine Learning for Software Construction, CCIS, Springer Verlag, 2011.
in 23nd International IFIP Conference On Testing Software and Systems.
in 22nd International IFIP Conference On Testing Software and Systems.
Authentication and Monitoring of User Identities Based on Mouse Dynamics [download]
in Journal of Xi'an Jiaotong Univ.
room 4540, floor 5, D-Building, Osquars Backe 2, Stockholm 100 44, Sweden