Login / Signup
Tomás Trojánek
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Predicate Logic
Black Box
Unit Testing
Monte Carlo
Top Venues
Autom. Softw. Eng.
</>
Publications
</>
Lubomír Bulej
,
Tomás Bures
,
Vojtech Horký
,
Jaroslav Kotrc
,
Lukás Marek
,
Tomás Trojánek
,
Petr Tuma
Unit testing performance with Stochastic Performance Logic.
Autom. Softw. Eng.
24 (1) (2017)