Research Interests
  • Model-based testing. Very powerful test generation methods from (deterministic, non-deterministic, communicating) stream X-machines, that determine the correctness of the implementation under test under well defined, "design for test" requirements, as well as methods for refining these test sets in parallel with the specification have been devised.

  • Automata and X-machine learning. Angluin style techniques for learning X-machines and cover automata from queries have been devised and used for test generation, in particular for Event-B models.

  • Evolutionary testing. Evolutionary test generation techniques from state-based formalisms have been proposed and evaluated.

  • Testing from Event-B models. Motivated by industrial interest, automata based and evolutionary testing approaches have been developed and implemented as part of the Rodin platform in the DEPLOY project.

  • Agent-based modelling. (Communicating) X-machines, that are the basis for FLAME, have been promoted as a modelling language, with important applications in biology and economics.

  • Modelling and validation of biology-inspired systems. Approaches to testing the highly promising P systems, based on coverage criteria, state based techniques and model checking, have been developed and complemented by temporal logic and model checking based formal verification for implementations in NuSMV, Spin and ProB.

  • System modelling using biology-inspired formalisms. The k (kernel) P system has been proposed as a model that coherently and elegantly integrates various P system features and concepts successfully used in practical applications from various domains.

  • Test generation from finite automata W and Wp style test generation methods for cover cover automata have been devised.

  • Agile Modelling and Testing. As testing is a major part of software development and in XP (Extreme Programming) test generation is a vital part of the initial phases of a project, X-machines have been integrated into XP in a simple and designer-friendly way and used in the construction of functional test sets.