Travelled to:1 × Estonia
1 × India
1 × USA
2 × Germany
Collaborated with:S.Khurshid R.N.Zaeem M.Z.Malik D.Saha S.Chandra K.S.McKinley H.Converse C.S.Pasareanu A.Taly S.Souto M.d'Amorim D.Marinov D.S.Batory
Talks about:repair (3) use (3) specif (2) data (2) base (2) sat (2) statement (1) incomplet (1) structur (1) properti (1)
Person: Divya Gopinath
DBLP: Gopinath:Divya
Contributed to:
2015
2014
2012
201220112019Wrote 6 papers:
- SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line
- Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
- ICSE-2014-GopinathKSC #data-driven
- Data-guided repair of selection statements (DG, SK, DS, SC), pp. 243–253.
- ASE-2012-GopinathZK #effectiveness #fault #locality #specification #using
- Improving the effectiveness of spectra-based fault localization using specifications (DG, RNZ, SK), pp. 40–49.
- TACAS-2012-ZaeemGKM #data type #satisfiability #using
- History-Aware Data Structure Repair Using SAT (RNZ, DG, SK, KSM), pp. 2–17.
- TACAS-2011-GopinathMK #program repair #satisfiability #using
- Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.
- ASE-2019-GopinathCPT #network
- Property Inference for Deep Neural Networks (DG, HC, CSP, AT), pp. 797–809.