Stem utomat$ (all stems)

2 papers:

ICST-2013-GargantiniGM #analysis #automation #named #robust

AURORA: AUtomatic RObustness coveRage Analysis Tool (AG, MG, EM), pp. 463–470.

DATE-2005-WenzelRKP #clustering #context-free grammar #generative #model checking

utomatic Timing Model Generation by CFG Partitioning and Model Checking (IW, BR, RK, PPP), pp. 606–611.