Automated functional test case synthesis from THALES industrial requirements.

Autor: Lugato, D., Maraux, F., Le Traon, Y., Nebut, C., Normand, V., Dubois, H., Jean-Yves Pierron, J.-Y., Jean-Pierre Gallois, J.-P.
Zdroj: Proceedings RTAS 2004. 10th IEEE Real-Time & Embedded Technology & Applications Symposium, 2004; 2004, p104-111, 8p
Databáze: Complementary Index