• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Koushik Sen
  • Computer Science
  • Haifa Verification Conference
  • 2009 (First Publication: 19 October 2009)
  • Testing with manually generated test cases is the primary technique used in industry to improve reliability of software-in fact, such testing is reported to account for over half of the typical costContinue Reading
  • Jacob Burnim, Koushik Sen
  • Computer Science
  • 23rd IEEE/ACM International Conference on…
  • 2008 (First Publication: 1 September 2008)
  • Recently there has been great success in using symbolic execution to automatically generate test inputs for small software systems. A primary challenge in scaling such approaches to larger programsContinue Reading