Software Test Automation and Quality Engineering - MAPi
7
0
0
Texto
Documentos relacionados
Key Publications: • Andrade FR, Faria JP, Paiva A; Test Generation from Bounded Algebraic Specifications using Alloy, 6th International Conference on Software and Data Technologies