FSM with domain variables

first post: csebastian90 wrote: Is it possible to write a FSM that is linked with the Domain variab...

latest post: csebastian90 wrote: Yes an example would be very good as a starting point on how to aut...

Help Regarding Modelling the Specifications

first post: NagendraV wrote: Hi All This is Nagendra. I am new to Model Based Testing. Can any...

After installed GLEE, and run example got FileNotFoundException

first post: vNext2012 wrote: after installed GLEE for everyone option, and run example NewsRead...

latest post: jpe wrote: Hi! You will need to copy the GLEE dll-s to the directory where you...

Can't use ‘out’ parameters in actions.

first post: oriver wrote: I couldn’t use ‘out’ parameters in actions. Using ‘out’ in actions ...

latest post: jpe wrote: Hi Banil!You have to keep in mind that action arguments are generat...

offline testing of reactive systems

first post: khalili wrote: Hi, I would like to use NModel (or a similar tool like Spec Explore...

latest post: jpe wrote: Hi Ali!To test a reactive system you have to write a harness (also ...

Project still alive?

first post: jarz wrote: I spent time working with Spec Explorer 2010 over the past few mont...

latest post: jarz wrote: Hi jpe,No worries, I was just curious about the state of the projec...

exception occurs when executing mpv

first post: minhquang104 wrote: Hi everyone,I have problems with executing mpvNModel, GLEE are inst...

latest post: minhquang104 wrote: Hi jpe,Thanks for your effort! Hopefully, the bug will be fixed soo...

Testing techniques

first post: sajolly wrote: Hello Everyone!Can anyone tell me which testing criteria NModel fol...

Graphical models with NModel

first post: oriver wrote: A new NModel utility - GML.exe, will be included in a new release o...

latest post: oriver wrote: Sujithra, GML utility is now in the source code repository. It will...

Any Other Modeling tool ?

first post: Sujithra wrote: Hi Friends, I am currently working on NModel where we write the mod...

latest post: oriver wrote: Hi Sujithra,A new NModel utility - GML.exe, will be included in a n...