Concepedia

Concolic Testing

Concolic Testing is a hybrid software analysis technique that combines concrete execution and symbolic execution to systematically explore program paths by generating inputs that satisfy path constraints derived from executed traces.

97

Publications

5.6K

Citations

254

Authors

93

Institutions

Publications per year

2017–2026

37

Parents

Publications

97

Hybrid Concolic Testing

Rupak Majumdar, Koushik Sen · 2007 · 423 citations

, , +14

Heuristics for Scalable Dynamic Test Generation

Jacob Burnim, Koushik Sen · 2008 · 408 citations

, , +15

Automated concolic testing of smartphone apps

Saswat Anand, Mayur Naik, Mary Jean Harrold et al. · 2012 · 402 citations

, , +11

Concolic testing for deep neural networks

Youcheng Sun, Min Wu, Wenjie Ruan et al. · 2018 · 329 citations · Full text

, , +13

Jalangi: a selective record-replay and dynamic analysis framework for JavaScript

Koushik Sen, Swaroop Kalasapur, Tasneem Brutch et al. · 2013 · 271 citations

, , +16

1–5 of 97

Authors

254

  1. MK
    Moonzoo Kim

    Korea Advanced Institute of Science and Technology, South Korea

    12 publications · 399 citations

    12

    h-index

  2. YK
    Yunho Kim

    Korea Advanced Institute of Science and Technology, South Korea

    10 publications · 280 citations

    10

    h-index

  3. KS
    Koushik Sen

    University of California, Berkeley, United States

    9 publications · 1.6K citations

    9

    h-index

  4. GR
    Gregg Rothermel

    University of Nebraska–Lincoln, United States

    5 publications · 239 citations

    5

    h-index

  5. SG
    Sangharatna Godboley

    National Institute of Technology Rourkela, India

    5 publications · 101 citations

    5

    h-index

1–5 of 254

Institutions

93

  1. Korea Advanced Institute of Science and Technology

    Daejeon, South Korea

    13 h-index

    29 publications

    1K citations

  2. University of California, Berkeley

    Berkeley, United States

    7 h-index

    9 publications

    2K citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    9 publications

    282 citations

  4. University of Nebraska–Lincoln

    Lincoln, United States

    5 h-index

    11 publications

    552 citations

  5. National Institute of Technology Rourkela

    Rourkela, India

    5 h-index

    15 publications

    297 citations

  6. Samsung (South Korea)

    Seoul, South Korea

    5 h-index

    9 publications

    361 citations

  7. University of Oxford

    Oxford, United Kingdom

    4 h-index

    13 publications

    2.4K citations

  8. University of California, Los Angeles

    Los Angeles, United States

    4 h-index

    6 publications

    967 citations

1–8 of 93

Venues

  1. Science of Computer Programming

    2 publications · 27 citations

    2

    h-index

  2. IEEE Transactions on Reliability

    2 publications · 22 citations

    2

    h-index

  3. Formal Aspects of Computing

    1 publications · 28 citations

    1

    h-index

  4. Journal of Systems Architecture

    JSA · 1 publications · 11 citations

    1

    h-index

  5. Computer Standards & Interfaces

    1 publications · 17 citations

    1

    h-index

1–5