About Me

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.

Publications

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

  • Fei Niu. Learning-based Software Testing using Symbolic Constraint Solving Methods. [download] [slides]

    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.

  • Karl Meinke and Fei Niu. Learning-Based Testing for Reactive Systems using Term Rewriting Technology. [download] [bibTeX]

    in 23nd International IFIP Conference On Testing Software and Systems.

  • Karl Meinke and Fei Niu. A Learning-based Approach to Unit Testing of Numerical Software. [download] [bibTeX]

    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.

Address

room 4540, floor 5, D-Building, Osquars Backe 2, Stockholm 100 44, Sweden