C Traceability with Unclear Specifications

In this Embedded Toolbox podcast, Marcel Beemster showcases the difficulties with traceability due to unclear specifications in C.