2 papers
cs.SE2018
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…
cs.SE2018
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…