Sciweavers

3544 search results - page 340 / 709
» Software Testing
Sort
View
CCS
2007
ACM
16 years 26 days ago
Defining categories to select representative attack test-cases
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
Mohammed S. Gadelrab, Anas Abou El Kalam, Yves Des...
SCSC
2007
15 years 8 months ago
Virtual prototyping as a mechanism for simulation-based design
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
Roger Dougal, Blake Langland, Antonello Monti
SAC
2010
ACM
16 years 1 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
ICST
2008
IEEE
16 years 1 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
EMSOFT
2009
Springer
16 years 1 months ago
Cache-aware scheduling and analysis for multicores
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
Nan Guan, Martin Stigge, Wang Yi, Ge Yu