Automated Property-Based Testing from AADL Component Contracts.

John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter

Browse the full FMICS paper archive.