New tests for uncovered semantic behaviors