Darko Marinov

From FSL
Revision as of 22:27, 6 October 2016 by Yzhng173 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Darko Marinov is a faculty at UIUC and a collaborator with the FSL. His webpage is http://www-sal.cs.uiuc.edu/~marinov.

How Good are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications 
Owolabi Legunsen and Wajih Ul Hassan and Xinyue Xu and Grigore Rosu and Darko Marinov
ASE 2016, IEEE/ACM, pp 602-613. 2016
PDF, Slides(PDF), JavaMOP, DOI, ASE 2016, BIB
Evolution-Aware Monitoring-Oriented Programming 
Owolabi Legunsen and Darko Marinov and Grigore Rosu
ICSE NIER'15, ACM, pp 615-618. 2015
PDF, Slides(PDF), JavaMOP, DOI, ICSE NIER'15, BIB
Improved Multithreaded Unit Testing 
Vilas Jagannath and Milos Gligoric and Dongyun Jin and Qingzhou Luo and Grigore Rosu and Darko Marinov
FSE'11, ACM, pp 223-233. 2011
PDF, DOI, FSE'11, BIB

Personal tools
Namespaces

Variants
Actions
Navigation