Koleksi Nasional
Persempit Pencarian
Hapus Filter
Topik: test generation
Sektor
Koleksi
Topik
test generation
3
isolation
3
testing
2
big data analytics
2
fuzz testing
2
symbolic execution
more ...
2
white-box
1
Negative bias temperature instability
1
cooperative verification
1
dynamic symbolic execution
1
esec
1
fse 2020
1
gassert
1
mocking
1
oracle improvement
1
parameterized mocking
1
program slicing
1
software testing
1
software verification
1
symbiotic
1
unit testing
1
user-defined behavior
less ...
Pengarang
2
Anonymous Author(s)
2
David Honfi
2
Zoltan Micskei
1
Beyer, Dirk
1
Honfi, Dávid
1
Jahangirova, Gunel
more ...
1
Jakub Novák
1
Jan
1
Lemberger, Thomas
1
Marek Chalupa
1
Maria K. Michael
1
Micskei, Zoltán
1
P. Madhukar Reddy
1
Paul V. Gratz
1
Pezzè, Mauro
1
Stavros Hadjitheophanous
1
Terragni, Valerio
1
Tonella, Paolo
1
Vassos Soteriou
less ...
Bahasa
Persempit Pencarian
Hapus Filter
Topik: test generation
Sektor
Koleksi
Topik
test generation
3
isolation
3
testing
2
big data analytics
2
fuzz testing
2
symbolic execution
more ...
2
white-box
1
Negative bias temperature instability
1
cooperative verification
1
dynamic symbolic execution
1
esec
1
fse 2020
1
gassert
1
mocking
1
oracle improvement
1
parameterized mocking
1
program slicing
1
software testing
1
software verification
1
symbiotic
1
unit testing
1
user-defined behavior
less ...
Pengarang
2
Anonymous Author(s)
2
David Honfi
2
Zoltan Micskei
1
Beyer, Dirk
1
Honfi, Dávid
1
Jahangirova, Gunel
more ...
1
Jakub Novák
1
Jan
1
Lemberger, Thomas
1
Marek Chalupa
1
Maria K. Michael
1
Micskei, Zoltán
1
P. Madhukar Reddy
1
Paul V. Gratz
1
Pezzè, Mauro
1
Stavros Hadjitheophanous
1
Terragni, Valerio
1
Tonella, Paolo
1
Vassos Soteriou
less ...
Bahasa