Travelled to:1 × France
1 × Germany
1 × USA
3 × United Kingdom
Collaborated with:D.Yu N.Islam D.Dhurjati D.Espinosa P.Lee G.C.Necula H.Inamura K.Sen I.Serikov M.AlTurki G.Wassermann Z.Su
Talks about:generat (2) system (2) input (2) dynam (2) test (2) javascript (1) instrument (1) pushdown (1) properti (1) softwar (1)
Person: Ajay Chander
DBLP: Chander:Ajay
Contributed to:
2011
2009
2008
2007
2005
2005Wrote 6 papers:
- ICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
- Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
- FASE-2009-AlTurkiDYCI #analysis #specification
- Formal Specification and Analysis of Timing Properties in Software Systems (MA, DD, DY, AC, HI), pp. 262–277.
- ISSTA-2008-WassermannYCDIS #generative #web
- Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.
- POPL-2007-YuCIS #javascript #security
- JavaScript instrumentation for browser security (DY, AC, NI, IS), pp. 237–249.
- CAV-2005-ChanderEILN #java #named #verification
- JVer: A Java Verifier (AC, DE, NI, PL, GCN), pp. 144–147.
- ESOP-2005-ChanderEILN #bound #dynamic analysis #verification
- Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.