Test Case Generation Using Model Checking for Software Components Deployed into New Environments.

Tonglaga Bao, Michael D. Jones

Browse the full ICST paper archive.