Login / Signup
Assume, guarantee or repair: a regular framework for non regular properties.
Hadar Frenkel
Orna Grumberg
Corina S. Pasareanu
Sarai Sheinvald
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
key properties
main contribution
multiscale
conceptual framework
data mining
genetic algorithm
artificial intelligence
decision trees
key features