Sciweavers

15783 search results - page 121 / 3157
» Evidence-Based Software Engineering
Sort
View
66
Voted
KBSE
2007
IEEE
15 years 8 months ago
Behavioral adaptation of component compositions based on process algebra encodings
Radu Mateescu, Pascal Poizat, Gwen Salaün
80
Voted
KBSE
2007
IEEE
15 years 8 months ago
Efficiently monitoring data-flow test coverage
Raúl A. Santelices, Mary Jean Harrold
63
Voted
KBSE
2007
IEEE
15 years 8 months ago
Verifying C++ with STL containers via predicate abstraction
Nicolas Blanc, Alex Groce, Daniel Kroening
84
Voted
QSIC
2007
IEEE
15 years 8 months ago
Abstraction in Assertion-Based Test Oracles
Yoonsik Cheon