2026 search results - page 234 / 406 » Tools for Test Case Generation |
178
click to vote
JAR
2000
15 years 5 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
170
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
The success of data-driven solutions to difficult problems, along with the dropping costs of storing and processing massive amounts of data, has led to growing interest in largesc...
161
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
138
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
An attack mutation algorithm takes a known instance of an attack and transforms it into many distinct instances by repeatedly applying attack transformations. Such algorithms are ...
160
click to vote
CODES
2009
IEEE
16 years 5 days ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...