Sciweavers

3901 search results - page 29 / 781
» software 2008
Sort
View
68
Voted
ICST
2008
IEEE
15 years 6 months ago
Structural Testing of Executables
Sébastien Bardin, Philippe Herrmann
69
Voted
KBSE
2008
IEEE
15 years 6 months ago
Heuristics for Scalable Dynamic Test Generation
Jacob Burnim, Koushik Sen
94
Voted
SEFM
2008
IEEE
15 years 6 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf