Test Generation from Bounded Algebraic Specifications Using Alloy

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

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service