This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the given program. It ...

The ab2t program is similar to the reference standard avrocat program and converts Avro OCF files to Avro JSON encoding. arw The Avro-ReWrite program, arw , can be used to rewrite an Avro OCF file ...