Symbolic Execution for Software Testing: Three Decades LaterCADAR, Cristian; SEN, Koushik.Communications of the ACM. 2013, Vol 56, Num 2, pp 82-90, issn 0001-0782, 9 p.Article

Asserting and Checking Determinism for Multithreaded ProgramsBURNIM, Jacob; SEN, Koushik.Communications of the ACM. 2010, Vol 53, Num 6, pp 97-105, issn 0001-0782, 9 p.Article

Online efficient predictive safety analysis of multithreaded programsSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 3, pp 248-260, issn 1433-2779, 13 p.Article

Race Directed Random Testing of Concurrent ProgramsSEN, Koushik.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 11-21, issn 1523-2867, 11 p.Conference Paper

Automated systematic testing of open distributed programsSEN, Koushik; AGHA, Gul.Lecture notes in computer science. 2006, pp 339-356, issn 0302-9743, isbn 3-540-33093-3, 1Vol, 18 p.Conference Paper

CUTE : A concolic unit testing engine for CSEN, Koushik; MARINOV, Darko; AGHA, Gul et al.European software engineering conferenceSymposium on the foundations of software engineering. 2005, pp 263-272, isbn 1-59593-014-0, 1Vol, 10 p.Conference Paper

Degree of magnetic anisotropy as a strain intensity gauge in ferromagnetic granitesSEN, Koushik; MAJUMDER, Sukhen; MAMTANI, Manish A et al.Journal of the Geological Society (London). 2005, Vol 162, pp 583-586, issn 0016-7649, 4 p., 4Article

CUTE and jCUTE : Concolic unit testing and explicit path model-checking toolsSEN, Koushik; AGHA, Gul.Lecture notes in computer science. 2006, pp 419-423, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 5 p.Conference Paper

Detecting errors in multithreaded programs by generalized predictive analysis of executionsSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.Lecture notes in computer science. 2005, pp 211-226, issn 0302-9743, isbn 3-540-26181-8, 16 p.Conference Paper

Online efficient predictive safety analysis of multithreaded programsSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.Lecture notes in computer science. 2004, pp 123-138, issn 0302-9743, isbn 3-540-21299-X, 16 p.Conference Paper

Model-checking markov chains in the presence of uncertaintiesSEN, Koushik; VISWANATHAN, Mahesh; AGHA, Gul et al.Lecture notes in computer science. 2006, pp 394-410, issn 0302-9743, isbn 3-540-33056-9, 1Vol, 17 p.Conference Paper

Model checking multithreaded programs with asynchronous atomic methodsSEN, Koushik; VISWANATHAN, Mahesh.Lecture notes in computer science. 2006, pp 300-314, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 15 p.Conference Paper

DART : Directed automated random testingGODEFROID, Patrice; KLARLUND, Nils; SEN, Koushik et al.ACM SIGPLAN notices. 2005, Vol 40, Num 6, pp 213-223, issn 1523-2867, 11 p.Conference Paper

Generating optimal Linear Temporal Logic monitors by coinductionSEN, Koushik; ROSU, Grigore; AGHA, Gul et al.Lecture notes in computer science. 2003, pp 260-275, issn 0302-9743, isbn 3-540-20632-9, 16 p.Conference Paper

Actively learning to verify safety for FIFO automataVARDHAN, Abhay; SEN, Koushik; VISWANATHAN, Mahesh et al.Lecture notes in computer science. 2004, pp 494-505, issn 0302-9743, isbn 3-540-24058-6, 12 p.Conference Paper

Statistical model checking of black-box probabilistic systemsSEN, Koushik; VISWANATHAN, Mahesh; AGHA, Gul et al.Lecture notes in computer science. 2004, pp 202-215, issn 0302-9743, isbn 3-540-22342-8, 14 p.Conference Paper

NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel CorrectnessBURNIM, Jacob; ELMAS, Tayfun; NECULA, George et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 401-414, issn 1523-2867, 14 p.Conference Paper

On statistical model checking of stochastic systemsSEN, Koushik; VISWANATHAN, Mahesh; AGHA, Gul et al.Lecture notes in computer science. 2005, pp 266-280, issn 0302-9743, isbn 3-540-27231-3, 15 p.Conference Paper

Rule-based runtime verificationBARRINGER, Howard; GOLDBERG, Allen; HAVELUND, Klaus et al.Lecture notes in computer science. 2004, pp 44-57, issn 0302-9743, isbn 3-540-20803-8, 14 p.Conference Paper

A Randomized Dynamic Program Analysis Technique for Detecting Real DeadlocksJOSHI, Pallavi; PARK, Chang-Seo; SEN, Koushik et al.ACM SIGPLAN notices. 2009, Vol 44, Num 6, pp 110-120, issn 1523-2867, 11 p.Conference Paper

A temporal logic based framework for intrusion detectionNALDURG, Prasad; SEN, Koushik; THATI, Prasanna et al.Lecture notes in computer science. 2004, pp 359-375, issn 0302-9743, isbn 3-540-23252-4, 17 p.Conference Paper

PREFAIL: A Programmable Tool for Multiple-Failure InjectionJOSHI, Pallavi; GUNAWI, Haryadi S; SEN, Koushik et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 171-187, issn 1523-2867, 17 p.Conference Paper

Using language inference to verify omega-regular propertiesVARDHAN, Abhay; SEN, Koushik; VISWANATHAN, Mahesh et al.Lecture notes in computer science. 2005, pp 45-60, issn 0302-9743, isbn 3-540-25333-5, 16 p.Conference Paper

Learning to verify safety propertiesVARDHAN, Abhay; SEN, Koushik; VISWANATHAN, Mahesh et al.Lecture notes in computer science. 2004, pp 274-289, issn 0302-9743, isbn 3-540-23841-7, 16 p.Conference Paper

Efficient decentralized monitoring of safety in distributed systemsSEN, Koushik; VARDHAN, Abhay; AGHA, Gul et al.International Conference on Software Engineering. 2004, pp 418-427, isbn 0-7695-2163-0, 1Vol, 10 p.Conference Paper