BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Switzerland
2 × USA
Collaborated with:
S.Thummalapenta S.Sinha S.Chandra R.Alur P.Devaki N.Sinha M.Sridharan M.Faella S.Kannan J.Devietti O.S.N.Leija A.K.Das S.Mangipudi
Talks about:
test (4) effici (2) autom (2) gpu (2) uncoalesc (1) without (1) program (1) process (1) flexibl (1) script (1)

Person: Nimit Singhania

DBLP DBLP: Singhania:Nimit

Contributed to:

ISSTA 20132013
CAV 20122012
FSE 20122012
ICSE 20122012
CSL 20162016
CAV (1) 20172017

Wrote 6 papers:

ISSTA-2013-DevakiTSS #execution #flexibility #performance #user interface
Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.
CAV-2012-SinhaSCS
Alternate and Learn: Finding Witnesses without Looking All over (NS, NS, SC, MS), pp. 599–615.
FSE-2012-ThummalapentaSDSCDM #testing
Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.
ICSE-2012-ThummalapentaSSC #automation #testing
Automating test automation (ST, SS, NS, SC), pp. 881–891.
CSL-2016-AlurFKS #markov #process
Hedging Bets in Markov Decision Processes (RA, MF, SK, NS), p. 20.
CAV-2017-AlurDLS #detection #gpu #named #source code
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs (RA, JD, OSNL, NS), pp. 507–525.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.