379 search results - page 32 / 76 » The AGEDIS Tools for Model Based Testing |
85
Voted
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
118
Voted
AI
1998
Springer
15 years 3 months ago
1998
Springer
This paper introduces a niching technique called GAS (S stands for species) which dynamically creates a subpopulation structure (taxonomic chart) using a radius function instead of...
125
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
138
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
119
Voted
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...