TRUFAL aims at development of efficient model-based generation of test cases for industrial embedded applications with a special focus on finding implementation faults which violate requirements. This will be achieved by the principle of mutation-based testing, where an original model is slightly modified (“faulted”) and then test cases are searched which will detect these deviations. Read more here.

The latest news about the project are served as posts.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s