Logo Logo
Light
Dark
System
Download all

Generalized Feature Trees (GFTs)

  1. Home
  2. Generalized Feature Trees (GFTs)
  3. Oh2019_gft.uvl
Journal Article
View Zenodo publication View associated publication
DOI /doi/10.5281/zenodo.17252231
Name
Truck_gft.uvl
GPL_excerpt_gft.uvl
Akesson2019b_gft.uvl
BerkeleyDB_gft.uvl
Oh2019_gft.uvl
WeaFQAs_gft.uvl
TankWar_gft.uvl
JHipster_gft.uvl
axTLS_gft.uvl
MobileMedia_gft.uvl
Horcas2022b_gft.uvl
Pizzas_complex_gft.uvl
Download all dataset (3.68 MB)
UVL Logo Copy 
features
	XOR_Root {abstract, aux}
		alternative
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				optional
					HAVE_VERIFY 
				mandatory
					CS32MB 
				optional
					HAVE_HASH 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				mandatory
					PS1K 
				optional
					HAVE_VERIFY 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
			Root {abstract}
				optional
					DIAGNOSTIC 
				mandatory
					PS32K 
				mandatory
					CACHESIZE 
				optional
					HAVE_STATISTICS 
				mandatory
					PS16K 
				optional
					HAVE_REPLICATION 
				mandatory
					PS8K 
				optional
					HAVE_CRYPTO 
				optional
					HAVE_SEQUENCE 
				mandatory
					CS16MB 
				optional
					HAVE_VERIFY 
				optional
					HAVE_HASH 
				mandatory
					CS64MB 
				mandatory
					PAGESIZE 
				mandatory
					CS512MB 
				mandatory
					PS4K
Fact Label Logo Open