Difference between revisions of "Darko Marinov"

From FSL
Jump to: navigation, search
 
Line 1: Line 1:
 
Darko Marinov is a faculty at UIUC and a collaborator with the [[FSL]].  His webpage is http://www-sal.cs.uiuc.edu/~marinov.
 
Darko Marinov is a faculty at UIUC and a collaborator with the [[FSL]].  His webpage is http://www-sal.cs.uiuc.edu/~marinov.
 
<purge></purge>
 
<purge></purge>
 +
<pubbib author="Darko Marinov" \>
 
<pub authors="darko"> </pub>
 
<pub authors="darko"> </pub>

Latest revision as of 22:28, 6 October 2016

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

Techniques for Evolution-Aware Runtime Verification 
Owolabi Legunsen and Yi Zhang and Milica Hadzi-Tanovic and Grigore Rosu and Darko Marinov
ICST 2019, IEEE, pp 300-311. 2019
PDF, Slides(PPTX), JavaMOP, DOI, ICST 2019, BIB
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