Sciweavers

24 search results - page 1 / 5
» kbse 2006
Sort
View
96
Voted
KBSE
2006
IEEE
15 years 10 months ago
Verifying Specifications with Proof Scores in CafeOBJ
Kokichi Futatsugi
KBSE
2006
IEEE
15 years 10 months ago
Automatic Identification of Bug-Introducing Changes
Sunghun Kim, Thomas Zimmermann, Kai Pan, E. James ...
KBSE
2006
IEEE
15 years 10 months ago
Differencing and Merging of Architectural Views
Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas...