Koushik Sen - Publications, H-index & Citations

Back

Koushik Sen

University of California System

65H-index

252Paper Count

1.9WCitation Count

Published Papers 8

Publication Date

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

IEEE SOFTWARE

IF3

2024-01-01

PREAI

Kadron, Ismet Burak; Noller, Yannic; Padhye, Rohan; Bultan, Tevfik; Pasareanu, Corina S.; Sen, Koushik

Save

Platform-Independent Dynamic Taint Analysis for JavaScript

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2020-12-01

OAAI

Karim, Rezwana; Tip, Frank; Sochurkova, Alena; Sen, Koushik

Save

Selecting fault revealing mutants

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2019-12-18

OAAI

Titcheu Chekam, Thierry; Papadakis, Mike; Bissyande, Tegawende F.; Le Traon, Yves; Sen, Koushik

Save

A Survey of Dynamic Analysis and Test Generation for JavaScript

ACM COMPUTING SURVEYS

IF28

2017-09-26

OAAI

Andreasen, Esben; Gong, Liang; Moller, Anders; Pradel, Michael; Selakovic, Marija; Sen, Koushik; Staicu, Cristian-Alexandru

Save

Veritesting Tackles Path-Explosion Problem

COMMUNICATIONS OF THE ACM

IF12.2

2016-05-23

PREAI

Sen, Koushik

Save

Symbolic Execution for Software Testing: Three Decades Later

COMMUNICATIONS OF THE ACM

IF12.2

2013-02-01

584

PREAI

Cadar, Cristian; Sen, Koushik

Save

Asserting and Checking Determinism for Multithreaded Programs (Reprinted)

COMMUNICATIONS OF THE ACM

IF12.2

2010-06-01

PREAI

Burnim, Jacob; Sen, Koushik

Save

A View of the Parallel Computing Landscape

COMMUNICATIONS OF THE ACM

IF12.2

2009-10-01

351

OAAI

Asanovic, Krste; Bodik, Rastislav; Demmel, James; Keaveny, Tony; Keutzer, Kurt; Kubiatowicz, John; Morgan, Nelson; Patterson, David; Sen, Koushik; Wawrzynek, John; Wessel, David; Yelick, Katherine

Save

Research Directions