286 search results - page 51 / 58 » Agile Formality: A Mole of Software Engineering Practices |
154
click to vote
COMPSAC
2009
IEEE
16 years 10 days ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
152
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
157
click to vote
SEFM
2008
IEEE
15 years 12 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
146
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
181
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...