Understanding The Impact of Solver Choice in Model-Based Test Generation
Paper i proceeding, 2020

Visa mer

Satisfiability Modulo Theories

Model-based Test Generation

Model-Driven Development

Författare

Ying Meng

University of South Carolina

Gregory Gay

Göteborgs universitet

Publicerad i

International Symposium on Empirical Software Engineering and Measurement

19493770 (ISSN) 19493789 (eISSN)

Vol. ESEM '20
9781450375801 (ISBN)

Konferens

14th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)
Bari, Italy,

Kategorisering

Ämneskategorier (SSIF 2011)

Beräkningsmatematik

Programvaruteknik

Identifikatorer

DOI

10.1145/3382494.3410674

Relaterade dataset

Understanding The Impact of Solver Choice in Model-Based Test Generation [dataset]

DOI: 10.5281/zenodo.3484640

Mer information

Senast uppdaterat

2023-09-22