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 × Finland
1 × Ireland
1 × Japan
1 × Luxembourg
1 × Portugal
1 × Russia
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × Canada
3 × Germany
4 × Italy
8 × USA
Collaborated with:
E.Marchetti M.Marré A.Polini G.D.Angelis R.Mirandola P.Inverardi H.Muccini S.Gnesi C.Bartolini F.Lonetti I.Forgács L.Strigini S.Daoudagh A.Morichetta A.Sabetta F.Basanieri A.Calabrò F.D.Giandomenico N.Nostro S.G.Elbaum P.Pelliccione M.Tivoli L.Frantzen F.Ricci A.Bonivento A.L.Sangiovanni-Vincentelli A.Fantechi G.Lami F.Corradini A.Ciancone N.A.M.Maiden J.Lockerbie K.Zachos M.Busch N.Koch W.E.Wong V.Debroy A.P.Mathur J.Offutt M.A.Vouk
Talks about:
test (17) base (7) servic (6) perform (5) use (5) architectur (4) compon (4) softwar (3) monitor (3) web (3)

♀ Person: Antonia Bertolino

DBLP DBLP: Bertolino:Antonia

Facilitated 8 volumes:

CBSE 2013PrCo
ICST 2012Ed
CBSE 2011Ed
CBSE 2011PrCh
CBSE 2008PrCo
CBSE 2007PrCo
ESEC/FSE 2007Ed
ESEC/FSE 2007PrCh

Contributed to:

REFSQ 20142014
ESEC/FSE 20132013
ICST 20132013
SAC 20132013
ICST 20122012
CSEE&T 20112011
SFM 20112011
ESEC/FSE 20092009
ICST 20092009
ASE 20082008
TestCom/FATES 20082008
CBSE 20072007
MoDELS 20062006
SPL Book 20062006
CBSE 20042004
CBSE 20032002
ESEC/FSE 20032003
ICSE 20032003
SFM 20032003
UML 20022002
ICSE 20012001
ICSE 20002000
ESEC/FSE 19971997
ICSE 19961996
ISSTA 19961996
ICSE 19951995
ISSTA 19941994

Wrote 28 papers:

REFSQ-2014-MaidenLZBAL #approach #case study #experience #specification
A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report (NAMM, JL, KZ, AB, GDA, FL), pp. 239–253.
ESEC-FSE-2013-BertolinoMM #composition #monitoring
Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.
ICST-2013-BertolinoBDKLM #design #policy #testing
A Toolchain for Designing and Testing XACML Policies (AB, MB, SD, NK, FL, EM), pp. 495–496.
SAC-2013-BartoliniBACM #monitoring
Apprehensive QoS monitoring of Service choreographies (CB, AB, GDA, AC, RM), pp. 1893–1899.
ICST-2012-BertolinoDLM #automation #generative #policy #testing
Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
CSEET-2011-WongBDMOV #case study #education #experience #lessons learnt #testing
Teaching software testing: Experiences, lessons learned and the path forward (WEW, AB, VD, APM, JO, MAV), pp. 530–534.
SFM-2011-BertolinoCGN #assessment #dependence #performance
Dependability and Performance Assessment of Dynamic CONNECTed Systems (AB, AC, FDG, NN), pp. 350–392.
ESEC-FSE-2009-BartoliniBEM #testing
Whitening SOA testing (CB, AB, SGE, EM), pp. 161–170.
ESEC-FSE-2009-BertolinoIPT #automation #behaviour #composition #protocol #synthesis
Automatic synthesis of behavior protocols for composable web-services (AB, PI, PP, MT), pp. 141–150.
ICST-2009-BartoliniBMP #named #testing #web #web service
WS-TAXI: A WSDL-based Testing Tool for Web Services (CB, AB, EM, AP), pp. 326–335.
ASE-2008-BertolinoAS #named #performance #testing
VCR: Virtual Capture and Replay for Performance Testing (AB, GDA, AS), pp. 399–402.
TestCom-FATES-2008-BertolinoAFP #generative #modelling #web #web service
Model-Based Generation of Testbeds for Web Services (AB, GDA, LF, AP), pp. 266–282.
CBSE-2007-MucciniPRB #architecture #component #monitoring
Monitoring Architectural Properties in Dynamic Component-Based Systems (HM, AP, FR, AB), pp. 124–139.
MoDELS-2006-BertolinoBAS #estimation #modelling #network #performance
Modeling and Early Performance Estimation for Network Processor Applications (AB, AB, GDA, ALSV), pp. 753–767.
SPL-BOOK-2006-BertolinoFGL #case study #product line #requirements #specification #testing
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements (AB, AF, SG, GL), pp. 425–445.
CBSE-2004-BertolinoM #component #performance
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice (AB, RM), pp. 233–248.
CBSE-2003-BertolinoM #component #performance #towards
Towards Component-Based Software Performance Engineering (AB, RM), p. 1.
ESEC-FSE-2003-BertolinoG #case study #product line #testing
Use case-based testing of product lines (AB, SG), pp. 355–358.
ICSE-2003-BertolinoP #component #deployment #framework #testing
A Framework for Component Deployment Testing (AB, AP), pp. 221–231.
SFM-2003-BertolinoIM #architecture #formal method #testing
Formal Methods in Testing Software Architectures (AB, PI, HM), pp. 122–147.
UML-2002-BasanieriBM #approach #testing #uml
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects (FB, AB, EM), pp. 383–397.
ICSE-2001-BertolinoIM #architecture #execution #testing
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.
ICSE-2000-BertolinoCIM #architecture #testing
Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.
ESEC-FSE-1997-ForgacsB #slicing
Feasible Test Path Selection by Principal Slicing (IF, AB), pp. 378–394.
ICSE-1996-MarreB #cost analysis #test coverage
Reducing and Estimating the Cost of Test Coverage Criteria (MM, AB), pp. 486–494.
ISSTA-1996-MarreB
Unconstrained Duals and Their Use in Achieving All-Uses Coverage (MM, AB), pp. 147–157.
ICSE-1995-BertolinoS #assessment #dependence #metric #testing #using
Using Testability Measures for Dependability Assessment (AB, LS), pp. 61–70.
ISSTA-1994-BertolinoM #bound #branch #testing
A Meaningful Bound for Branch Testing (AB, MM), p. 202.

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.