Test semantics enhanced