1069 search results - page 90 / 214 » Automatic Generation of Language-based Tools |
SAC
2005
ACM
15 years 5 months ago
2005
ACM
Search engines crawl and index webpages depending upon their informative content. However, webpages — especially dynamically generated ones — contain items that cannot be clas...
107
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Most single stranded RNA (ssRNA) viruses mutate rapidly to generate large number of strains having highly divergent capsid sequences. Accurate strain recognition in un...
TAP
2010
Springer
14 years 9 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
104
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...