Concepedia

Feasibility Checking

Feasibility Checking is a symbolic execution method that determines whether a given program path is achievable under the program’s constraints by verifying the satisfiability of the accumulated path conditions using constraint solvers.

64

Publications

3.8K

Citations

163

Authors

95

Institutions

Publications per year

2017–2026

8

Parents

Publications

64

Solving Constrained Nonlinear Optimization Problems with Particle Swarm Optimization

Xiaohui Hu, Russell C. Eberhart · 2002 · 413 citations

, , +16

Bioremediation engineering: design and application

Choice Reviews Online · 1995 · 360 citations

, , +13

Cheddar

Frank Singhoff, Jérôme Legrand, Laurent Nana et al. · 2004 · 242 citations

, , +17

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher · 1998 · 233 citations · Full text

, , +16

Automated test data generation using an iterative relaxation method

Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa · 1998 · 180 citations

, , +15

1–5 of 64

Authors

163

  1. RM
    Rupak Majumdar

    Max Planck Institute for Software Systems, Germany

    4 publications · 385 citations

    4

    h-index

  2. LN
    Laurent Nana

    Université de Bretagne Occidentale, France

    2 publications · 341 citations

    2

    h-index

  3. FS
    Frank Singhoff

    Université de Bretagne Occidentale, France

    2 publications · 341 citations

    2

    h-index

  4. HL
    Hongbin Li

    Stevens Institute of Technology, United States

    2 publications · 45 citations

    2

    h-index

  5. NG
    Neelam Gupta

    University of Arizona, United States

    2 publications · 220 citations

    2

    h-index

1–5 of 163

Institutions

95

  1. Chinese Academy of Sciences

    Beijing, China

    3 h-index

    5 publications

    327 citations

  2. Max Planck Institute for Informatics

    Saarbrücken, Germany

    3 h-index

    7 publications

    432 citations

  3. Tsinghua University

    Beijing, China

    3 h-index

    6 publications

    226 citations

  4. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    5 publications

    853 citations

  5. Institute of Software

    Beijing, China

    3 h-index

    5 publications

    327 citations

  6. University of Connecticut

    Storrs, United States

    2 h-index

    2 publications

    71 citations

  7. University of California, Los Angeles

    Los Angeles, United States

    2 h-index

    2 publications

    184 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    288 citations

1–8 of 95

Venues

  1. IEEE Transactions on Power Systems

    4 publications · 194 citations

    4

    h-index

  2. Operations Research

    3 publications · 108 citations

    3

    h-index

  3. ACM SIGPLAN Notices

    2 publications · 153 citations

    2

    h-index

  4. Automatica

    2 publications · 133 citations

    2

    h-index

  5. Operations Research Letters

    2 publications · 107 citations

    2

    h-index

1–5