Sciweavers

6704 search results - page 68 / 1341
» Testing Scenario-Based Models
Sort
View
HVC
2007
Springer
109views Hardware» more  HVC 2007»
16 years 9 days ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser
COMPSAC
2005
IEEE
15 years 11 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur