Using UML Models and Formal Verification in Model-Based Testing

Q Malik, Dragos Truscan, Johan Lilius

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

11 Citations (Scopus)

1 results

Finished

D-Mint: Deployment of Model-Based Technologies to Industrial Testing
Truscan, D. (Principal Investigator), Lilius, J. (Co-Principal Investigator), Porres Paltor, I. (Co-Principal Investigator) & Abbors, F. (Co-Investigator)
01/01/07 → 31/12/09
Project: Industry/Business Finland