Blog

Conformiq is Hiring!

Conformiq is a global, privately held company with a mission to help companies reduce their test design costs with our innovative model-based Automated Test Design™ ...

Distributed Test Generation

As detailed in a blog post I wrote a couple of months ago, the core of Conformiq DesignerTM is a custom crafted  semantics driven, symbolic state space exploration  algorithm ...

Performance of Test Generation

Test generation from system models is computationally very hard: Just generating input sequences that cover all the statements of a system model is theoretically an ...

ETSI UCAAT 2013

In late October, ETSI organized for the first time a user conference for advanced automated testing – UCAAT for short. This conference is, on contrary to many other academic ...

Black-box vs. White-box Coverage

When talking about black-box and white-box testing, the term "box" refers to the system under test or SUT where the "color of the box" refers to the visibility that a tester ...