Login / Signup
Unit testing performance with Stochastic Performance Logic.
Lubomír Bulej
Tomás Bures
Vojtech Horký
Jaroslav Kotrc
Lukás Marek
Tomás Trojánek
Petr Tuma
Published in:
Autom. Softw. Eng. (2017)
Keyphrases
</>
unit testing
logic programming
test cases
classical logic
monte carlo
software testing
predicate logic
feature extraction
cooperative
black box
logical framework
feature selection
decision trees
modal logic
automated reasoning