Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Koushik Sen
Guided GUI Testing of Android Apps With Minimal Restart and Approximate Learning
ACM SIGPLAN Notices
Computer Science
SJS: A Type System for JavaScript With Fixed Object Layout
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
DART: Directed Automated Random Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SReplay
Guided GUI Testing of Android Apps With Minimal Restart and Approximate Learning
A Temporal Logic Based Framework for Intrusion Detection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Markov Chains in the Presence of Uncertainties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Language Inference to Verify Omega-Regular Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CUTE: A Concolic Unit Testing Engine for C
