Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Retain current filters
topic_facet:"Test coverage"
Cari:
Koleksi Nasional
Menampilkan
1
-
2
of
2
untuk pencarian:
''
, lama mencari: 0.11s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Reproduction Package for ATVA 2019 Article `Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'
info
software
oleh
Beyer, Dirk
,
Lemberger, Thomas
Terbitan:
2019
Lokasi
Repository
IOS Number
KOTA PALEMBANG
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
IOS17403.3352401
Available online:
Get online
Favorit
Tersimpan di:
Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19
info
dataset
eJournal
oleh
Beyer, Dirk
,
Jakobs, Marie-Christine
Terbitan:
2019
Institusi:
Universitas PGRI Palembang
Gedung:
Perpustakaan Universitas PGRI Palembang
Lokasi
Repository
IOS Number
KOTA PALEMBANG
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
IOS17403.2566735
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Persempit Pencarian
Hapus Filter
Topik: Test coverage
Sektor
1
Library
University
1
Institusi
2
Universitas PGRI Palembang
1
DEFAULT
Koleksi
Puyang Concept Sacrificed and Demythosized
2
1
DEFAULT
Format
2
Other
Info
2
Dataset
1
Software
1
1
Journal
EJournal
1
Topik
2
Conditional model checking
2
Cooperative verification
2
Software testing
Test coverage
2
Test-case generation
1
Model checking
more ...
1
Program analysis
1
Software verification
less ...
Pengarang
2
Beyer, Dirk
1
Jakobs, Marie-Christine
1
Lemberger, Thomas
Bahasa
2
eng
Tahun
2
2019
×
Loading...
