Concepedia

Constraint Generation

Constraint Generation is a methodological process in symbolic execution that systematically derives path constraints from program execution paths by collecting conditional expressions encountered during exploration, distinguishing it from other program analysis techniques through its focus on generating logical formulas representing feasible execution paths.

444

Publications

29.8K

Citations

1.2K

Authors

400

Institutions

Publications per year

2017–2026

184

Parents

Publications

444

Solving two-stage robust optimization problems using a column-and-constraint generation method

Bo Zeng, Long Zhao · Operations Research Letters · 2013 · 1.7K citations

, , +11

CUTE

Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.7K citations

, , +15

Constraint-based automatic test data generation

R.A. DeMilli, A. Jefferson Offutt · IEEE Transactions on Software Engineering · 1991 · 809 citations

, , +16

EXE

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski et al. · 2006 · 789 citations

, , +14

CUTE

Ingrid Bongartz, Andrew R. Conn, Philippe L. Toint · ACM Transactions on Mathematical Software · 1995 · 740 citations · Full text

, , +15

1–5 of 444

Authors

1.2K

  1. MS
    Mohammad Shahidehpour

    Illinois Institute of Technology, United States

    12 publications · 1.5K citations

    12

    h-index

  2. JW
    Jianhui Wang

    Argonne National Laboratory, United States

    10 publications · 1.2K citations

    10

    h-index

  3. CW
    Cheng Wang

    North China Electric Power University, China

    8 publications · 413 citations

    8

    h-index

  4. BZ
    Bo Zeng

    University of Pittsburgh, United States

    8 publications · 2.2K citations

    8

    h-index

  5. WW
    Wei Wei

    Tsinghua University, China

    8 publications · 638 citations

    8

    h-index

1–5 of 1.2K

Institutions

400

  1. Tsinghua University

    Beijing, China

    23 h-index

    67 publications

    5.6K citations

  2. North China Electric Power University

    Beijing, China

    19 h-index

    49 publications

    1.9K citations

  3. University of California, Berkeley

    Berkeley, United States

    17 h-index

    31 publications

    2.4K citations

  4. University of Washington

    Seattle, United States

    13 h-index

    18 publications

    1.5K citations

  5. Illinois Institute of Technology

    Chicago, United States

    13 h-index

    16 publications

    1.7K citations

  6. Nanyang Technological University

    Singapore, Singapore

    13 h-index

    22 publications

    1.1K citations

  7. Stanford University

    Stanford, United States

    12 h-index

    26 publications

    7.1K citations

  8. Argonne National Laboratory

    Lemont, United States

    11 h-index

    14 publications

    2K citations

1–8 of 400

Venues

  1. IEEE Transactions on Power Systems

    46 publications · 4.5K citations

    37

    h-index

  2. IEEE Transactions on Sustainable Energy

    TSTE · 23 publications · 2.4K citations

    23

    h-index

  3. IEEE Transactions on Smart Grid

    23 publications · 2.5K citations

    22

    h-index

  4. 6

    h-index

  5. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 6 publications · 131 citations

    6

    h-index

1–5