Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. - Samuel Jimenez Gil; Iain Bate; George Lima 001; Luca Santinelli; Adriana Gogonel; Liliana Cucu-Grosjean (IEEE Embed. Syst. Lett., 2017)

Constraint-based testing and tail tests for measurement-based probabilistic timing analysis - Samuel Jimenez Gil (2020)

Automatic test cases generation from formal contracts. - Samuel Jimenez Gil; Manuel I. Capel; Gabriel Olea Olea (Inf. Softw. Technol., 2024)