Travelled to:1 × Luxembourg
1 × Portugal
1 × United Kingdom
Collaborated with:M.F.Frias C.L.Pombo N.Aguirre T.S.E.Maibaum A.Wassyng P.Abad V.S.Bengolea D.Ciolek J.P.Galeotti N.Rosner I.Vissani
Talks about:alloy (3) specif (2) analyz (2) increment (1) behaviour (1) contract (1) tabular (1) generat (1) describ (1) analysi (1)
Person: Mariano M. Moscato
DBLP: Moscato:Mariano_M=
Contributed to:
2013
2009
2007Wrote 3 papers:
- ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
- Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
- FASE-2009-AguirreFMMW #alloy #behaviour #specification #using
- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (NA, MFF, MMM, TSEM, AW), pp. 155–170.
- TACAS-2007-FriasPM #alloy #analysis #specification #verification
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (MFF, CLP, MMM), pp. 587–601.