Sciweavers

8627 search results - page 17 / 1726
» Software Engineering Using RATionale
Sort
View
KBSE
2005
IEEE
15 years 3 months ago
Test input generation for red-black trees using abstraction
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...