CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (Tools Paper)