2011 - Fellow of Alfred P. Sloan Foundation
His primary areas of study are Programming language, Java, Concolic testing, Random testing and Symbolic execution. As part of his studies on Programming language, Koushik Sen frequently links adjacent subjects like Benchmark. His work carried out in the field of Java brings together such families of science as Program analysis, Concurrency, Programmer, Static analysis and Deadlock.
His research integrates issues of Theoretical computer science, Taint checking, Source lines of code, Code coverage and Web application in his study of Concolic testing. His work deals with themes such as Correctness, Manual testing and Data structure, which intersect with Random testing. His study on Symbolic execution also encompasses disciplines like
Koushik Sen mostly deals with Programming language, Java, Theoretical computer science, Concolic testing and Algorithm. His work in Symbolic execution, Thread, Concurrency, Programmer and Software are all subfields of Programming language research. He interconnects Unit testing, Test case and Pointer in the investigation of issues within Symbolic execution.
His Java research is multidisciplinary, incorporating elements of Multithreading, Program analysis and Parallel computing. He has researched Theoretical computer science in several fields, including Regular expression and Probabilistic logic. In his study, which falls under the umbrella issue of Concolic testing, Fuzz testing is strongly linked to Random testing.
Koushik Sen mostly deals with Fuzz testing, Programming language, Code, Code coverage and Artificial intelligence. The concepts of his Fuzz testing study are interwoven with issues in Domain, Correctness and Parsing. Koushik Sen usually deals with Domain and limits it to topics linked to Semantic analysis and Random testing.
His study in Random testing is interdisciplinary in nature, drawing from both Pipeline, Data mining and Data structure. Programming language and Big data are commonly linked in his work. His work carried out in the field of Code coverage brings together such families of science as Graphical user interface, Iterative and incremental development, Theoretical computer science and Regression testing.
Koushik Sen mainly focuses on Fuzz testing, Software, Code, Code coverage and Natural language. His Fuzz testing study also includes fields such as
His studies deal with areas such as Set, Theoretical computer science, Information retrieval and Mutation as well as Code. His study with Code coverage involves better knowledge in Programming language. His biological study spans a wide range of topics, including Learning curve and Search engine.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
DART: directed automated random testing
Patrice Godefroid;Nils Klarlund;Koushik Sen.
programming language design and implementation (2005)
CUTE: a concolic unit testing engine for C
Koushik Sen;Darko Marinov;Gul Agha.
foundations of software engineering (2005)
Symbolic execution for software testing: three decades later
Cristian Cadar;Koushik Sen.
Communications of The ACM (2013)
A view of the parallel computing landscape
Krste Asanovic;Rastislav Bodik;James Demmel;Tony Keaveny.
parallel computing (2009)
Heuristics for Scalable Dynamic Test Generation
J. Burnim;K. Sen.
automated software engineering (2008)
CUTE and jCUTE: concolic unit testing and explicit path model-checking tools
Koushik Sen;Gul Agha.
computer aided verification (2006)
Hybrid Concolic Testing
Rupak Majumdar;Koushik Sen.
international conference on software engineering (2007)
Rule-Based Runtime Verification
Howard Barringer;Allen Goldberg;Klaus Havelund;Koushik Sen.
verification model checking and abstract interpretation (2004)
Symbolic execution for software testing in practice: preliminary assessment
Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu.
international conference on software engineering (2011)
Race directed random testing of concurrent programs
programming language design and implementation (2008)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: