Sciweavers

15777 search results - page 43 / 3156
» Software Engineering
Sort
View
141
Voted
KBSE
1997
IEEE
15 years 10 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine
132
Voted
KBSE
1995
IEEE
15 years 10 months ago
Classifying Software Components Using Design Characteristics
Chris Clifton, Wen-Syan Li
135
Voted
SEKE
1995
Springer
15 years 10 months ago
Comparing models for identifying fault-prone software components
Filippo Lanubile, A. Lonigro, Giuseppe Vissagio