10 citations · 17 across the 4 of their papers we have counts for
4 papers
Wanted: standards for automatic reproducibility of computational experiments
Samuel Grayson, Reed Milewicz, Joshua Teves +2
Those seeking to reproduce a computational experiment often need to manually look at the code to see how to build necessary libraries, configure parameters, find data, and invoke t…
Fault Localization for Declarative Models in Alloy
Kaiyuan Wang, Allison Sullivan, Darko Marinov +1
Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem o…
Mining Container Image Repositories for Software Configuration and Beyond
Tianyin Xu, Darko Marinov
This paper introduces the idea of mining container image repositories for configuration and other deployment information of software systems. Unlike traditional software repositori…
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies
Shin Hwei Tan, Darko Marinov, Lin Tan +1
This paper has been withdrawn by the author.