1821 search results - page 246 / 365 » Security-Aware Program Transformations |
115
Voted
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
116
click to vote
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
121
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
115
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
98
Voted
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...