A first step in the design of a formally verified constraint-based testing tool: FocalTest
Résumé
A first step in the design of a formally verified constraint-based testing tool
A first step in the design of a formally verified constraint-based testing tool
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126115
Soumis le : vendredi 6 mars 2015-11:40:48
Dernière modification le : mercredi 9 juillet 2025-15:06:18