SCORE: a scalable concolic testing tool for reliable embedded software (0)

by Y Kim, M Kim
Venue:in European Software Engineering Conference/Foundations of Software Engineering