1100 search results - page 115 / 220 » An Approach to Test Aspect-oriented Programs |
125
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
97
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we introduce a new technique for estimating the parameters of the Keplerian model commonly used in radial velocity data analysis for extrasolar planet detection. The...
132
click to vote
EOR
2011
14 years 10 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...
150
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
172
Voted
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...