Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing
2013 ◽
Vol 765-767
◽
pp. 1507-1511