مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2351942

Title :

[Title page i]

fYear :

2010

fDate :

6-10 April 2010

Abstract :

The following topics are dealt with: software testing; software verification; software validation; AMOST; QuoMBaT; mutation; SBST; testbeds; ViDaS; CSTVA; MDV; STITC; and TDD.

Keywords :

program testing; program verification; AMOST; CSTVA; MDV; QuoMBaT; SBST; STITC; TDD; ViDaS; mutation; software testing; software validation; software verification; testbeds;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on

Conference_Location :

Paris

Print_ISBN :

978-1-4244-6773-0

Type :

conf

DOI :

10.1109/ICSTW.2010.1

Filename :

5463696

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2351942