Inventor

RAJAN SREERANGA

US1 patents

Patents

1 patent

US8856751B2Oct 7, 2014

Abstract symbolic execution for scaling symbolic execution generation and automatic test generation

FUJISTU LTD7 citations79