Maheshwar Chandrasekar

Search State Extensibility based Learning Framework for Model Checking and Test Generation.
. Virginia Tech, Blacksburg, VA, USA, (2010)base-search.net (ftvirginiatec:oai:vtechworks.lib.vt.edu:10919/28978).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found