عنوان
|
Model-based test suite generation for graph transformation system using model simulation and search-based techniques
|
نوع پژوهش
|
مقاله چاپشده
|
کلیدواژهها
|
Model-based testing Search-based testing Graph transformation specification Data-flow coverage
|
چکیده
|
Model-based testing Search-based testing Graph transformation specification Data-flow coverage
|
پژوهشگران
|
وحید رافع (نفر دوم)، اکرم کلایی (نفر اول)
|