Hardi Hungar, Tiziana Margaria, Bernhard Steffen. Test-Based Model Generation For Legacy Systems. In Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USA. pages 971-980, IEEE Computer Society, 2003. [doi]
Abstract is missing.