selected publications

• academic article

  • Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation.  Formal Aspects of Computing.  30:319-332. 2018

• chapter

  • Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines.  Lecture notes in computer science. 33-48. 2013