Samuel Jimenez Gil

According to our database, Samuel Jimenez Gil authored at least 3 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Automatic test cases generation from formal contracts.

Samuel Jimenez Gil, Manuel I. Capel, Gabriel Olea Olea

Inf. Softw. Technol., 2024

2020

Constraint-based testing and tail tests for measurement-based probabilistic timing analysis

Samuel Jimenez Gil

PhD thesis, 2020

2017

Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time.

Samuel Jimenez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel, Liliana Cucu-Grosjean

IEEE Embed. Syst. Lett., 2017