CASTING: A Formally Based Software Test Generation Method.

Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Mtayer

Browse the full ICFEM paper archive.