Sciweavers

4079 search results - page 23 / 816
» Differential Testing for Software
Sort
View
ICSE
2007
IEEE-ACM
16 years 12 hour ago
Testing Concurrent Java Components
Paul A. Strooper, Luke Wildman
KBSE
2005
IEEE
15 years 11 months ago
Constraint-based test data generation in the presence of stack-directed pointers
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
KBSE
2005
IEEE
15 years 11 months ago
Test input generation for red-black trees using abstraction
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...