1104 search results - page 163 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
114
Voted
TACAS
2009
Springer
15 years 10 months 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...
141
Voted
IROS
2007
IEEE
15 years 10 months 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 ...
124
Voted
KBSE
2007
IEEE
15 years 10 months 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. ...
96
Voted
VMV
2003
15 years 5 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...
115
Voted
KBSE
2010
IEEE
15 years 2 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...