1781 search results - page 292 / 357 » Visualizing program execution using user abstractions |
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. We describe a framework for training-oriented simulation of temporal bone surgery. Bone dissection is simulated visually and haptically, using a hybrid data representatio...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
BMCBI
2008
13 years 9 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
BMCBI
2004
13 years 8 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...