José Miguel Rojas Siles

My humble CV.

Contact me : jmrojas_at_clip.dia.fi.upm.es / +34 913365018

Since December 2007 :

• Master student at the Universidad Autónoma de Madrid (Spain), supervised by Alfonso Ortega

Since October 2009 :

• FPI Grantee at CLIP at the Universidad Politécnica de Madrid (Spain) and PhD student supervised by Elvira Albert

Static analysis/verification. Symbolic execution. Software testing and Test data generation. Concurrency. Bio-inspired computing devices.

My DBLP entry.

COSTA is a Cost and Termination Analyzer for Java Bytecode programs.

PET is a Partial Evaluation-based Test Case Generator for Java Bytecode programs.

jHSys is a Java simulator for H(Splicing) Systems.