Collaborated with:P.Ponzio N.Aguirre M.F.Frias V.S.Bengolea G.Regis C.Cornejo S.G.Brida F.Raverta J.P.Galeotti
Talks about:alloy (2) behaviour (1) identifi (1) suffici (1) builder (1) automat (1) analysi (1) specif (1) object (1) analyz (1)
Person: Mariano Politano
DBLP: Politano:Mariano
Contributed to:
2017
2019Wrote 2 papers:
- ESEC-FSE-2017-RegisCBPRPAGF #alloy #analysis #behaviour #modelling #specification
- DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour (GR, CC, SGB, MP, FR, PP, NA, JPG, MFF), pp. 969–973.
- FASE-2019-PonzioBPAF #api #automation #identification
- Automatically Identifying Sufficient Object Builders from Module APIs (PP, VSB, MP, NA, MFF), pp. 427–444.