About Me

My name is Niu Fei, 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.

Publications

• Fei Niu. Learning-based Software Testing using Symbolic Constraint Solving Methods, Licentiate Thesis, School of Computer Science and Communication, KTH Royal Institute of Technology, Stockholm, Sweden, 2011, ISBN 978-91-7501-117-2. [download] [slides]

• 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.

• Karl Meinke and Fei Niu. Learning-Based Testing for Reactive Systems using Term Rewriting Technology. In 23nd International IFIP Conference On Testing Software and Systems. [download] [bibTeX]

• Karl Meinke and Fei Niu. A Learning-based Approach to Unit Testing of Numerical Software. In 22nd International IFIP Conference On Testing Software and Systems. [download] [bibTeX]

• Authentication and Monitoring of User Identities Based on Mouse Dynamics. In Journal of Xi'an Jiaotong Univ. [download]

Address

room 1431, floor 4, Osquars Backe 2, Stockholm 100 44, Sweden