Mani Prasard Kancherla profile picture

Mani Prasard Kancherla

Is this your author profile? Create an account to customize it!

Stand Alone

Generating Test Templates via Automated Theorem Proving
Generating Test Templates Via Automated Theorem Proving