3424 search results - page 59 / 685 » Automated Testing of Classes |
135
Voted
TAMC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
145
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
152
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
121
click to vote
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
119
click to vote
DLOG
2009
15 years 13 days ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...