Publications

Export 4 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Sarfraz Khurshid  [Clear All Filters]
2014
N. Rosner, et al., “Bounded exhaustive test input generation from hybrid invariants”, in Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014, 2014.
D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “Integrating SMT solvers in Rodin”, Science of Computer Programming, 2014.
2013
N. Rosner, J. H. Siddiqui, N. Aguirre, S. Khurshid, and M. F. Frias, “Ranger: Parallel analysis of alloy models by range partitioning”, in 2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.
2012
D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “SMT Solvers for Rodin”, in 3rd Intl. Conf. Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012), Pisa, Italy, 2012.