334 search results - page 1 / 67 » Model-Based Software Testing and Verification |
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
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...
ASWSD
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
AOSD
2008
ACM
13 years 7 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
ISPW
2008
IEEE
13 years 11 months ago
2008
IEEE
WETICE
2005
IEEE
13 years 10 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...