"Bugmen"@cs .