Marinov, Darko

Usage, costs, and benefits of continuous integration in open-source projects

Hilton, M., Tunnell, T., Huang, K., Marinov, D., & Dig, D. (2016) · Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering

Software Engineering Techniques and PracticesSoftware Engineering Research

Cited by 342

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

Xie, T., Marinov, D., Schulte, W., & Notkin, D. (2005) · Lecture Notes in Computer Science

Software Testing and Debugging TechniquesLogic, programming, and type systems

Cited by 287

A large-scale longitudinal study of flaky tests

Lam, W., Winter, S., Wei, A., Xie, T., Marinov, D., & Bell, J. (2020) · Proceedings of the ACM on Programming Languages

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 64

Delta execution for efficient state-space exploration of object-oriented programs

d'Amorim, M., Lauterburg, S., & Marinov, D. (2007) · Proceedings of the 2007 international symposium on Software testing and analysis

Software Testing and Debugging TechniquesFormal Methods in Verification

Cited by 26