TRUFAL

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:

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s