Sciweavers

4708 search results - page 121 / 942
» Generating the Structure of Argument
Sort
View
DSL
2009
15 years 2 months ago
Operator Language: A Program Generation Framework for Fast Kernels
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
Franz Franchetti, Frédéric de Mesmay...
ICSE
2009
IEEE-ACM
15 years 11 months ago
Guided path exploration for regression test generation
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan ...
MASCOTS
2001
15 years 6 months ago
BRITE: An Approach to Universal Topology Generation
Effective engineering of the Internet is predicated upon a detailed understanding of issues such as the large-scale structure of its underlying physical topology, the manner in wh...
Alberto Medina, Anukool Lakhina, Ibrahim Matta, Jo...
ISSTA
2004
ACM
15 years 10 months ago
Test input generation with java PathFinder
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
Willem Visser, Corina S. Pasareanu, Sarfraz Khursh...
139
Voted
COLING
2010
14 years 12 months ago
Broad Coverage Multilingual Deep Sentence Generation with a Stochastic Multi-Level Realizer
Most of the known stochastic sentence generators use syntactically annotated corpora, performing the projection to the surface in one stage. However, in full-fledged text generati...
Bernd Bohnet, Leo Wanner, Simon Mille, Alicia Burg...