3736 search results - page 110 / 748 » Hand-Writing Program Generator Generators |
119
Voted
TAP
2008
Springer
15 years 2 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
139
Voted
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
112
click to vote
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
We give simple algorithms for the construction of generator matrices for minimal tail-biting trellises for a powerful and practical subclass of the linear cyclic codes, from which ...