Travelled to:1 × Austria
1 × Canada
1 × Denmark
1 × France
1 × Greece
1 × Luxembourg
1 × Poland
1 × United Kingdom
2 × Italy
3 × Switzerland
3 × USA
Collaborated with:E.Riccobene P.Arcaini A.Calvagna P.Vavassori A.Vitali M.Guarnieri E.Magri G.Fraser ∅ C.L.Heitmeyer S.Bonfanti G.Facoetti A.Alborghetti A.Morzenti
Talks about:test (12) model (8) generat (6) combinatori (4) interact (3) specif (3) check (3) base (3) coverag (2) automat (2)
Person: Angelo Gargantini
DBLP: Gargantini:Angelo
Facilitated 5 volumes:
Ed
PrChPrChEdEdContributed to:
2015
2015
20152014201420132012
2012
20112009200920082007
2003
19991997Wrote 17 papers:
- DHM-EH-2015-BonfantiGV #mobile
- A Mobile Application for the Stereoacuity Test (SB, AG, AV), pp. 315–326.
- ESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
- Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
- ICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing
- Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
- DHM-2014-FacoettiGV
- An Environment for Domestic Supervised Amblyopia Treatment (GF, AG, AV), pp. 340–350.
- TAP-2014-ArcainiGR #abstraction #model checking #testing
- An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
- ICST-2013-CalvagnaGV #combinator #interactive #testing
- Combinatorial Interaction Testing with CITLAB (AC, AG, PV), pp. 376–382.
- ICST-2013-GargantiniGM #analysis #automation #named #robust
- AURORA: AUtomatic RObustness coveRage Analysis Tool (AG, MG, EM), pp. 463–470.
- ICST-2012-GargantiniV #combinator #interactive #named #testing
- CITLAB: A Laboratory for Combinatorial Interaction Testing (AG, PV), pp. 559–568.
- ICTSS-2012-GargantiniGM #robust #test coverage
- Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes (AG, MG, EM), pp. 168–183.
- ASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
- Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
- ICST-2009-FraserG #evaluation #generative #model checking #specification #testing
- An Evaluation of Model Checkers for Specification Based Test Case Generation (GF, AG), pp. 41–50.
- TAP-2009-CalvagnaG #combinator #heuristic #interactive #satisfiability #testing
- Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing (AC, AG), pp. 27–42.
- TAP-2008-CalvagnaG #approach #combinator #constraints #testing
- A Logic-Based Approach to Combinatorial Testing with Constraints (AC, AG), pp. 66–83.
- TAP-2007-Gargantini #detection #fault #model checking #testing #using
- Using Model Checking to Generate Fault Detecting Tests (AG), pp. 189–206.
- FASE-2003-GargantiniR #animation #automation #modelling #specification
- Automatic Model Driven Animation of SCR Specifications (AG, ER), pp. 294–309.
- ESEC-FSE-1999-GargantiniH #model checking #requirements #specification #testing #using
- Using Model Checking to Generate Tests from Requirements Specifications (AG, CLH), pp. 146–162.
- ESEC-FSE-1997-AlborghettiGM #analysis #automation #deduction
- Providing Automated Support to Deductive Analysis of Time Critical Systems (AA, AG, AM), pp. 211–226.