Login / Signup
Implementing and Evaluating Candidate-Based Invariant Generation.
Adam Betts
Nathan Chong
Pantazis Deligiannis
Alastair F. Donaldson
Jeroen Ketema
Published in:
IEEE Trans. Software Eng. (2018)
Keyphrases
</>
artificial intelligence
information retrieval
information systems
decision making
invariant features
generation process
generation method