13 citations · 13 across the 1 of their papers we have counts for
2 papers
cs.PL2021
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence +2
In many applications one wants to identify identical subtrees of a program syntax tree. This identification should ideally be robust to alpha-renaming of the program, but no existi…
cs.LG2020★ 13 cited
DRIFT: Deep Reinforcement Learning for Functional Software Testing
Luke Harries, Rebekah Storan Clarke, Timothy Chapman +10
Efficient software testing is essential for productive software development and reliable user experiences. As human testing is inefficient and expensive, automated software testing…