NEWS
Free Institutional Consultancy Services
New Feature: Compare Your Institution with the Previous Year
Find a Professional: Explore Experts Across 197 Disciplines in 220 Countries!
Find a Professional
Print Your Certificate
New! Young University / Institution Rankings 2025
New! Art & Humanities Rankings 2025
New! Social Sciences and Humanities Rankings 2025
Highly Cited Researchers 2025
AD
Scientific Index 2025
Scientist Rankings
University Rankings
Subject Rankings
Country Rankings
login
Login
person_add
Register
insights
H-Index Rankings
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
subject
University Subject Rankings
school
Young Universities
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
format_quote
Compare & Choose
local_fire_department
Country Reports
person
Find a Professional
Koushik Sen
University of California Berkeley - Berkeley / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1735822
Registration, Add Profile,
Premium Membership
Print Your Certificate
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Subject Leaders
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Koushik Sen's MOST POPULAR ARTICLES
1-)
DART: Directed automated random testingP Godefroid, N Klarlund, K SenProceedings of the 2005 ACM SIGPLAN conference on Programming language …, 200533272005
2-)
CUTE: A concolic unit testing engine for CK Sen, D Marinov, G AghaACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 200524552005
3-)
Symbolic execution for software testing: three decades laterC Cadar, K SenCommunications of the ACM 56 (2), 82-90, 20139372013
4-)
A view of the parallel computing landscapeK Asanovic, R Bodik, J Demmel, T Keaveny, K Keutzer, J Kubiatowicz, ...Communications of the ACM 52 (10), 56-67, 20099742009
5-)
Heuristics for scalable dynamic test generationJ Burnim, K Sen2008 23rd IEEE/ACM International Conference on Automated Software …, 20086342008
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept