Sciweavers

3527 search results - page 306 / 706
» Test Automation in Practice
Sort
View
169
Voted
APVIS
2011
14 years 5 months ago
An extended evaluation of the readability of tapered, animated, and textured directed-edge representations in node-link graphs
We present the results of a study comparing five directed-edge representations for use in 2D, screen-based node-link diagrams. The goal of this work is to extend the understandin...
Danny Holten, Petra Isenberg, Jarke J. van Wijk, J...
118
Voted
3DPVT
2002
IEEE
128views Visualization» more  3DPVT 2002»
15 years 10 months ago
Towards Automatic Modeling of Monuments and Towers
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...
Sabry F. El-Hakim, J.-Angelo Beraldin, Jean-Fran&c...
162
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
Using Transformation Systems for Software Maintenance and Reengineering
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
Ira D. Baxter
JSS
2010
150views more  JSS 2010»
15 years 3 months ago
Towards a general purpose architecture for UI generation
Many software projects spend a significant proportion of their time developing the User Interface (UI), therefore any degree of automation in this area has clear benefits. Such au...
Richard Kennard, John Leaney
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 2 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz