New techniques for symbolic execution and state coverage by