%0 Journal Article %T Automatic Test Cases Generation from Software Specifications %A Alhroob Aysh %A Dahal Keshav %A Hossain Alamgir %J e-Informatica Software Engineering Journal %D 2010 %I Wroclaw University of Technology %U http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_4/eInformatica2010Art8.pdf