Back to Results
First PageMeta Content
Automated theorem proving / Concolic testing / Test Data Generation / Theoretical computer science / Symbolic execution / Pointer / Algorithm / Function / Linear programming / Mathematics / Computing / Software engineering


CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha Department of Computer Science
Add to Reading List

Document Date: 2009-02-05 16:14:24

Open Document

File Size: 223,19 KB

Share Result on Facebook

City

Lisbon / Austin / Larson / /

Company

IBM / Concolic Execution / S. McPeak S. P. / Intel / Microsoft / /

Country

Portugal / /

Currency

USD / /

/

Facility

Computer Science University of Illinois / C library / /

IndustryTerm

depthfirst search mode / depthfirst search / cryptographic protocols / consecutive solutions / bounded depth-first search mode / bounded depth-first search strategy / software bugs / recent tools / non-bounded depthfirst search / depth-first search / e-> / lightweight tool / respective solutions / /

OperatingSystem

Linux / Microsoft Windows / Windows NT / /

Organization

University of Illinois / Gul Agha Department / INTRODUCTION Unit / /

Person

Alex Orso / Sarfraz Khurshid / Patrice Godefroid / Sameer Sundresh / Darko Marinov / Tao Xie / Gul Agha / Thomas Ball / Rupak Majumdar / Nils Klarlund / Cristian Cadar / /

Position

first author / J. Painter / head / Debugging General / /

ProgrammingLanguage

Haskell / Java / C / /

PublishedMedium

Symposia / /

Technology

Functional Programming / Object-Oriented Programming / Xeon processor / Java / Linux / cmp / /

URL

http /

SocialTag