| Document Date: 2009-09-16 18:43:07 Open Document File Size: 386,28 KBShare Result on Facebook
City EPFL / Austin / / Company NetBeans / Intel / Microsoft / / Country Switzerland / / / Facility A.m Basic Library / Sarfraz Khurshid Viktor Kuncak Darko Marinov University of Texas / / IndustryTerm symbolic execution tools / real-world applications / test generation algorithms / software development tools / declarative search / simpler solution / software errors / delayed choice algorithm / adopted tools / polynomial-time algorithm / recent testing tools / search tree / binary search tree / state-of-the art tool / search space / / OperatingSystem GNU / / Organization University of Illinois / U.S. Securities and Exchange Commission / University of Texas / / Person Milos Gligoric Tihomir Gvero Vilas / / Position driver / official / generic driver / / Product Pex / Eclipse / / ProgrammingLanguage Haskell / Java / C / / ProvinceOrState Texas / Illinois / / Technology virtual machine / Java / polynomial-time algorithm / test generation algorithms / / URL http /
SocialTag |