Skip to content

Euclide: A Constraint-Based Testing Framework for Critical C Programs.

Arnaud Gotlieb

VenueAICST
Year2009
ProceedingsICST

Browse the full ICST paper archive.