A declarative JVM Language for Automated Validation. - Nabarun Mondal; Jatin Puri (CoRR, 2016)