Sciweavers

216 search results - page 11 / 44
» Testing Extensible Language Debuggers
Sort
View
POPL
2007
ACM
14 years 10 months ago
Dynamic heap type inference for program understanding and debugging
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
Ben Liblit, Chloë W. Schulze, Marina Polishch...
LREC
2008
174views Education» more  LREC 2008»
13 years 11 months ago
Evaluation of a Machine Translation System for Low Resource Languages: METIS-II
In this paper we describe the METIS-II system and its evaluation on each of the language pairs: Dutch, German, Greek, and Spanish to English. The METIS-II system envisaged develop...
Vincent Vandeghinste, Peter Dirix, Ineke Schuurman...
ICST
2009
IEEE
14 years 4 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
WSC
1998
13 years 11 months ago
MODSIM III - a Tutorial with Advances in Database Access and HLA Support
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
John Goble, Brian Wood
CLEF
2003
Springer
14 years 2 months ago
Bridging Languages for Question Answering: DIOGENE at CLEF 2003
This paper presents the extension of the ITC-irst DIOGENE Question Answering system towards multilinguality. DIOGENE relies on a well tested three-components architecture built in...
Matteo Negri, Hristo Tanev, Bernardo Magnini