Login / Signup
TRANSIT: specifying protocols with concolic snippets.
Abhishek Udupa
Arun Raghavan
Jyotirmoy V. Deshmukh
Sela Mador-Haim
Milo M. K. Martin
Rajeev Alur
Published in:
PLDI (2013)
Keyphrases
</>
search engine
communication protocols
web search engines
case study
neural network
authentication protocol
search result
genetic algorithm
website
expert systems
hidden markov models
sensor networks
social networks
security protocols
information retrieval
application level
communication protocol
database