TestEra: A tool for testing Java programs using alloy specifications.

Shadi Abdul Khalek Guowei Yang Lingming Zhang Darko Marinov Sarfraz Khurshid

Published in: ASE (2011)

Keyphrases

java programs
test case generation
test suite
unit testing
multi threaded
test cases
software testing
real time
software components
java language
information systems