SDL as a Testing Language.

Chakib Chraibi, Omar Rafiq, Richard Castanet

Browse the full ICCC paper archive.