Bullet-proofing Helium’s embedded C code with Erlang QuickCheck #1 Post by pharkmillups » Tue, Jan 12, 2016, 6:35 PM UTC Bullet-proofing Helium’s embedded C code with Erlang QuickCheckblog.helium.com