141 search results - page 23 / 29 » Automatic generation of library bindings using static analys... |
104
Voted
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
106
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
130
click to vote
ADAEUROPE
2000
Springer
15 years 6 months ago
2000
Springer
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
119
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
198
Voted
DLS
2009
14 years 11 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...