Login
中文
Koushik Sen
HIndex: 30
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Temporal logic
Software verification
Software Engineering
Java
Model checking
Upper and lower bounds
State space
Concolic testing
Computer Science
Data structure
Theory of computation
Software bug
Logic
Formal methods
Software system
Regular expression
Statistical model
Verification
Software Testing
Distributed computing
Partially ordered set
Concurrency
Dynamic program analysis
Random testing
Verification and validation
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Temporal logic
Software verification
Software Engineering
Java
Model checking
Upper and lower bounds
State space
Concolic testing
Computer Science
Data structure
Theory of computation
Software bug
Logic
Formal methods
Software system
Regular expression
Statistical model
Verification
Software Testing
Distributed computing
Partially ordered set
Concurrency
Dynamic program analysis
Random testing
Verification and validation
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Koushik Sen
Department Of Computer Science University Of Illinois At Urbana Champaign
130
Koushik Sen
Department Of Computer Science University Of Illinois At Urbana Champaign
27
×
Share to your followers
Submit