Personensuche
X
?
2020 IEEE Congress on Evolutionary Computation (CEC) ,
9
Shrinking Counterexamples in Property-Based Testing with Ge..:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
11
Fractional Types: Expressive and Safe Space Management for ..:
, In:
?
Proceedings of the Genetic and Evolutionary Computation Conference Companion ,
12
Genetic algorithms as shrinkers in property-based testing:
, In:
?
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell ,
15