Search results for "Neha Rungta"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid	Directed incremental symbolic execution.	PLDI	2011	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Neha Rungta, Michael Feary	Automated test case generation for an autopilot requirement prototype.	SMC	2011	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Neha Rungta, Willem Visser	Symbolic execution with mixed concrete-symbolic solving.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Saint Wesonga, Eric G. Mercer, Neha Rungta	Guided test visualization: Making sense of errors in concurrent programs.	ASE	2011	DBLP DOI BibTeX RDF
1	Topher Fischer, Eric Mercer, Neha Rungta	Symbolically modeling concurrent MCAPI executions.	PPOPP	2011	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Neha Rungta	Symbolic PathFinder: symbolic execution of Java bytecode.	ASE	2010	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric Mercer	Slicing and dicing bugs in concurrent programs.	ICSE	2010	DBLP DOI BibTeX RDF	underapproximation, concurrency, abstraction-refinement
1	Neha Rungta, Eric G. Mercer	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.	PADTAD	2009	DBLP DOI BibTeX RDF	testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs
1	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
1	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	A Meta Heuristic for Effectively Detecting Concurrency Errors.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Hardness for Explicit State Software Model Checking Benchmarks.	SEFM	2007	DBLP DOI BibTeX RDF
1	Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell	Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	SPIN	2007	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	An Improved Distance Heuristic Function for Directed Software Model Checking.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	A context-sensitive structural heuristic for guided search model checking.	ASE	2005	DBLP DOI BibTeX RDF	structural heuristics, guided search

Publications of "Neha Rungta" ( http://dblp.L3S.de/Authors/Neha_Rungta )