The SCEAS System
Navigation Menu

Search the dblp DataBase


Darko Marinov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
    Integrating Model Checking and Theorem Proving for Relational Reasoning. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:21-33 [Conf]
  2. Danny Dig, Can Comertoglu, Darko Marinov, Ralph Johnson
    Automated Detection of Refactorings in Evolving Components. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:404-428 [Conf]
  3. Darko Marinov, Sarfraz Khurshid
    VAlloy - Virtual Functions Meet a Relational Language. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:234-251 [Conf]
  4. Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
    Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:235-250 [Conf]
  5. Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov
    Optimized Execution of Deterministic Blocks in Java PathFinder. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:549-567 [Conf]
  6. Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
    Korat: A Tool for Generating Structurally Complex Test Inputs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:771-774 [Conf]
  7. Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
    Detecting Redundant Unit Tests for AspectJ Programs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:179-190 [Conf]
  8. Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
    Korat: automated testing based on Java predicates. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:123-133 [Conf]
  9. Darko Marinov, Sarfraz Khurshid
    TestEra: A Novel Framework for Automated Testing of Java Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:22-0 [Conf]
  10. Tao Xie, Darko Marinov, David Notkin
    Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:196-205 [Conf]
  11. Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
    An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:59-68 [Conf]
  12. Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko M. Milutinovic
    Scowl: A Tool for Characterization of Parallel Workload and its Use on Splash-2 Application Suite. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2000, pp:207-213 [Conf]
  13. Sarfraz Khurshid, Darko Marinov, Daniel Jackson
    An analyzable annotation language. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:231-245 [Conf]
  14. Darko Marinov, Robert O'Callahan
    Object equality profiling. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:313-325 [Conf]
  15. Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
    A Case for Efficient Solution Enumeration. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:272-286 [Conf]
  16. Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
    Optimizations for Compiling Declarative Models into Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:187-202 [Conf]
  17. Koushik Sen, Darko Marinov, Gul Agha
    CUTE: a concolic unit testing engine for C. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:263-272 [Conf]
  18. Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
    Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:365-381 [Conf]
  19. Sarfraz Khurshid, Darko Marinov
    TestEra: Specification-Based Testing of Java Programs Using SAT. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:4, pp:403-434 [Journal]
  20. Darko Marinov, Rados Radoicic
    Counting 1324-Avoiding Permutations. [Citation Graph (0, 0)][DBLP]
    Electr. J. Comb., 2002, v:0, n:2, pp:- [Journal]
  21. Sarfraz Khurshid, Darko Marinov
    Checking Java implementation of a naming architecture using Testera. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  22. Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov
    Analyzing the Uses of a Software Modeling Tool. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:2, pp:3-18 [Journal]
  23. Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
    J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-6 [Conf]
  24. Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
    Delta execution for efficient state-space exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:50-60 [Conf]
  25. Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
    Parallel test generation and execution with Korat. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:135-144 [Conf]
  26. Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov
    Automated testing of refactoring engines. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:185-194 [Conf]

  27. Automated Testing of Eclipse and NetBeans Refactoring Tools. [Citation Graph (, )][DBLP]

  28. Reducing the Costs of Bounded-Exhaustive Testing. [Citation Graph (, )][DBLP]

  29. Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. [Citation Graph (, )][DBLP]

  30. Incremental state-space exploration for programs with dynamically allocated data. [Citation Graph (, )][DBLP]

  31. State extensions for java pathfinder. [Citation Graph (, )][DBLP]

  32. Test generation through programming in UDITA. [Citation Graph (, )][DBLP]

  33. Towards a Framework for Differential Unit Testing of Object-Oriented Programs. [Citation Graph (, )][DBLP]

  34. Workshop on state-space exploration for automated testing (SSEAT 2008). [Citation Graph (, )][DBLP]

  35. Efficient solving of structural constraints. [Citation Graph (, )][DBLP]

  36. On test repair using symbolic execution. [Citation Graph (, )][DBLP]

  37. Optimizing a Structural Constraint Solver for Efficient Software Checking. [Citation Graph (, )][DBLP]

  38. ReAssert: Suggesting Repairs for Broken Unit Tests. [Citation Graph (, )][DBLP]

  39. A Framework for State-Space Exploration of Java-Based Actor Programs. [Citation Graph (, )][DBLP]

  40. Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. [Citation Graph (, )][DBLP]

  41. MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. [Citation Graph (, )][DBLP]

  42. Optimizing Generation of Object Graphs in Java PathFinder. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002