BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Galeotti:Juan_P=

Contributed to:

ICST 20132013
ISSTA 20132013
SEFM 20112011
TAP 20112011
ISSTA 20102010
CAV 20092009
GT-VMT 20082008
ICSE 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.