36 search results - page 4 / 8 » Mastering Test Generation from Smart Card Software Formal Mo... |
ISCIS
2004
Springer
14 years 25 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
ASIACRYPT
2008
Springer
13 years 9 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
TC
2010
13 years 2 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
ICECCS
1997
IEEE
13 years 11 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
JSS
2002
13 years 7 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...