6941 search results - page 1 / 1389 » Testing as a Certification Approach |
ECEASST
2010
13 years 2 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
ACSAC
2001
IEEE
13 years 8 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...
CSSC
2008
13 years 4 months ago
2008
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
IEEEARES
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper extends the work described in “An Approach to the Formalisation of a Certification Policy”, 7th International Symposium on System and Information Security (SSI 2005...