Sciweavers

16206 search results - page 90 / 3242
» Software Engineering is Not Enough
Sort
View
TASE
2009
IEEE
15 years 11 months ago
Refinement Algebra with Explicit Probabilism
T. M. Rabehaja, Jeff W. Sanders
TASE
2009
IEEE
15 years 11 months ago
Program Repair as Sound Optimization of Broken Programs
Bernd Fischer, Ando Saabas, Tarmo Uustalu
ICST
2009
IEEE
15 years 11 months ago
Pruning the Search Space in Path-Based Test Generation
Sébastien Bardin, Philippe Herrmann