Travelled to:1 × Estonia
1 × France
1 × Germany
1 × Hungary
1 × Luxembourg
1 × Sweden
1 × Switzerland
1 × The Netherlands
2 × Canada
2 × Italy
2 × United Kingdom
6 × USA
Collaborated with:F.Pastore M.Pezzè O.Riganelli M.Santoro L.Lambers H.Ehrig R.Heckel ∅ A.Goffi G.Fraser D.Lo H.Chang A.Babenko D.Lorenzoli S.Papagiannakis E.Bartocci E.Merelli D.Micucci G.Becce A.E.J.Hyvärinen G.Fedyukovich N.Sharygina A.Muhammad D.Zuddas W.Jin A.Orso M.Ceccato A.Marchetto C.D.Nguyen P.Tonella A.Tundo M.Mobilio M.Orrù M.Guzmán S.Sehestedt H.Chockler G.Denaro M.Ling M.Oriol A.Rajan O.Sery M.Tautschnig
Talks about:test (10) automat (6) behavior (4) softwar (4) regress (4) servic (4) model (4) black (4) tool (4) base (4)
Person: Leonardo Mariani
DBLP: Mariani:Leonardo
Facilitated 1 volumes:
EdContributed to:
2015
2014
2014
20132013
2013
2012201220122011
200920092009200820082007200720052004
200320172019Wrote 27 papers:
- ICSE-v1-2015-PastoreM #detection #named
- ZoomIn: Discovering Failures by Detecting Wrong Assertions (FP, LM), pp. 66–76.
- ASE-2014-ZuddasJPMO #comprehension #debugging #named
- MIMIC: locating and understanding bugs by analyzing mimicked executions (DZ, WJ, FP, LM, AO), pp. 815–826.
- ISSTA-2014-MarianiPRS #named #testing #web
- Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.
- ISSTA-2014-PastoreMHFSSM #testing
- Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
- CSMR-2013-ChocklerDLFHMMORSST #named #validation
- PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
- ICSE-2013-PastoreMG #c #c++ #debugging #named #problem
- RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
- ICST-2013-PastoreM #debugging #named
- AVA: Supporting Debugging with Failure Interpretations (FP, LM), pp. 416–421.
- ICST-2013-PastoreMF #named #problem #question
- CrowdOracles: Can the Crowd Solve the Oracle Problem? (FP, LM, GF), pp. 342–351.
- FASE-2012-BecceMRS #user interface
- Extracting Widget Descriptions from GUIs (GB, LM, OR, MS), pp. 347–361.
- ICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #random testing #testing
- An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.
- ICSE-2012-MarianiP #composition #named #plugin
- MASH: A tool for end-user plug-in composition (LM, FP), pp. 1387–1390.
- ICST-2012-MarianiPRS #automation #black box #interactive #named #testing
- AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
- ICSE-2011-MarianiPRS #automation #black box #named #testing
- AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.
- ESEC-FSE-2009-LoMP #automation #behaviour #model inference
- Automatic steering of behavioral model inference (DL, LM, MP), pp. 345–354.
- ICSE-2009-ChangMP #component #integration #off the shelf #problem
- In-field healing of integration problems with COTS components (HC, LM, MP), pp. 166–176.
- ICSE-2009-MarianiPP #analysis #automation #tool support
- A toolset for automated failure analysis (LM, FP, MP), pp. 563–566.
- ISSTA-2009-BabenkoMP #automation #detection #named
- AVA: automated interpretation of dynamically detected anomalies (AB, LM, FP), pp. 237–248.
- FASE-2008-LambersMEP #adaptation #framework
- A Formal Framework for Developing Adaptable Service-Based Applications (LL, LM, HE, MP), pp. 392–406.
- ICSE-2008-LorenzoliMP #automation #behaviour #generative #modelling
- Automatic generation of software behavioral models (DL, LM, MP), pp. 501–510.
- ASE-2007-LambersEMP #adaptation #development #modelling
- Iterative model-driven development of adaptable service-based applications (LL, HE, LM, MP), pp. 453–456.
- ICSE-2007-MarianiPP #component #testing
- Compatibility and Regression Testing of COTS-Component-Based Software (LM, SP, MP), pp. 85–95.
- FASE-2005-HeckelM #automation #consistency #testing #web #web service
- Automatic Conformance Testing of Web Services (RH, LM), pp. 34–48.
- ICSE-2004-Mariani #behaviour #component #evolution #verification
- Behavior Capture and Test for Verifying Evolving Component-Based Systems (LM), pp. 78–80.
- ICEIS-v1-2003-BartocciMM #xml
- An XML View of the “World” (EB, EM, LM), pp. 19–27.
- ESEC-FSE-2017-PastoreM #automation #detection #fault #named
- VART: a tool for the automatic detection of regression faults (FP, LM), pp. 964–968.
- ESEC-FSE-2017-PastoreMM #behaviour #identification #named
- BDCI: behavioral driven conflict identification (FP, LM, DM), pp. 570–581.
- ESEC-FSE-2019-TundoMORGM #as a service #framework #modelling #named
- VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud (AT, MM, MO, OR, MG, LM), pp. 1085–1089.