1104 search results - page 163 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
150
click to vote
TACAS
2009
Springer
16 years 23 days ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
183
click to vote
IROS
2007
IEEE
16 years 9 days ago
2007
IEEE
—New 3D ultrasound visualization has enabled minimally invasive, beating-heart intracardiac procedures. However, rapid motion of internal heart structures limits the realization ...
157
click to vote
KBSE
2007
IEEE
16 years 8 days ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
124
click to vote
VMV
2003
15 years 7 months ago
2003
We present a new integrated tool, DERMA, which allows to measure and assess the time evolution of chronic wounds. A laser triangulation 3D scanner is used to acquire the wound geo...
145
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...