Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Wintersteiger, C. M."'
Publikováno v:
Scopus-Elsevier
Satisfiability Modulo Theories (SMT) is essential for many practical applications, e.g., in hard- and software verification, and increasingly also in other scientific areas like computational biology. A large number of applications in these areas ben
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11902905d2e2b0bbe69edef4afbefe9f
https://doi.org/10.1609/aaai.v29i1.9372
https://doi.org/10.1609/aaai.v29i1.9372
Autor:
Mikoláš Janota, Wintersteiger, C. M.
Publikováno v:
CIÊNCIAVITAE
Scopus-Elsevier
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5c03781549b1d8ba647c4181e6860743
http://www.scopus.com/inward/record.url?eid=2-s2.0-84984851093&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84984851093&partnerID=MN8TOARS
Autor:
Mercan, Hanefi, Yılmaz, Cemal
Combinatorial Interaction Testing (CIT) approaches aim to reveal failures caused by the interactions of factors, such as input parameters and configuration options. Our ultimate goal in this line of research is to improve the practicality of CIT appr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1246::8250f3a98f2fc59c7e8194f4059cfa32
https://research.sabanciuniv.edu/id/eprint/30422/
https://research.sabanciuniv.edu/id/eprint/30422/