Genetic algorithms for affine transformations to existential T-restrictions

Ryan E. Dougherty, Charles J. Colbourn, Erin Lanus, Stephanie Forrest

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The subject of t-restrictions has garnered considerable interest recently as it encompasses many different types of combinatorial objects, all of which have unique and important applications. One of the most popular of these is an ingredient in the generation of covering arrays, which are used for discovering faulty interactions among software components. We focus on existential t-restrictions, which have a structure that can be exploited by genetic algorithms. In particular, recent work on such restrictions considers affine transformations while maximizing the corresponding “score” of the formed restriction. We propose to use genetic algorithms for existential t-restrictions by providing a general framework that can be applied to all such objects.

Original languageEnglish (US)
Title of host publicationGECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
PublisherAssociation for Computing Machinery, Inc
Pages1707-1708
Number of pages2
ISBN (Electronic)9781450367486
DOIs
StatePublished - Jul 13 2019
Event2019 Genetic and Evolutionary Computation Conference, GECCO 2019 - Prague, Czech Republic
Duration: Jul 13 2019Jul 17 2019

Publication series

NameGECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion

Conference

Conference2019 Genetic and Evolutionary Computation Conference, GECCO 2019
CountryCzech Republic
CityPrague
Period7/13/197/17/19

Fingerprint

Affine transformation
Genetic algorithms
Genetic Algorithm
Restriction
Covering Array
Software Components
Interaction
Object

Keywords

  • Covering array
  • Covering perfect hash family
  • T-restriction

ASJC Scopus subject areas

  • Artificial Intelligence
  • Theoretical Computer Science
  • Software

Cite this

Dougherty, R. E., Colbourn, C. J., Lanus, E., & Forrest, S. (2019). Genetic algorithms for affine transformations to existential T-restrictions. In GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion (pp. 1707-1708). (GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion). Association for Computing Machinery, Inc. https://doi.org/10.1145/3319619.3326823

Genetic algorithms for affine transformations to existential T-restrictions. / Dougherty, Ryan E.; Colbourn, Charles J.; Lanus, Erin; Forrest, Stephanie.

GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, 2019. p. 1707-1708 (GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dougherty, RE, Colbourn, CJ, Lanus, E & Forrest, S 2019, Genetic algorithms for affine transformations to existential T-restrictions. in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, Inc, pp. 1707-1708, 2019 Genetic and Evolutionary Computation Conference, GECCO 2019, Prague, Czech Republic, 7/13/19. https://doi.org/10.1145/3319619.3326823
Dougherty RE, Colbourn CJ, Lanus E, Forrest S. Genetic algorithms for affine transformations to existential T-restrictions. In GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc. 2019. p. 1707-1708. (GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion). https://doi.org/10.1145/3319619.3326823
Dougherty, Ryan E. ; Colbourn, Charles J. ; Lanus, Erin ; Forrest, Stephanie. / Genetic algorithms for affine transformations to existential T-restrictions. GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, 2019. pp. 1707-1708 (GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion).
@inproceedings{7ccb956aac034438a3b3c3f231a6c137,
title = "Genetic algorithms for affine transformations to existential T-restrictions",
abstract = "The subject of t-restrictions has garnered considerable interest recently as it encompasses many different types of combinatorial objects, all of which have unique and important applications. One of the most popular of these is an ingredient in the generation of covering arrays, which are used for discovering faulty interactions among software components. We focus on existential t-restrictions, which have a structure that can be exploited by genetic algorithms. In particular, recent work on such restrictions considers affine transformations while maximizing the corresponding “score” of the formed restriction. We propose to use genetic algorithms for existential t-restrictions by providing a general framework that can be applied to all such objects.",
keywords = "Covering array, Covering perfect hash family, T-restriction",
author = "Dougherty, {Ryan E.} and Colbourn, {Charles J.} and Erin Lanus and Stephanie Forrest",
year = "2019",
month = "7",
day = "13",
doi = "10.1145/3319619.3326823",
language = "English (US)",
series = "GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion",
publisher = "Association for Computing Machinery, Inc",
pages = "1707--1708",
booktitle = "GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion",

}

TY - GEN

T1 - Genetic algorithms for affine transformations to existential T-restrictions

AU - Dougherty, Ryan E.

AU - Colbourn, Charles J.

AU - Lanus, Erin

AU - Forrest, Stephanie

PY - 2019/7/13

Y1 - 2019/7/13

N2 - The subject of t-restrictions has garnered considerable interest recently as it encompasses many different types of combinatorial objects, all of which have unique and important applications. One of the most popular of these is an ingredient in the generation of covering arrays, which are used for discovering faulty interactions among software components. We focus on existential t-restrictions, which have a structure that can be exploited by genetic algorithms. In particular, recent work on such restrictions considers affine transformations while maximizing the corresponding “score” of the formed restriction. We propose to use genetic algorithms for existential t-restrictions by providing a general framework that can be applied to all such objects.

AB - The subject of t-restrictions has garnered considerable interest recently as it encompasses many different types of combinatorial objects, all of which have unique and important applications. One of the most popular of these is an ingredient in the generation of covering arrays, which are used for discovering faulty interactions among software components. We focus on existential t-restrictions, which have a structure that can be exploited by genetic algorithms. In particular, recent work on such restrictions considers affine transformations while maximizing the corresponding “score” of the formed restriction. We propose to use genetic algorithms for existential t-restrictions by providing a general framework that can be applied to all such objects.

KW - Covering array

KW - Covering perfect hash family

KW - T-restriction

UR - http://www.scopus.com/inward/record.url?scp=85070631676&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85070631676&partnerID=8YFLogxK

U2 - 10.1145/3319619.3326823

DO - 10.1145/3319619.3326823

M3 - Conference contribution

AN - SCOPUS:85070631676

T3 - GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion

SP - 1707

EP - 1708

BT - GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion

PB - Association for Computing Machinery, Inc

ER -