Semantic unit testing: test code without executing it