Test Generation from Bounded Algebraic Specifications Using Alloy

AuthID
 P-008-07R
3
Author(s)
de Andrade, FR
·
3
Editor(es)
Escalona, MJ; Shishkov, B; Cordeiro, J
Tipo de Documento
Proceedings Paper
Year published
2011
Publicado
in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2 in ICSOFT (2)
Volume: 2, Páginas: 192-200 (9)
Conference
6Th International Conference on Software and Database Technologies (Icsoft 2011), Date: JUL 18-21, 2011, Location: Unov Seville, Seville, SPAIN, Patrocinadores: Inst Syst & Technol Informat Control & Commun, Host: Unov Seville
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/262392
Publication Identifiers
DBLP: conf/icsoft/AndradeFP11
SCOPUS: 2-s2.0-80052597365
Wos: WOS:000393364000026
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service