759 search results - page 56 / 152 » Test case generator for GUITAR |
DAC
2011
ACM
12 years 10 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...
NIPS
2008
14 years 7 days ago
2008
We apply robust Bayesian decision theory to improve both generative and discriminative learners under bias in class proportions in labeled training data, when the true class propo...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
ISSTA
2004
ACM
14 years 4 months ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...
GECCO
2009
Springer
14 years 5 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...