Automata Based Test Generation with SPECPRO

Vuotto, S; Narizzano, M; Pulina, L; Tacchella, A

Vuotto, S (reprint author), Univ Sassari, Chem & Farm Dept, Sassari, Italy.; Vuotto, S (reprint author), Univ Genoa, DIBRIS, Genoa, Italy.

2019 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET 2019), 2019; (): 13

Abstract

In this paper we introduce a new automata based test generation algorithm implemented in SPECPRO, our library for supporting analysis and development ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索