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

Object Equality ProfilingMARINOV, Darko; O'CALLAHAN, Robert.ACM SIGPLAN notices. 2003, Vol 38, Num 11, pp 313-325, issn 1523-2867, 13 p.Conference Paper

VAlloy: Virtual functions meet a relational languageMARINOV, Darko; KHURSHID, Sarfraz.Lecture notes in computer science. 2002, pp 234-251, issn 0302-9743, isbn 3-540-43928-5, 18 p.Conference Paper

Optimized Execution of Deterministic Blocks in Java PathFinderD'AMORIM, Marcelo; SOBEIH, Ahmed; MARINOV, Darko et al.Lecture notes in computer science. 2006, pp 549-567, issn 0302-9743, isbn 3-540-47460-9, 1Vol, 19 p.Conference Paper

Automated Detection of Refactorings in Evolving ComponentsDIG, Danny; COMERTOGLU, Can; MARINOV, Darko et al.Lecture notes in computer science. 2006, pp 404-428, issn 0302-9743, isbn 3-540-35726-2, 1Vol, 25 p.Conference Paper

Finding bugs in network protocols using simulation code and protocol-specific heuristicsSOBEIH, Ahmed; VISWANATHAN, Mahesh; MARINOV, Darko et al.Lecture notes in computer science. 2005, pp 235-250, issn 0302-9743, isbn 3-540-29797-9, 1Vol, 16 p.Conference Paper

An analyzable Annotation LanguageKHURSHID, Sarfraz; MARINOV, Darko; JACKSON, Daniel et al.ACM SIGPLAN notices. 2002, Vol 37, Num 11, pp 231-245, issn 1523-2867, 15 p.Conference Paper

Assertion Checking in J-Sim Simulation Models of Network ProtocolsSOBEIH, Ahmed; D'AMORIM, Marcelo; VISWANATHAN, Mahesh et al.Simulation (San Diego, Calif.). 2010, Vol 86, Num 11, pp 651-673, issn 0037-5497, 23 p.Article

Optimizations for compiling declarative models into boolean formulasMARINOV, Darko; KHURSHID, Sarfraz; BUGRARA, Suhabe et al.Lecture notes in computer science. 2005, pp 187-202, issn 0302-9743, isbn 3-540-26276-8, 16 p.Conference Paper

Integrating model checking and theorem proving for relational reasoningARKOUDAS, Konstantine; KHURSHID, Sarfraz; MARINOV, Darko et al.Lecture notes in computer science. 2004, pp 21-33, issn 0302-9743, isbn 3-540-22145-X, 13 p.Conference Paper

Symstra : A framework for generating object-oriented unit tests using symbolic executionTAO XIE; MARINOV, Darko; SCHULTE, Wolfram et al.Lecture notes in computer science. 2005, pp 365-381, issn 0302-9743, isbn 3-540-25333-5, 17 p.Conference Paper

A case for efficient solution enumerationKHURSHID, Sarfraz; MARINOV, Darko; SHLYAKHTER, Ilya et al.Lecture notes in computer science. 2004, pp 272-286, issn 0302-9743, isbn 3-540-20851-8, 15 p.Conference Paper