3 search results - page 1 / 1 » MCC: A runtime verification tool for MCAPI user applications |
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
WWW
2004
ACM
14 years 5 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
TSE
2008
13 years 4 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...