Jonathan de Halleux

Boundary feedback control in networks of open channels

Jonathan de Halleux, Christophe Prieur, Jean‐Michel Coron et al. · Automatica · 2003 · 305 citations

Network Science, Engineering, Networked Control +3

Fitness-guided path exploration in dynamic symbolic execution

Tao Xie, Nikolai Tillmann, Jonathan de Halleux et al. · 2009 · 233 citations

Heuristic Search, Engineering, Fitness-guided Path Exploration +21

Test generation via Dynamic Symbolic Execution for mutation testing

Lingming Zhang, Tao Xie, Lu Zhang et al. · 2010 · 117 citations

Engineering, Mutation Testing, Genetics +19

TouchDevelop

Nikolai Tillmann, Michał Moskal, Jonathan de Halleux et al. · 2011 · 104 citations

Technology Shift, Engineering, Mobile Interaction +11

MSeqGen

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann et al. · 2009 · 90 citations

Engineering, Verification, Test Data Generation +16