Searching for authors named "Koushik Sen" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
An Instrumentation Technique for Online Analysis of Multithreaded Programs
- …Instrumentation Technique for Online Analysis of Multithreaded Programs Grigore Ro¸su and Koushik…
- Cited by 4 (0 self) – Add To MetaCart
-
Generating optimal monitors for extended regular expressions
- …://www.elsevier.nl/locate/entcs/volume89.html 20 pages Generating Optimal Monitors for Extended Regular Expressions Abstract Koushik Sen 1…
- Cited by 14 (7 self) – Add To MetaCart
-
Scalable automated methods for dynamic program analysis
- …c○ 2006 by Koushik Sen. All rights reserved. SCALABLE AUTOMATED METHODS FOR DYNAMIC PROGRAM…
- Cited by 4 (3 self) – Add To MetaCart
-
Abstract Race Directed Random Testing of Concurrent Programs
- …. Copyright c○ 2008 ACM 978-1-59593-860-2/08/06. . . $5.00 Koushik Sen EECS Department, UC Berkeley, CA, USA…
- Cited by 1 (0 self) – Add To MetaCart
-
Detecting errors in multithreaded programs by generalized predictive analysis of executions
- … Koushik Sen, Grigore Ro¸su, Gul Agha Department of Computer Science, University of Illinois at Urbana…
- Cited by 6 (2 self) – Add To MetaCart
-
A race-detection and flipping algorithm for automated testing of multi-threaded programs. In Haifa verification conference 2006
- … A Race-Detection and Flipping Algorithm for Automated Testing of Multi-Threaded Programs Koushik…
- Cited by 4 (1 self) – Add To MetaCart
-
CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools
- …) Koushik Sen and Gul Agha University of Illinois at Urbana-Champaign, USA. {ksen,agha}@(email omitted); Abstract…
- Cited by 18 (1 self) – Add To MetaCart
-
Model checking multithreaded programs with asynchronous atomic methods
- …Model Checking Multithreaded Programs with Asynchronous Atomic Methods Koushik Sen and Mahesh…
- Cited by 9 (4 self) – Add To MetaCart
-
Automated systematic testing of open distributed programs
- …Automated Systematic Testing of Open Distributed Programs Koushik Sen and Gul Agha Department…
- Cited by 9 (5 self) – Add To MetaCart
-
Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation
- …–24, 2008, Seattle, Washington, USA. Copyright 2008 ACM 978-1-59593-904-3/08/07 ...$5.00. Koushik Sen EECS…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
