481 search results - page 58 / 97 » Differential symbolic execution |
102
Voted
CORR
2010
Springer
15 years 18 days ago
2010
Springer
This paper presents a modeling process in order to produce a realistic simulation of crowds in the ancient Greek agora of Argos. This place was a social theater in which two kinds...
108
Voted
BMCBI
2007
15 years 19 days ago
2007
Background: There are some limitations associated with conventional clustering methods for short time-course gene expression data. The current algorithms require prior domain know...
118
Voted
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
178
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
94
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...