Sciweavers

6704 search results - page 68 / 1341

» Testing Scenario-Based Models

27

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

14 years 4 months ago

Symbolic Execution and Model Checking for Testing

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

20

ICWE
2007
Springer

92views Internet Technology» more ICWE 2007»

A Survey of Analysis Models and Methods in Website Verification and Testing

14 years 4 months ago

A Survey of Analysis Models and Methods in Website Verification and Testing

Download research.cs.queensu.ca

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

claim paper

Read More »

22

LADC
2007
Springer

149views Applied Computing» more LADC 2007»

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

14 years 4 months ago

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

Download mtc-m17.sid.inpe.br

Ana Maria Ambrosio, Maria de Fátima Mattiel...

claim paper

Read More »

37

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

14 years 4 months ago

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

29

COMPSAC
2005
IEEE

120views Software Engineering» more COMPSAC 2005»

Model-Based Software Testing and Verification

14 years 3 months ago

Model-Based Software Testing and Verification

Download conferences.computer.org

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

claim paper

Read More »

« Prev « First page 68 / 1341 Last » Next »