Samuel Jimenez Gil

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 2

Top Topics

Test Case Selection

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)