Frama-C news and ideas

To content | To menu | To search | Frama-C Home

Csmith testing again

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