Skip to content

José Miguel Rojas

  • Mr
  • University of Sheffield
  • 8PublicationsNumber of items in José Miguel's My Publications folder on Mendeley.
  • 11Followers

Groups

  • Writing
    Writing

Followers (11)

Explore network

Following (11)

Explore network

Publications (5)

  • Compositional Symbolic Execution through Program Specialization

    • Rojas J
    • Păsăreanu C
    N/AReaders
    N/ACitations
  • A Framework for Guided Test Case Generation in Constraint Logic Programming

    • Rojas J
    • Gómez-Zamalloa M
    N/AReaders
    N/ACitations
  • Parallel simulation of NEPs on clusters

    • Navarrete C
    • de la Cruz M
    • Anguiano E
    • et al.
    N/AReaders
    N/ACitations
  • Compositional CLP-based Test Data Generation for Imperative Languages

    • Albert E
    • Gómez-Zamalloa M
    • Rojas J
    • et al.
    N/AReaders
    N/ACitations
  • Towards the Automatic Programming of H Systems : jHsys , a Java H System Simulator

    • Rojas J
    • de la Cruz M
    • Ortega A
    N/AReaders
    N/ACitations

Professional experience

University of Sheffield