2026 search results - page 59 / 406 » Tools for Test Case Generation |
105
Voted
XPU
2009
Springer
15 years 7 months ago
2009
Springer
FitClipse is an Eclipse plug-in for facilitating Executable Acceptance Test Driven Development. The tool allows the users to edit acceptance tests, automatically generate fixtures,...
OSDI
2008
ACM
16 years 24 days ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
94
Voted
QSIC
2009
IEEE
15 years 7 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
MSE
2003
IEEE
15 years 5 months ago
2003
IEEE
A tool has been developed to automate the testing and grading of design projects implemented in reprogrammable hardware. The server allows multiple students to test circuits in FP...
100
click to vote
VISUALIZATION
2002
IEEE
15 years 5 months ago
2002
IEEE
We report on using computed tomography (CT) as a model acquisition tool for complex objects in computer graphics. Unlike other modeling and scanning techniques the complexity of t...