Sciweavers

2213 search results - page 287 / 443
» Software Security
Sort
View
103
Voted
OOPSLA
2007
Springer
15 years 9 months ago
Randoop: feedback-directed random testing for Java
RANDOOP FOR JAVA generates unit tests for Java code using feedback-directed random test generation. Below we describe RANDOOP’s input, output, and test generation algorithm. We ...
Carlos Pacheco, Michael D. Ernst
SAC
2006
ACM
15 years 9 months ago
Towards chemical coordination for grids
ide, applications are programmed in an abstract manner describing essentially the chemical coordination between (not necessarily chemical) software components. On the other side, c...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
116
Voted
OOPSLA
2005
Springer
15 years 9 months ago
CanonSketch and TaskSketch: innovative modeling tools for usage-centered design
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
Larry L. Constantine, Pedro Campos
128
Voted
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
15 years 9 months ago
A Coloured Petri Net Trust Model
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
Peter Lory
112
Voted
DEXAW
1999
IEEE
102views Database» more  DEXAW 1999»
15 years 8 months ago
NIGELOG: Protecting Logging Information by Hiding Multiple Backups in Directories
This paper proposed a novel method to protect logging information more securely. The method, named NIGELOG, produces multiple backups of the logging information, hides them in arb...
Tetsuji Takada, Hideki Koike