183 search results - page 28 / 37 » Exploiting Symmetries to Test Programs |
98
Voted
EUROCRYPT
2003
Springer
15 years 4 months ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...
107
click to vote
BIOCOMP
2009
15 years 23 days ago
2009
The accurate computational prediction of RNA secondary structures is a difficult task, but an important one, since RNA structure is usually more evolutionarily conserved than prima...
CEC
2010
IEEE
15 years 23 days ago
2010
IEEE
In modern racing games programming non-player characters with believable and sophisticated behaviors is getting increasingly challenging. Recently, several works in the literature ...
ICML
2007
IEEE
16 years 14 days ago
2007
IEEE
Given observed data and a collection of parameterized candidate models, a 1- confidence region in parameter space provides useful insight as to those models which are a good fit t...
ICSE
2009
IEEE-ACM
16 years 14 days ago
2009
IEEE-ACM
We present a new automated white box fuzzing technique and a tool, BuzzFuzz, that implements this technique. Unlike standard fuzzing techniques, which randomly change parts of the...