Sciweavers

16725 search results - page 153 / 3345
» Engineering Software Correctness
Sort
View
KBSE
2005
IEEE
15 years 8 months ago
Test input generation for red-black trees using abstraction
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
METRICS
2005
IEEE
15 years 8 months ago
Refactoring for Changeability: A Way to Go?
Birgit Geppert, Audris Mockus, Frank Röß...