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.