selected publications

• academic article

  • Guest Editorial: Special issue on Testing Software and Systems.  Software Quality Journal.  27:497-499. 2019
  • The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs.  Information Processing Letters.  127:49-53. 2017

• book

  • Testing Software and Systems 2017

• conference paper

  • Decreasing the complexity of deriving test suites against nondeterministic finite state machines.  . 1-4. 2017