715 search results - page 47 / 143 » Automatic Programming for Sequence Control |
106
click to vote
COMPSAC
2008
IEEE
15 years 8 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...
122
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
106
click to vote
DEEC
2006
IEEE
15 years 8 months ago
2006
IEEE
A substantial subset of the web data follows some kind of underlying structure. In order to let software programs gain full benefit from these “semistructured” web sources, wra...
142
click to vote
AFP
2008
Springer
15 years 8 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
124
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...