4491 search results - page 264 / 899 » Algorithm Engineering |
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
RANDOOP FOR JAVA generates unit tests for Java code using feedback-directed random test generation. Below we describe RANDOOP’s input, output, and test generation algorithm. We ...
132
click to vote
ECLIPSE
2004
ACM
15 years 8 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
150
click to vote
WEA
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. The suffix tree is an extremely important data structure for stringology, with a wealth of applications in bioinformatics. Classical implementations require much space, w...
111
click to vote
SMA
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
157
click to vote
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....