|
|
|
|
|
Yiming Fan and Meng Wang
Software specifications are of great importance to improve the quality of software. To automatically mine specifications from software systems, some specification mining approaches based on finite-state automatons have been proposed. However, these appro...
ver más
|
|
|
|
|