Added ICSE #24
Fix semibias
Fix some specs