Magical software specification and testing