Testing an Intentional Naming Scheme Using Genetic Algorithms
Abstract elided by the publisher.
Related papers
- Exploring Very Large State Spaces Using Genetic Algorithms TACAS 2002
- Autobahn: using genetic algorithms to infer strictness annotations Haskell 2016
- Extensible encoding of type hierarchies POPL 2008
- Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming GPCE 2022
- Optimizing Sorting with Genetic Algorithms CGO 2005
- Type Matching, Type-Graphs, and the Schanuel Conjecture TOPLAS 1992
- Formal Verification of Genetic Circuits CAV 2012
- Model Checking Liveness Properties of Genetic Regulatory Networks TACAS 2007