Generating Test Cases for Real-Time Systems Based on Symbolic Models
Andrade, Wilkerson L., Machado, Patricia D.L.Volume:
39
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/TSE.2013.13
Date:
September, 2013
File:
PDF, 1.21 MB
english, 2013