4491 search results - page 264 / 899 » Algorithm Engineering |
146
Voted
OOPSLA
2007
Springer
16 years 12 days 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 ...
182
click to vote
ECLIPSE
2004
ACM
15 years 11 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...
191
Voted
WEA
2010
Springer
15 years 4 months 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...
144
click to vote
SMA
2003
ACM
15 years 11 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...
221
click to vote
SCESM
2006
ACM
16 years 6 days 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....