Publications

Filters: Author is Mariano M. Moscato [Clear All Filters]

2014

M. M. Moscato, C. G. López Pombo, and M. F. Frias, “Dynamite: A tool for the verification of alloy models based on PVS”, {ACM} Trans. Softw. Eng. Methodol., vol. 23, p. 20, 2014.

M. Giménez, M. M. Moscato, C. G. López Pombo, and M. F. Frias, “HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications”, 2014.

gimenez-lafm14.pdf (241.92 KB)

2013

M. Gimenez, M. M. Moscato, C. G. López Pombo, and M. F. Frias, “HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications”, in Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina, 2013.

lafm2013.pdf (238.7 KB)

P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.

icst2013.pdf (285.71 KB)