1722 search results - page 81 / 345 » Generating Tests from Counterexamples |
129
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
128
click to vote
FLAIRS
2011
14 years 6 months ago
2011
In affective natural language generation (NLG) a major aim is to be able to influence the emotional effects evoked in the addressee through the intelligent use of language. While...
125
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
145
click to vote
VTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Timing-related defects are becoming increasingly important in nanometer technology designs. Small delay variations induced by crosstalk, process variations, powersupply noise, as ...
146
click to vote
ACL
2010
15 years 1 months ago
2010
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...