An SMT-based Approach for Generating Coverage Oriented Metamodel Instances
Year of publication: |
2016
|
---|---|
Authors: | Wu, Hao |
Published in: |
International Journal of Information System Modeling and Design (IJISMD). - IGI Global, ISSN 1947-8194, ZDB-ID 2703392-2. - Vol. 7.2016, 3 (01.07.), p. 23-50
|
Publisher: |
IGI Global |
Subject: | Coverage Criteria | Graph | Instance Generation | Metamodel | Satisfiability Modulo Theories (SMT) |
-
Sprecher, Arno, (1996)
-
Benchmark suite for industrial and tramp ship routing and scheduling problems
Hemmati, Ahmad, (2014)
-
Sprecher, Arno, (1996)
- More ...
-
Customs cooperation in the WTO : from Uruguay to Doha
Wu, Hao, (2017)
-
An estimation of returns to scale of airport airsides under multiple optimal solutions in DEA
Zhang, Baocheng, (2014)
-
A mixed-game agent-based model of financial contagion
Caporale, Guglielmo Maria, (2008)
- More ...