Travelled to:1 × France
1 × Italy
1 × Luxembourg
1 × USA
1 × Uruguay
2 × Switzerland
Collaborated with:M.F.Frias N.Aguirre C.L.Pombo A.Bucchiarone N.Rosner V.S.Bengolea B.C.Parrino D.Garbervetsky S.K.Lahiri S.Qadeer J.W.Voung T.Wies S.Bermúdez G.M.Blas S.P.D.Rosso L.Pizzagalli L.Zemín P.Abad D.Ciolek T.S.E.Maibaum M.M.Moscato I.Vissani
Talks about:bound (6) analysi (3) verif (3) alloy (3) generat (2) invari (2) improv (2) test (2) rich (2) sat (2)
Person: Juan P. Galeotti
DBLP: Galeotti:Juan_P=
Contributed to:
2013
2013
2011
20112010
2009
2008
2005Wrote 8 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.
- ISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel #refinement
- Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.
- SEFM-2011-ParrinoGGF #analysis #bound #data flow #satisfiability #verification
- A Dataflow Analysis to Improve SAT-Based Bounded Program Verification (BCP, JPG, DG, MFF), pp. 138–154.
- TAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing
- Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
- ISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification
- Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.
- CAV-2009-LahiriQGVW
- Intra-module Inference (SKL, SQ, JPG, JWV, TW), pp. 493–508.
- GT-VMT-2008-BucchiaroneG #architecture #using #verification
- Dynamic Software Architectures Verification using DynAlloy (AB, JPG).
- ICSE-2005-FriasGPA #alloy #named
- DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.