Sciweavers

1100 search results - page 94 / 220
» An Approach to Test Aspect-oriented Programs
Sort
View
131
Voted
ISSTA
2010
ACM
15 years 7 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
IASTEDSE
2004
15 years 4 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
CSB
2003
IEEE
15 years 8 months ago
A New Approach for Gene Annotation Using Unambiguous Sequence Joining
The problem addressed by this paper is accurate and automatic gene annotation following precise identification/annotation of exon and intron boundaries of biologically verified ...
Alexandre Tchourbanov, Daniel Quest, Hesham H. Ali...
160
Voted
CORR
2011
Springer
221views Education» more  CORR 2011»
14 years 10 months ago
Course on System Design (structural approach)
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
Mark Sh. Levin
EVOW
2009
Springer
15 years 10 months ago
Prediction of Interday Stock Prices Using Developmental and Linear Genetic Programming
A developmental co-evolutionary genetic programming approach (PAM DGP) is compared to a standard linear genetic programming (LGP) implementation for trading of stocks across market...
Garnett Carl Wilson, Wolfgang Banzhaf