Sciweavers

22698 search results - page 9 / 4540
» Modeling in Software Engineering
Sort
View
62
Voted
APSEC
2002
IEEE
15 years 6 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
89
Voted
ICSE
2009
IEEE-ACM
15 years 6 months ago
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model
Alberto Avritzer, Elaine J. Weyuker
99
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
Adapting C++ Exception Handling to an Extended COM Exception Model
Bjørn Egil Hansen, Henrik Fredholm
84
Voted
ICSM
1998
IEEE
15 years 6 months ago
Dynamic Model for Maintenance and Testing Effort
F. Calzolari, Paolo Tonella, Giuliano Antoniol