Travelled to:
1 × Canada
1 × USA
1 × United Kingdom
Collaborated with:
K.Sen N.Piterman S.Chatterjee J.Burnim
Talks about:
automata (1) generat (1) general (1) complex (1) search (1) worst (1) sniff (1) queri (1) minim (1) engin (1)
Person: Sudeep Juvekar
DBLP: Juvekar:Sudeep
Contributed to:
Wrote 3 papers:
- FASE-2009-ChatterjeeJS #java #named #query #using
- SNIFF: A Search Engine for Java Using Free-Form Queries (SC, SJ, KS), pp. 385–400.
- ICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case
- WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
- CAV-2006-JuvekarP #automaton
- Minimizing Generalized Büchi Automata (SJ, NP), pp. 45–58.