Gamification of Loop-Invariant Discovery from Code.
Andrew T. WalterBenjamin BoskinSeth CooperPanagiotis ManoliosPublished in: HCOMP (2019)
Keyphrases
- instruction scheduling
- source code
- scientific discovery
- real time
- knowledge discovery
- affine invariant
- quasi invariant
- feedback loop
- discovery process
- pattern discovery
- affine transformation
- user experience
- software systems
- user behavior
- user interaction
- data flow
- software engineering
- feature vectors
- association rules
- machine learning
- database