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:
1 × Belgium
1 × Canada
1 × India
1 × South Africa
1 × United Kingdom
2 × Italy
8 × USA
Collaborated with:
E.G.Mercer S.Person C.S.Pasareanu E.Mercer G.Yang S.Khurshid W.Visser P.C.Mehlitz J.Branchaud S.Wesonga T.Fischer B.Ray M.Kim M.W.Whalen M.Staats D.Grijincu L.Zhang J.Backes S.Bayless B.Cook C.Dodge A.Gacek A.J.Hu T.Kahsai B.Kocik E.Kotelnikov J.Kukovec S.McLaughlin J.R.0004 J.Sizemore M.A.Stalzer P.Srinivasan P.Subotic C.Varming B.Whaley
Talks about:
symbol (6) program (4) execut (4) model (4) check (4) concurr (3) guid (3) increment (2) character (2) structur (2)

Person: Neha Rungta

DBLP DBLP: Rungta:Neha

Facilitated 3 volumes:

ASE 2013DemoTrackCh
ASE 2013ToCh
ASE 2011PblCh

Contributed to:

ICSE 20152015
ICSE 20142014
ISSTA 20142014
ASE 20132013
ICSE 20132013
ICSM 20122012
ASE 20112011
ISSTA 20112011
PLDI 20112011
PPoPP 20112011
ASE 20102010
ICSE 20102010
PEPM 20092009
SEFM 20072007
ASE 20052005
CAV (2) 20192019

Wrote 16 papers:

ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.
ICSE-2014-YangKPR #difference #incremental
Property differencing for incremental checking (GY, SK, SP, NR), pp. 1059–1070.
ISSTA-2014-ZhangYRPK #invariant
Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.
ASE-2013-RayKPR #consistency #detection #nondeterminism #semantics
Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.
ICSE-2013-MehlitzRV #java #tutorial
A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
ICSM-2012-RungtaPB #behaviour #evolution #impact analysis
A change impact analysis to characterize evolving program behaviors (NR, SP, JB), pp. 109–118.
ASE-2011-WesongaMR #concurrent #fault #source code #visualisation
Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.
ISSTA-2011-PasareanuRV #execution #symbolic computation
Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.
PLDI-2011-PersonYRK #execution #incremental #symbolic computation
Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
PPoPP-2011-FischerMR #concurrent #modelling
Symbolically modeling concurrent MCAPI executions (TF, EM, NR), pp. 307–308.
ASE-2010-PasareanuR #bytecode #execution #java #symbolic computation
Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
ICSE-2010-RungtaM #concurrent #debugging #slicing #source code
Slicing and dicing bugs in concurrent programs (NR, EM), pp. 195–198.
PEPM-2009-RungtaM #model checking #morphism #polymorphism #source code
Guided model checking for programs with polymorphism (NR, EGM), pp. 21–30.
SEFM-2007-RungtaM #benchmark #metric #model checking
Hardness for Explicit State Software Model Checking Benchmarks (NR, EGM), pp. 247–256.
ASE-2005-RungtaM #heuristic #model checking
A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.
CAV-2019-BackesBCDGHKKKK #analysis #network #reachability
Reachability Analysis for AWS-Based Networks (JB, SB, BC, CD, AG, AJH, TK, BK, EK, JK, SM, JR0, NR, JS, MAS, PS, PS, CV, BW), pp. 231–241.
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.