H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 62 Citations 19,268 154 World Ranking 1399 National Ranking 794

Research.com Recognitions

Awards & Achievements

2011 - Fellow of Alfred P. Sloan Foundation

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Artificial intelligence

His primary areas of study are Programming language, Java, Concolic testing, Random testing and Symbolic execution. As part of his studies on Programming language, Koushik Sen frequently links adjacent subjects like Benchmark. His work carried out in the field of Java brings together such families of science as Program analysis, Concurrency, Programmer, Static analysis and Deadlock.

His research integrates issues of Theoretical computer science, Taint checking, Source lines of code, Code coverage and Web application in his study of Concolic testing. His work deals with themes such as Correctness, Manual testing and Data structure, which intersect with Random testing. His study on Symbolic execution also encompasses disciplines like

  • Unit testing which connect with Pointer, White-box testing, Keyword-driven testing and Non-regression testing,
  • Software system together with Integration testing.

His most cited work include:

  • DART: directed automated random testing (2055 citations)
  • CUTE: a concolic unit testing engine for C (1526 citations)
  • Symbolic execution for software testing: three decades later (497 citations)

What are the main themes of his work throughout his whole career to date?

Koushik Sen mostly deals with Programming language, Java, Theoretical computer science, Concolic testing and Algorithm. His work in Symbolic execution, Thread, Concurrency, Programmer and Software are all subfields of Programming language research. He interconnects Unit testing, Test case and Pointer in the investigation of issues within Symbolic execution.

His Java research is multidisciplinary, incorporating elements of Multithreading, Program analysis and Parallel computing. He has researched Theoretical computer science in several fields, including Regular expression and Probabilistic logic. In his study, which falls under the umbrella issue of Concolic testing, Fuzz testing is strongly linked to Random testing.

He most often published in these fields:

  • Programming language (40.53%)
  • Java (16.74%)
  • Theoretical computer science (14.98%)

What were the highlights of his more recent work (between 2017-2021)?

  • Fuzz testing (8.37%)
  • Programming language (40.53%)
  • Code (7.05%)

In recent papers he was focusing on the following fields of study:

Koushik Sen mostly deals with Fuzz testing, Programming language, Code, Code coverage and Artificial intelligence. The concepts of his Fuzz testing study are interwoven with issues in Domain, Correctness and Parsing. Koushik Sen usually deals with Domain and limits it to topics linked to Semantic analysis and Random testing.

His study in Random testing is interdisciplinary in nature, drawing from both Pipeline, Data mining and Data structure. Programming language and Big data are commonly linked in his work. His work carried out in the field of Code coverage brings together such families of science as Graphical user interface, Iterative and incremental development, Theoretical computer science and Regression testing.

Between 2017 and 2021, his most popular works were:

  • FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage (106 citations)
  • DeepBugs: a learning approach to name-based bug detection (98 citations)
  • PerfFuzz: automatically generating pathological inputs (61 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Artificial intelligence

Koushik Sen mainly focuses on Fuzz testing, Software, Code, Code coverage and Natural language. His Fuzz testing study also includes fields such as

  • Correctness and related Embedded system, Field-programmable gate array and Fuzzy logic,
  • Parsing which connect with Generator, Random testing, Effective method and Buffer overflow. Koushik Sen has included themes like Solver and Mathematical optimization in his Software study.

His studies deal with areas such as Set, Theoretical computer science, Information retrieval and Mutation as well as Code. His study with Code coverage involves better knowledge in Programming language. His biological study spans a wide range of topics, including Learning curve and Search engine.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

DART: directed automated random testing

Patrice Godefroid;Nils Klarlund;Koushik Sen.
programming language design and implementation (2005)

3154 Citations

CUTE: a concolic unit testing engine for C

Koushik Sen;Darko Marinov;Gul Agha.
foundations of software engineering (2005)

2327 Citations

Symbolic execution for software testing: three decades later

Cristian Cadar;Koushik Sen.
Communications of The ACM (2013)

784 Citations

A view of the parallel computing landscape

Krste Asanovic;Rastislav Bodik;James Demmel;Tony Keaveny.
parallel computing (2009)

783 Citations

Heuristics for Scalable Dynamic Test Generation

J. Burnim;K. Sen.
automated software engineering (2008)

552 Citations

CUTE and jCUTE: concolic unit testing and explicit path model-checking tools

Koushik Sen;Gul Agha.
computer aided verification (2006)

547 Citations

Hybrid Concolic Testing

Rupak Majumdar;Koushik Sen.
international conference on software engineering (2007)

486 Citations

Rule-Based Runtime Verification

Howard Barringer;Allen Goldberg;Klaus Havelund;Koushik Sen.
verification model checking and abstract interpretation (2004)

475 Citations

Symbolic execution for software testing in practice: preliminary assessment

Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu.
international conference on software engineering (2011)

426 Citations

Race directed random testing of concurrent programs

Koushik Sen.
programming language design and implementation (2008)

424 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Koushik Sen

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 83

Tao Xie

Tao Xie

Peking University

Publications: 72

Nikolai Tillmann

Nikolai Tillmann

Facebook (United States)

Publications: 63

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 60

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 54

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 49

Gordon Fraser

Gordon Fraser

University of Passau

Publications: 46

Mark Harman

Mark Harman

University College London

Publications: 45

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 39

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 38

Zhendong Su

Zhendong Su

ETH Zurich

Publications: 35

Xiangyu Zhang

Xiangyu Zhang

Purdue University West Lafayette

Publications: 35

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 35

Patrice Godefroid

Patrice Godefroid

Microsoft (United States)

Publications: 31

Chao Wang

Chao Wang

Chinese Academy of Sciences

Publications: 30

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 29

Something went wrong. Please try again later.