Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns.

Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau

Browse the full ISORC paper archive.