Sciweavers

18 search results - page 1 / 4
» sigsoft 2000
Sort
View
SIGSOFT
2000
ACM
15 years 12 months ago
The shape of things to come?
Richard F. Rashid
158
Voted
SIGSOFT
2000
ACM
15 years 12 months ago
Classifying properties: an alternative to the safety-liveness classification
Gleb Naumovich, Lori A. Clarke
142
Voted
SIGSOFT
2000
ACM
15 years 12 months ago
A compositional approach to statecharts semantics
Gerald Lüttgen, Michael von der Beeck, Rance ...
SIGSOFT
2000
ACM
15 years 12 months ago
Automated test oracles for GUIs
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa