Skip to content

José Miguel Rojas

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

Recent publications

  • 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

Professional experience

University of Sheffield

Groups

  • Writing
    Writing

Followers (11)

Explore network

Following (11)

Explore network