Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

Incremental Refinement Checking for Test Case Generation



  ID Publisher : 0000015720
  Nama Jurnal : Tests and Proofs
  Pengarang : Bernhard K. Aichernig, Elisabeth Jobstl, and Matthias Kegele
  Subjek : model-based testing, mutation testing, action systems, conformance, refinement, constraint solving, SMT solving.
  Edisi : 0 / 0 / June 2013


Download File...

  Isi_Artikel_270559757445.pdf
  [ 4131184  bytes ]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA