Sciweavers

15777 search results - page 205 / 3156
» Engineering in Software
Sort
View
KBSE
2008
IEEE
16 years 28 days ago
Model-Driven Development of Mobile Applications
Florence T. Balagtas-Fernandez, Heinrich Hussmann
KBSE
2007
IEEE
16 years 24 days ago
Efficiently monitoring data-flow test coverage
Raúl A. Santelices, Mary Jean Harrold
KBSE
2007
IEEE
16 years 24 days ago
Verifying C++ with STL containers via predicate abstraction
Nicolas Blanc, Alex Groce, Daniel Kroening