|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 10 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori |
Bottom-up shape analysis using LISF.  |
ACM Trans. Program. Lang. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori |
Probabilistic, modular and scalable inference of typestate specifications. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Nori, Sriram K. Rajamani |
Program Analysis and Machine Learning: A Win-Win Deal. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Nori, Sriram K. Rajamani |
Program Analysis and Machine Learning: A Win-Win Deal. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur |
Proofs from Tests. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
Software model checking, abstraction refinement, directed testing |
| 1 | Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
Refining abstract interpretations. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
Compositional may-must program analysis: unleashing the power of alternation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
software model checking, abstraction refinement, directed testing |
| 1 | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
Alternation for Termination. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Nori, Sriram K. Rajamani |
An empirical study of optimizations in YOGI. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
testing, software model checking, abstraction refinement, directed testing |
| 1 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee |
Merlin: specification inference for explicit information flow problems. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
| 1 | Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur |
The YogiProject: Software Property Checking via Static Analysis and Testing. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Nori, Sriram K. Rajamani |
Verification, Testing and Statistics. |
TAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
Bottom-Up Shape Analysis. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani |
HOLMES: Effective statistical debugging via efficient path profiling. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin |
Automating Software Testing Using Program Analysis. |
IEEE Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
Automatically Refining Abstract Interpretations. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |
Proofs from tests. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
abstraction refinemen, software model checking, directed testing |
| 1 | Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani |
Combining Tests and Proofs. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi |
Preferential path profiling: compactly numbering interesting paths. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
preferential paths, profiling, dynamic analysis, arithmetic coding |
| 1 | Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani |
Quantifying the effectiveness of testing via efficient residual path profiling. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
inter-procedural, testing, residual, path profiling |
| 1 | Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani |
Quantifying the effectiveness of testing via efficient residual path profiling. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
inter-procedural, testing, residual, path profiling |
| 1 | Aditya V. Nori, P. Shankar |
Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes. |
IEEE Transactions on Information Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani |
SYNERGY: a new algorithm for property checking. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
testing, software model checking, abstraction refinement, directed testing |
| 1 | Helmut Seidl, Aditya V. Nori |
On the Expressiveness of Tree Set Operators |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2002 |
RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")