Sciweavers

2468 search results - page 27 / 494
» A New Approach to Pseudoword Generation
Sort
View
TAP
2007
Springer
92views Hardware» more  TAP 2007»
15 years 8 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
108
Voted
SPIRE
2005
Springer
15 years 7 months ago
Faster Generation of Super Condensed Neighbourhoods Using Finite Automata
We present a new algorithm for generating super condensed neighbourhoods. Super condensed neighbourhoods have recently been presented as the minimal set of words that represent a p...
Luís M. S. Russo, Arlindo L. Oliveira
96
Voted
PSD
2004
Springer
77views Database» more  PSD 2004»
15 years 7 months ago
Fast Generation of Accurate Synthetic Microdata
Generation of a synthetic microdata set that reproduces the statistical properties of an original microdata set is a promising approach to statistical disclosure control (SDC) of m...
Josep Maria Mateo-Sanz, Antoni Martínez-Bal...
RAID
2005
Springer
15 years 7 months ago
Anomalous Payload-Based Worm Detection and Signature Generation
New features of the PAYL anomalous payload detection sensor are demonstrated to accurately detect and generate signatures for zero-day worms. Experimental evidence demonstrates tha...
Ke Wang, Gabriela F. Cretu, Salvatore J. Stolfo
PAKDD
2011
ACM
245views Data Mining» more  PAKDD 2011»
14 years 4 months ago
Finding Rare Classes: Adapting Generative and Discriminative Models in Active Learning
Discovering rare categories and classifying new instances of them is an important data mining issue in many fields, but fully supervised learning of a rare class classifier is pr...
Timothy M. Hospedales, Shaogang Gong, Tao Xiang