In this post, I want to show some of the changes I have made to make the MBT Workbench support testing web applications and inspecting databases. […]
The Road Ahead for Model-Based Testing

In this post, I want to show some of the changes I have made to make the MBT Workbench support testing web applications and inspecting databases. […]
I like to generate state-spaces. I generate a lot of them. And I have made the code efficient enough that I can generate very large ones. Normally, when you code, using hundreds or even thousands of bytes for an object is no issue, but when you multiple 1000 with a million, you suddenly use 1 […]