Automated Instrumentation of Contracts and Scenarios for Requirements Validation in .NET.

Dave Arnold, Jean-Pierre Corriveau

Browse the full ICSE paper archive.