Model-Based Testing – a Presentation

I did a presentation about model-based testing. It’s here. Click below to progress, or click here for full screen. I’ve written a series of posts about the tool, mostly as development blog, so you can follow the thought process. The blogs are not 100% up-to-date with the stuff presented, so take that as a preview […]

Read More…

Fast and Accurate Declare Mining

Presentation I’ll give in two weeks.  How to be significantly faster at mining Declare than any existing tool, and at the same time get much better models. Abstract Declarative models make it possible to describe changing systems or systems with a lot of freedom by imposing global constraints instead of explicitly defining the flow of […]

Read More…

Modeling is not Just for Supermodels

Presentation I’ll give next Monday.  I went for a title which is catchy, but in the end turned out to not really have anything to do with the contents.  Then again, “Stuff about CPN Tools and Declare and Operational Support and How They All Fit Together and What I Did the Last Couple Months and […]

Read More…