Login / Signup
Samuel Jimenez Gil
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 2
Top Topics
Uncertain Data
Test Case Selection
Black Box
Regression Testing
Top Venues
Inf. Softw. Technol.
IEEE Embed. Syst. Lett.
</>
Publications
</>
Samuel Jimenez Gil
,
Manuel I. Capel
,
Gabriel Olea Olea
Automatic test cases generation from formal contracts.
Inf. Softw. Technol.
172 (2024)
Samuel Jimenez Gil
,
Iain Bate
,
George Lima
,
Luca Santinelli
,
Adriana Gogonel
,
Liliana Cucu-Grosjean
Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time.
IEEE Embed. Syst. Lett.
9 (3) (2017)