Systematic testing of reactive software with non-deterministic events: A case study on LG electric oven (2015)

by Y Park, S Hong, M Kim, D Lee, J Cho, M Kim, Y Kim, Y Kim
Venue:In International Conference on Software Engineering (ICSE) Software Engineering In Practice Track