GERMÁN REGIS; CÉSAR CORNEJO; SIMÓN GUTIÉRREZ BRIDA; MARIANO POLITANO; FERNANDO RAVERTA; PABLO PONZIO; NAZARENO AGUIRRE; JUAN PABLO GALEOTTI; MARCELO FRIAS

DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour

ESEC/FSE'17 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Año: 2017; p. 969 - 973

NICOLÁS ROSNER; VALERIA BENGOLEA; PABLO PONZIO; SHADI ABDUL KHALEK; NAZARENO AGUIRRE; MARCELO F. FRIAS; SARFRAZ KHURSHID

Bounded exhaustive test input generation from hybrid invariants

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications

Año: 2014; p. 655 - 674