Darko Marinov

Software · 2001–2016

A researcher in the Science corpus: 6 papers; trusts 18 researchers and is trusted by 46 researchers here, as inferred from the citation graph.

Subfields

Whom Darko Marinov trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Daniel Jackson
  2. Sarfraz Khurshid
  3. Willem Visser
  4. Anders Møller
  5. Corina S. Pasareanu
  6. Chandrasekhar Boyapati
  7. Yoonsik Cheon
  8. Gary T. Leavens
  9. Thomas A. Henzinger
  10. Michael I. Schwartzbach

Who trusts Darko Marinov overall

  1. Koushik Sen
  2. Gordon Fraser
  3. Corina S. Pasareanu
  4. Patrice Godefroid
  5. Sarfraz Khurshid
  6. Chandrasekhar Boyapati
  7. Jacob Burnim
  8. Adam Kiezun
  9. Rupak Majumdar
  10. Theofilos Petsios

Papers from Darko Marinov's perspective

Ordered by how strongly the researchers Darko Marinov trusts endorse each paper. Same corpus, a different order for every researcher.

  1. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  3. Symbolic execution and program testing
  4. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
  5. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. Test-infected: programmers love writing tests
  7. Alloy: a lightweight object modelling notation (TSEM)
  8. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  9. The unified modeling language reference manual
  10. The pointer assertion logic engine (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers