|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen |
PREFAIL: a programmable tool for multiple-failure injection.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitra Alavani, Roland Glowinski, Susana Gomez, Benjamin Ivorra, Pallavi Joshi, Angel Manuel Ramos |
Modelling and simulation of a polluted water pumping process. |
Mathematical and Computer Modelling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay |
An effective dynamic analysis for detecting generalized deadlocks. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik |
A randomized dynamic program analysis technique for detecting real deadlocks. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
active testing, concurrency, deadlock detection, dynamic program analysis |
| 1 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Debdeep Mukhopadhyay, Pallavi Joshi, Dipanwita Roy Chowdhury |
VLSI Architecture of a Cellular Automata based One-Way Function. |
JCP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Joshi, Koushik Sen |
Predictive Typestate Checking of Multithreaded Java Programs. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Debdeep Mukhopadhyay, Pallavi Joshi, Dipanwita Roy Chowdhury |
An Efficient Design of Cellular Automata Based Cryptographically Robust One-Way Function. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Joshi, Koushik Sen, Mark Shlimovich |
Predictive testing: amplifying the effectiveness of software testing. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs |
| 1 | Pallavi Joshi, Koushik Sen, Mark Shlimovich |
Predictive testing: amplifying the effectiveness of software testing. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikita Borisov, David Brumley, Helen J. Wang, John Dunagan, Pallavi Joshi, Chuanxiong Guo |
Generic Application-Level Protocol Analyzer and its Language. |
NDSS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pallavi Joshi, Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury |
Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata. |
AINA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Joshi, Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury |
Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")