Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation.

Kuangxiangzi Liu, Alexander Liggesmeyer, Dhiman Chakraborty, Andreas Zeller

Browse the full ICST paper archive.