1050 search results - page 45 / 210 » Generating Executable Scenarios from Natural Language |
143
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
162
Voted
DAC
2011
ACM
14 years 3 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
190
Voted
PTS
2010
15 years 1 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
122
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....
124
Voted
EMNLP
2009
15 years 1 months ago
2009
We develop a general method to match unstructured text reviews to a structured list of objects. For this, we propose a language model for generating reviews that incorporates a de...