Csmith testing againPascal Cuoq - 16th Jan 2012
My presentation Friday at the U3CAT meeting was on the topic of Frama-C Csmith testing. Several posts in this blog already describe facets of this work (it has its own tag). Yet another angle can be found in this short article draft. Said draft by the way will soon need to be either finalized or resubmitted so remarks are welcome if you have them. This webpage provides figures and implementation details that could have been included in the article to improve clarity but weren't because we were aiming for the 6-page short format. The webpage is not intended to make sense separately from the article.
January 25 2012: Updated with most recent draft of the article. The companion webpage has been updated too