Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach. Iterative refinement of specification for component based embedded systems. In Matthew B. Dwyer, Frank Tip, editors, Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. pages 276-286, ACM, 2011. [doi]
Abstract is missing.