Test generation from business rulesSimon Holm JensenSuresh Thummalapentaet al.2015ICST 2015Conference paper