Neha Rungta
发表
Sarfraz Khurshid,
Guowei Yang,
Suzette Person,
2011,
PLDI '11.
Lingming Zhang,
S. Khurshid,
S. Person,
2013
.
William J. Clancey,
Chin Seah,
Charlotte Linde,
2014,
AAAI Spring Symposia.
Eric Mercer,
Franco Raimondi,
Neha Rungta,
2016,
MiSE@ICSE.
Neha Rungta,
2010
.
Taolue Chen,
F. Raimondi,
Neha Rungta,
2015,
Studia Logica.
Hyrum Carroll,
Mark J. Clement,
Quinn Snell,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Sarfraz Khurshid,
Guowei Yang,
Suzette Person,
2014,
ISSTA 2014.
Miryung Kim,
Suzette Person,
Baishakhi Ray,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Douglas J. Gillan,
Eric Mercer,
Neha Rungta,
2016,
IEEE Trans. Hum. Mach. Syst..
Ranjit Jhala,
Liana Hadarean,
Byron Cook,
2020,
ESEC/SIGSOFT FSE.
Pauline Bolignano,
Kasper Søe Luckow,
John D. Backes,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Giuseppe Primiero,
Franco Raimondi,
Neha Rungta,
2016,
Intelligent Environments.
Giuseppe Primiero,
Taolue Chen,
Franco Raimondi,
2016,
Stud Logica.
Suzette Person,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2015,
NFM.
Sarfraz Khurshid,
Guowei Yang,
Neha Rungta,
2014,
TSEM.
Alfons Laarman,
Guillaume Brat,
David Faragó,
2013
.
Corina S. Pasareanu,
Willem Visser,
Jaco Geldenhuys,
2013,
Automated Software Engineering.
Corina S. Pasareanu,
Neha Rungta,
C. Pasareanu,
2010,
ASE.
Corina S. Pasareanu,
Willem Visser,
Neha Rungta,
2011,
ISSTA '11.
Guillaume Brat,
Arnaud Venet,
Neha Rungta,
2013,
Lecture Notes in Computer Science.
Cole Schlesinger,
Pauline Bolignano,
John D. Backes,
2019,
IEEE Software.
Oksana Tkachuk,
Neha Rungta,
Neha Rungta,
2014,
International Symposium on Software Testing and Analysis.
Alan J. Hu,
Temesghen Kahsai,
John D. Backes,
2019,
CAV.
Cole Schlesinger,
Ranjit Jhala,
John D. Backes,
2020,
CAV.
Eric Mercer,
Neha Rungta,
Eric Noonan,
2014,
SOEN.
Suzette Person,
John D. Backes,
Neha Rungta,
2013,
SPIN.
Willem Visser,
Eric Mercer,
Neha Rungta,
2009,
SPIN.
Z. Rakamaric,
Aleksandar Chakarov,
Neha Rungta,
2022,
TACAS.
Michael A. Goodrich,
Eric Mercer,
Franco Raimondi,
2015,
AAMAS.
Suzette Person,
Eric Mercer,
Neha Rungta,
2016,
VMCAI.
Sarfraz Khurshid,
Guowei Yang,
Suzette Person,
2014,
ICSE.
Lucas G. Wagner,
J. Foster,
Z. Rakamaric,
2023,
NFM.
Franco Raimondi,
Neha Rungta,
Andrew Wallace,
2016,
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE).
Franco Raimondi,
Neha Rungta,
Richard Stocker,
2013,
AAMAS.
S. Khurshid,
Guowei Yang,
Neha Rungta,
2011,
PLDI '11.
Neha Rungta,
2022,
CAV.
Eric Mercer,
Neha Rungta,
Neha Rungta,
2009,
PADTAD '09.