Search results for "Koushik Sen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sarfraz Khurshid, Koushik Sen (eds.)	Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers	RV	2012	DBLP DOI BibTeX RDF
1	Chang-Seo Park, Koushik Sen	Concurrent breakpoints.	PPOPP	2012	DBLP DOI BibTeX RDF
1	Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen	NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.	PPOPP	2012	DBLP DOI BibTeX RDF
1	Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu	Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.	ICST	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen	NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.	PLDI	2011	DBLP DOI BibTeX RDF
1	Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu	Efficient data race detection for distributed memory parallel programs.	SC	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen, Christos Stergiou	Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.	TACAS	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen, Christos Stergiou	Testing concurrent programs on relaxed memory models.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, George C. Necula, Koushik Sen	Specifying and checking semantic atomicity for multithreaded programs.	ASPLOS	2011	DBLP DOI BibTeX RDF
1	Koushik Sen	Concolic Testing and Constraint Satisfaction.	SAT	2011	DBLP DOI BibTeX RDF
1	Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen	PREFAIL: a programmable tool for multiple-failure injection.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser	Symbolic execution for software testing in practice: preliminary assessment.	ICSE	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
1	Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay	An effective dynamic analysis for detecting generalized deadlocks.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Nicholas Jalbert, Koushik Sen	A trace simplification technique for effective debugging of concurrent programs.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Krste Asanovic, Rastislav Bodík, James Demmel, Tony Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick	A view of the parallel computing landscape.	Commun. ACM	2009	DBLP DOI BibTeX RDF
1	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik	A randomized dynamic program analysis technique for detecting real deadlocks.	PLDI	2009	DBLP DOI BibTeX RDF	active testing, concurrency, deadlock detection, dynamic program analysis
1	Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen	Looper: Lightweight Detection of Infinite Loops at Runtime.	ASE	2009	DBLP DOI BibTeX RDF
1	Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen	SNIFF: A Search Engine for Java Using Free-Form Queries.	FASE	2009	DBLP DOI BibTeX RDF
1	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen	CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.	CAV	2009	DBLP DOI BibTeX RDF
1	Koushik Sen	DART: Directed Automated Random Testing.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Jacob Burnim, Sudeep Juvekar, Koushik Sen	WISE: Automated test generation for worst-case complexity.	ICSE	2009	DBLP DOI BibTeX RDF
1	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay	Effective static deadlock detection.	ICSE	2009	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
1	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
1	Yamini Kannan, Koushik Sen	Universal symbolic execution and its application to likely data structure invariant generation.	ISSTA	2008	DBLP DOI BibTeX RDF	dynamic analysis, symbolic execution, execution traces, logical inference, program invariants
1	Jacob Burnim, Koushik Sen	Heuristics for Scalable Dynamic Test Generation.	ASE	2008	DBLP DOI BibTeX RDF
1	Pallavi Joshi, Koushik Sen	Predictive Typestate Checking of Multithreaded Java Programs.	ASE	2008	DBLP DOI BibTeX RDF
1	Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan	Protocol Inference Using Static Path Profiles.	SAS	2008	DBLP DOI BibTeX RDF
1	Chang-Seo Park, Koushik Sen	Randomized active atomicity violation detection in concurrent programs.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	atomicity violation detection, concurrency, dynamic analysis, random testing
1	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger	Model-Checking omega-Regular Properties of Interval Markov Chains.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Grigore Rosu, Koushik Sen	An instrumentation technique for online analysis of multithreaded programs.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Michael Emmi, Rupak Majumdar, Koushik Sen	Dynamic test input generation for database applications.	ISSTA	2007	DBLP DOI BibTeX RDF	directed random testing, automatic test generation, database applications, concolic testing
1	Koushik Sen	Concolic testing.	ASE	2007	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, symbolic execution, testing tools, testing C programs, concolic testing
1	Koushik Sen	Effective random testing of concurrent programs.	ASE	2007	DBLP DOI BibTeX RDF	concurrent programs, random testing
1	Rupak Majumdar, Koushik Sen	Hybrid Concolic Testing.	ICSE	2007	DBLP DOI BibTeX RDF	directed random testing, concolic testing
1	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
1	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF
1	Gul A. Agha, José Meseguer, Koushik Sen	PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Online efficient predictive safety analysis of multithreaded programs.	STTT	2006	DBLP DOI BibTeX RDF	JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	Model-Checking Markov Chains in the Presence of Uncertainties.	TACAS	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu	Decentralized runtime analysis of multithreaded applications.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Gul Agha	Automated Systematic Testing of Open Distributed Programs.	FASE	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Gul Agha	CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.	CAV	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan	Model Checking Multithreaded Programs with Asynchronous Atomic Methods.	CAV	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington	Combining test case generation and runtime verification.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.	FMOODS	2005	DBLP DOI BibTeX RDF
1	Patrice Godefroid, Nils Klarlund, Koushik Sen	DART: directed automated random testing.	PLDI	2005	DBLP DOI BibTeX RDF	software testing, interfaces, program verification, random testing, automated test generation
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Using Language Inference to Verify Omega-Regular Properties.	TACAS	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	On Statistical Model Checking of Stochastic Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul A. Agha	VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.	QEST	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Darko Marinov, Gul Agha	CUTE: a concolic unit testing engine for C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing
1	Prasad Naldurg, Koushik Sen, Prasanna Thati	A Temporal Logic Based Framework for Intrusion Detection.	FORTE	2004	DBLP DOI BibTeX RDF	security, Intrusion detection, temporal logic, runtime monitoring
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Learning to Verify Safety Properties.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Online Efficient Predictive Safety Analysis of Multithreaded Programs.	TACAS	2004	DBLP DOI BibTeX RDF
1	Grigore Rosu, Koushik Sen	An Instrumentation Technique for Online Analysis of Multithreaded Programs.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen	Program Monitoring with LTL in EAGLE.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	Statistical Model Checking of Black-Box Probabilistic Systems.	CAV	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	Learning Continuous Time Markov Chains from Sample Executions.	QEST	2004	DBLP DOI BibTeX RDF
1	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen	Rule-Based Runtime Verification.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu	Efficient Decentralized Monitoring of Safety in Distributed Systems.	ICSE	2004	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Actively Learning to Verify Safety for FIFO Automata.	FSTTCS	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu	Generating Optimal Monitors for Extended Regular Expressions.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha	A Rewriting Based Model for Probabilistic Distributed Object Systems.	FMOODS	2003	DBLP DOI BibTeX RDF	Rewrite theory, probability, nondeterminism, actors, Maude
1	Koushik Sen, Grigore Rosu, Gul Agha	Generating Optimal Linear Temporal Logic Monitors by Coinduction.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Runtime safety analysis of multithreaded programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	JMPaX, Java, runtime monitoring, safety analysis, LTL, vector clock, multithreaded program, predictive analysis
1	Prasanna Thati, Koushik Sen, Narciso Martí-Oliet	An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF

Publications of "Koushik Sen" ( http://dblp.L3S.de/Authors/Koushik_Sen )