David Lo. Mining specifications in diversified formats from execution traces. In 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China. pages 420-423, IEEE, 2008. [doi]
Abstract is missing.