Model-based testing

Le Traon, Y; Xie, T

Le Traon, Y (通讯作者),Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, Esch Sur Alzette, Luxembourg.

SOFTWARE TESTING VERIFICATION & RELIABILITY, 2023; 33 (2):