Testing the untestable: model testing of complex software-intensive systems.

Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli

Browse the full ICSE paper archive.