*Result*: TestEra: A tool for testing Java programs using alloy specifications
Title:
TestEra: A tool for testing Java programs using alloy specifications
Source:
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ; page 608-611
Publisher Information:
IEEE
Publication Year:
2011
Document Type:
*Conference*
conference object
Language:
unknown
DOI:
10.1109/ase.2011.6100137
Availability:
Accession Number:
edsbas.C7C1F20B
Database:
BASE