Travelled to:1 × Austria
1 × China
6 × USA
Collaborated with:G.Li N.K.Jha S.P.Rajan M.Fujita H.Yoshida M.R.Prasad E.Andreasen S.Dey S.Bhawmik A.Raghunathan N.Shafiei W.Chiang C.Nguyen K.Sen S.Tokumoto T.Uehara P.Li G.Sawaya G.Gopalakrishnan
Talks about:test (9) generat (7) automat (4) symbol (3) tool (3) testabl (2) program (2) analysi (2) applic (2) base (2)
Person: Indradeep Ghosh
DBLP: Ghosh:Indradeep
Contributed to:
2015
2014
2013
2012
2011
2000199819972016Wrote 10 papers:
- ICST-2015-0001YPGS #analysis #generative #testing #using
- Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
- FSE-2014-LiAG #automation #javascript #named #testing #web
- SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
- ICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing
- JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
- PPoPP-2012-LiLSGGR #generative #named #testing #verification
- GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
- CAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing
- KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
- DAC-2000-GhoshF #automation #diagrams #functional #generative #using
- Automatic test pattern generation for functional RTL circuits using assignment decision diagrams (IG, MF), pp. 43–48.
- DAC-1998-GhoshDJ #low cost #performance #testing
- A Fast and Low Cost Testing Technique for Core-Based System-on-Chip (IG, SD, NKJ), pp. 542–547.
- DAC-1998-GhoshJB #analysis #testing
- A BIST Scheme for RTL Controller-Data Paths Based on Symbolic Testability Analysis (IG, NKJ, SB), pp. 554–559.
- DAC-1997-GhoshRJ #design #generative #testing
- Hierarchical Test Generation and Design for Testability of ASPPs and ASIPs (IG, AR, NKJ), pp. 534–539.
- FSE-2016-YoshidaTPGU #c #c++ #fine-grained #generative #incremental #named #source code #testing
- FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.