Sciweavers

KBSE
2005
IEEE

Test input generation for red-black trees using abstraction

14 years 5 months ago
Test input generation for red-black trees using abstraction
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where KBSE
Authors Willem Visser, Corina S. Pasareanu, Radek Pelánek
Comments (0)