![](/img/cover-not-exists.png)
[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - TestEra: A tool for testing Java programs using alloy specifications
Khalek, Shadi Abdul, Guowei Yang,, Lingming Zhang,, Marinov, Darko, Khurshid, SarfrazYear:
2011
Language:
english
DOI:
10.1109/ase.2011.6100137
File:
PDF, 721 KB
english, 2011