Test Generation using Symbolic Animation of Models
Submitted by CASSIS on Tue, 2011-01-25 12:29
| Title | Test Generation using Symbolic Animation of Models |
| Publication Type | Book Chapter |
| Year of Publication | 2010 |
| Authors | Dadeau, F., F. Peureux, B. Legeard, R. Tissot, J. Julliand, P. - A. Masson, and F. Bouquet |
| Book Title | Model-Based Testing for Embedded Systems |
| Series Title | Series on Computational Analysis, Synthesis, and Design of Dynamic Systems |
| Pagination | ***–*** |
| Publisher | CRC Press |
| Notes | Accepted manuscript. To appear |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
