Kunal Taneja
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2007–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ISSTA | Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. | Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain |
| 2011 | ICSE | DyTa: dynamic symbolic execution guided with static verification results. | Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann |
| 2011 | ISSTA | eXpress: guided path exploration for efficient regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2009 | ICSE | Guided path exploration for regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2007 | ICSE | Towards a Framework for Differential Unit Testing of Object-Oriented Programs. | Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov |