Siva Kesava Reddy Kakarla
3 papers
· 2020–2024
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
Conferences
NSDI (3)
Top co-authors
Keywords
automated testing
(2)
outlier detection
(1)
vulnerability detection
(1)
test generation
(1)
software testing
(1)
network verification
(1)
bug detection
(1)
border gateway protocol
(1)
stateful protocol
(1)
model-based testing
(1)
network protocol
(1)
route filtering
(1)
black-box testing
(1)
protocol verification
(1)
fuzz testing
(1)
software verification
(1)
router configuration
(1)
bgp protocol
(1)
route map
(1)
automated test generation
(1)