243 search results - page 29 / 49 » Concolic testing for functional languages |
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
118
click to vote
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
77
Voted
EMNLP
2009
14 years 7 months ago
2009
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...
ICFP
1999
ACM
15 years 1 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
ECLIPSE
2006
ACM
15 years 3 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...