455 search results - page 28 / 91 » Directed test generation using symbolic grammars |
SIGGRAPH
1991
ACM
15 years 1 months ago
1991
ACM
CT This paper describes how evolutionary techniques of variation and selection can be used to create complex simulated structures, textures, and motions for use in computer graphic...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ICALP
2001
Springer
15 years 2 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
108
click to vote
PASTE
2005
ACM
15 years 3 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...