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 × Austria
1 × Finland
1 × Greece
1 × India
1 × Ireland
1 × Norway
1 × Portugal
1 × Romania
1 × Russia
2 × Belgium
2 × China
2 × Hungary
2 × Spain
2 × Switzerland
2 × United Kingdom
21 × USA
3 × The Netherlands
4 × France
6 × Germany
6 × Italy
7 × Canada
Collaborated with:
F.Ricca G.Antoniol M.Ceccato E.Merlo R.Fiutem S.L.Abebe A.Marchetto A.Potrich M.Harman B.Caprile A.Stocco M.Leotta F.Calzolari D.C.Nguyen F.M.Kifetew R.Tiella A.Susi C.D.Nguyen E.Pianta C.Girardi M.D.Penta S.Haiduc A.Marcus J.Nagra I.D.Baxter Y.Guéhéneuc T.R.Dean A.Panichella M.Torchiano M.D.Preda D.Binkley M.Biagiola T.E.J.Vos W.Jin A.Orso P.McMinn F.Palma C.D.Francescomarino C.Matteotti P.Avesani J.Krinke K.Lakhotia W.Prasetya D.Clerissi S.Yoo A.Majumdar D.Marchignoli A.Goffi A.Gorla A.Mattavelli M.Pezzè A.D.Lucia R.Oliveto L.Mariani N.Alshahwan V.Arnaoudova S.Medini C.S.Collberg A.Mesbah Y.Jia C.A.Visaggio M.Marin K.Mens L.Moonen T.Tourwé S.Lapierre G.Savard G.Lutteri S.Zanfei P.M.Kruse A.Bagnato O.Shehory A.I.Baars Y.Hassoun J.Wegener E.Puoskari Y.Nir-Buchbinder P.Falcarin
Talks about:
test (25) web (22) base (18) applic (16) analysi (12) code (12) use (11) case (10) program (9) model (8)

♂ Person: Paolo Tonella

DBLP DBLP: Tonella:Paolo

Facilitated 8 volumes:

ASE 2014ExpertReviewPa
ASE 2014PrBoard
ICSM 2012GCh
ICSM 2011PrCh
ISSTA 2010Ed
SCAM 2005GCh
SCAM 2005Ed
SCAM 2003PrCh

Contributed to:

ICST 20152015
SAC 20152015
CSMR-WCRE 20142014
FSE 20142014
ICSE 20142014
ICST 20142014
SCAM 20142014
ASE 20132013
CSMR 20132013
ESEC/FSE 20132013
ISSTA 20132013
WCRE 20132013
ICSE 20122012
ICST 20122012
ISSTA 20122012
WCRE 20122012
ASE 20112011
CSMR 20112011
ESEC/FSE 20112011
SCAM 20112011
WCRE 20112011
CSMR 20102010
ICPC 20102010
ICSM 20102010
CSMR 20092009
ICPC 20092009
ISSTA 20092009
SAC 20092009
CSMR 20082008
ICSE 20082008
ICST 20082008
PDP 20082008
SCAM 20082008
WCRE 20082008
ICSE 20072007
ICSM 20072007
SCAM 20072007
ICSM 20062006
ISSTA 20062006
CSMR 20052005
ICSE 20052005
ICSM 20052005
IWPC 20052005
SCAM 20052006
CSMR 20042004
ICSE 20042004
ICSM 20042004
IWPC 20042004
SCAM 20042004
WCRE 20042004
ICSM 20032003
IWPC 20032003
ICSM 20022002
SCAM 20022002
ICSE 20012001
ICSM 20012001
SCAM 20012001
SCAM 20012002
TACAS 20012001
ICSM 20002000
CSMR 19991999
ICSM 19991999
IWPC 19991999
IWPC 19992001
WCRE 20092009
WCRE 19991999
CSMR 19981998
ICSM 19981998
CSMR 19971997
ICSE 19971997
ICSM 19971997
WPC 19971997
ICSM 19961996
WCRE 19961996
WPC 19961996
ICSM 19951995
ESEC/FSE 20192019

Wrote 90 papers:

ICST-2015-LeottaSRT #multi #robust #testing #using #web
Using Multi-Locators to Increase the Robustness of Web Test Cases (ML, AS, FR, PT), pp. 1–10.
ICST-2015-PanichellaKT #branch #optimisation #problem
Reformulating Branch Coverage as a Many-Objective Optimization Problem (AP, FMK, PT), pp. 1–10.
SAC-2015-LeottaSRT #automation #generative #testing #visual notation #web
Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
CSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process #testing
FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
FSE-2014-GoffiGMPT #search-based #sequence #synthesis
Search-based synthesis of equivalent method sequences (AG, AG, AM, MP, PT), pp. 366–376.
ICSE-2014-TonellaTN #modelling #n-gram #testing
Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
ICST-2014-KifetewJTOT #grammarware #source code
Reproducing Field Failures for Programs with Complex Grammar-Based Input (FMK, WJ, RT, AO, PT), pp. 163–172.
SCAM-2014-StoccoLRT #migration #named #testing #visual notation #web
PESTO: A Tool for Migrating DOM-Based to Visual Web Tests (AS, ML, FR, PT), pp. 65–70.
ASE-2013-KifetewJTOT #approach #grammarware #named #source code
SBFR: A search based approach for reproducing failures of programs with grammar based input (FMK, WJ, RT, AO, PT), pp. 604–609.
ASE-2013-NguyenT #automation #classification #combinator #dependence #testing
Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
CSMR-2013-AbebeT #automation #identifier
Automated Identifier Completion and Replacement (SLA, PT), pp. 263–272.
ESEC-FSE-2013-NguyenMT #automation #effectiveness #empirical
Automated oracles: an empirical study on cost and effectiveness (CDN, AM, PT), pp. 136–146.
ISSTA-2013-KifetewPLOT #generative #orthogonal #testing
Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
WCRE-2013-LeottaCRT #assessment #empirical #evolution #programmable #testing #web
Capture-replay vs. programmable web testing: An empirical assessment during test case evolution (ML, DC, FR, PT), pp. 272–281.
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.
ICST-2012-AlshahwanHMTT #metric #web
Crawlability Metrics for Web Applications (NA, MH, AM, RT, PT), pp. 151–160.
ICST-2012-TonellaMNJLH #approximate #execution #modelling
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.
ISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling #testing
Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
WCRE-2012-AbebeATAG #fault #predict #question #smell
Can Lexicon Bad Smells Improve Fault Prediction? (SLA, VA, PT, GA, YGG), pp. 235–244.
WCRE-2012-MediniAGPT #approach #execution #named
SCAN: An Approach to Label and Relate Execution Trace Segments (SM, GA, YGG, MDP, PT), pp. 135–144.
ASE-2011-BaarsHHLMTV #search-based #testing
Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
CSMR-2011-VosTWHPPN #internet #testing
Future Internet Testing with FITTEST (TEJV, PT, JW, MH, WP, EP, YNB), pp. 355–358.
ESEC-FSE-2011-PalmaST #interactive #requirements #smt #using
Using an SMT solver for interactive requirements prioritization (FP, AS, PT), pp. 48–58.
SCAM-2011-AbebeHTM #concept #smell #source code
The Effect of Lexicon Bad Smells on Concept Location in Source Code (SLA, SH, PT, AM), pp. 125–134.
WCRE-2011-AbebeT #concept #identifier #towards
Towards the Extraction of Domain Concepts from the Identifiers (SLA, PT), pp. 77–86.
CSMR-2010-MarchettoTR #ajax #approximate #modelling
Under and Over Approximation of State Models Recovered for Ajax Applications (AM, PT, FR), pp. 236–239.
ICPC-2010-AbebeT #concept #natural language #parsing
Natural Language Parsing of Program Element Names for Concept Extraction (SLA, PT), pp. 156–159.
ICSM-2010-CeccatoT #consistency #legacy #migration #static analysis #thread
Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system (MC, PT), pp. 1–9.
CSMR-2009-AbebeHMTA #evolution #source code
Analyzing the Evolution of the Source Code Vocabulary (SLA, SH, AM, PT, GA), pp. 189–198.
CSMR-2009-FrancescomarinoMT #process #reverse engineering #web
Reverse Engineering of Business Processes exposed as Web Applications (CDF, AM, PT), pp. 139–148.
ICPC-2009-CeccatoPNFRTT #assessment #effectiveness #obfuscation #source code
The effectiveness of source code obfuscation: An experimental assessment (MC, MDP, JN, PF, FR, MT, PT), pp. 178–187.
ISSTA-2009-YooHTS #clustering #effectiveness #scalability #testing
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge (SY, MH, PT, AS), pp. 201–212.
SAC-2009-CeccatoTPM #orthogonal
Remote software protection by orthogonal client replacement (MC, PT, MDP, AM), pp. 448–455.
CSMR-2008-CeccatoTM #goto #java #legacy #migration
Goto Elimination Strategies in the Migration of Legacy Code to Java (MC, PT, CM), pp. 53–62.
ICSE-2008-RiccaPTTCV #evolution
Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks (FR, MDP, MT, PT, MC, CAV), pp. 361–370.
ICST-2008-MarchettoTR #ajax #testing #web
State-Based Testing of Ajax Web Applications (AM, PT, FR), pp. 121–130.
PDP-2008-CeccatoNT #performance #trust #verification
Distributing Trust Verification to Increase Application Performance (MC, JN, PT), pp. 604–610.
SCAM-2008-CeccatoDT #legacy #program transformation #using
Using Program Transformations to Add Structure to a Legacy Data Model (MC, TRD, PT), pp. 197–206.
WCRE-2008-CeccatoDTM #java #legacy #migration #reverse engineering
Data Model Reverse Engineering in Migrating a Legacy System to Java (MC, TRD, PT, DM), pp. 177–186.
ICSE-2007-RiccaPTTC #comprehension #experience #uml
The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes (FR, MDP, MT, PT, MC), pp. 375–384.
ICSM-2007-AntoniolGMT #evolution #mining
Mining the Lexicon Used by Programmers during Sofware Evolution (GA, YGG, EM, PT), pp. 14–23.
SCAM-2007-CeccatoPNCT #slicing
Barrier Slicing for Remote Software Trusting (MC, MDP, JN, CSC, PT), pp. 27–36.
ICSM-2006-TonellaAS #ranking #testing #using
Using the Case-Based Ranking Methodology for Test Case Prioritization (PT, PA, AS), pp. 123–133.
ISSTA-2006-McMinnHBT #approach #generative #testing
The species per path approach to SearchBased test data generation (PM, MH, DB, PT), pp. 13–24.
CSMR-2005-RiccaT #case study #detection #overview #web
Anomaly Detection in Web Applications: A Review of Already Conducted Case Studies (FR, PT), pp. 385–394.
ICSE-2005-Tonella #object-oriented #reverse engineering
Reverse engineering of object oriented code (PT), pp. 724–725.
ICSM-2005-BinkleyCHRT #aspect-oriented #automation #object-oriented #refactoring
Automated Refactoring of Object Oriented Code into Aspects (DB, MC, MH, FR, PT), pp. 27–36.
IWPC-2005-CeccatoMMMTT #comparison #mining
A Qualitative Comparison of Three Aspect Mining Techniques (MC, MM, KM, LM, PT, TT), pp. 13–22.
SCAM-J-2005-AntoniolKT06 #analysis #source code
Special issue on Source code analysis and manipulation (GA, JK, PT), pp. 205–208.
CSMR-2004-RiccaTPG #multi #web
Experimental Results on the Alignment of Multilingual Web Sites (FR, PT, EP, CG), pp. 288–295.
ICSE-2004-Tonella #concept analysis #re-engineering
Formal Concept Analysis in Software Engineering (PT), pp. 743–744.
ICSM-2004-TonellaC #aspect-oriented #implementation #interface #migration
Migrating Interface Implementation to Aspects (PT, MC), pp. 220–229.
IWPC-2004-RiccaTGP #clustering #empirical #keyword #web
An Empirical Study on Keyword-based Web Site Clustering (FR, PT, CG, EP), pp. 204–213.
SCAM-2004-CeccatoT #aspect-oriented #programming
Adding Distribution to Existing Applications by Means of Aspect Oriented Programming (MC, PT), pp. 107–116.
WCRE-2004-TonellaC #concept analysis #execution #mining
Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.
ICSM-2003-TonellaP #c++ #diagrams #interactive #reverse engineering
Reverse Engineering of the Interaction Diagrams from C++ Code (PT, AP), pp. 159–168.
IWPC-2003-RiccaT #clustering #migration #using #web
Using Clustering to Support the Migration from Static to Dynamic Web Pages (FR, PT), pp. 207–216.
ICSM-2002-TonellaP #analysis #c++ #diagrams
Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram (PT, AP), pp. 54–63.
ICSM-2002-TonellaRPG #multi #web
Restructuring Multilingual Web Sites (PT, FR, EP, CG), pp. 290–299.
SCAM-2002-RiccaT #dependence #graph #slicing #web
Construction of the System Dependence Graph for Web Application Slicing (FR, PT), pp. 123–132.
ICSE-2001-RiccaT #analysis #testing #web
Analysis and Testing of Web Applications (FR, PT), pp. 25–34.
ICSM-2001-RiccaT #slicing #web
Web Application Slicing (FR, PT), pp. 148–157.
ICSM-2001-TonellaP #c++ #diagrams #reverse engineering #uml
Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.
SCAM-2001-RiccaTB #web
Restructuring Web Applications via Transformation Rules (FR, PT, IDB), pp. 152–162.
SCAM-J-2001-RiccaTB02 #web
Web application transformations based on rewrite rules (FR, PT, IDB), pp. 811–825.
TACAS-2001-RiccaT #analysis #problem #testing #web
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions (FR, PT), pp. 373–388.
ICSM-2000-CaprileT #identifier
Restructuring Program Identifier Names (BC, PT), pp. 97–107.
ICSM-2000-RiccaT #analysis #evolution #web
Web Site Analysis: Structure and Evolution (FR, PT), p. 76–?.
CSMR-1999-AntoniolCT #graph #pointer
Impact of Function Pointers on the Call Graph (GA, FC, PT), pp. 51–61.
CSMR-1999-Tonella #analysis #points-to #set
Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets (PT), pp. 62–71.
ICSM-1999-LapierreMSAFT #automation #execution #generative #linear #programming #testing #using
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees (SL, EM, GS, GA, RF, PT), pp. 189–198.
ICSM-1999-TonellaA #design pattern #object-oriented
Object-Oriented Design Pattern Inference (PT, GA), p. 230–?.
IWPC-1999-AntoniolPTF #design #evolution #object-oriented #traceability
Evolving Object Oriented Design to Improve Code Traceability (GA, AP, PT, RF), pp. 151–160.
IWPC-J-1999-AntoniolCPT01 #traceability
Design-code traceability recovery: selecting the basic linkage properties (GA, BC, AP, PT), pp. 213–234.
WCRE-1999-AbebeHTM99a #smell
Lexicon Bad Smells in Software (SLA, SH, PT, AM), pp. 95–99.
WCRE-1999-CaprileT #identifier
Nomen Est Omen: Analyzing the Language of Function Identifiers (BC, PT), pp. 112–122.
CSMR-1998-CalzolariTA #maintenance #modelling
Modeling Maintenance Effort by Means of Dynamic Systems (FC, PT, GA), pp. 150–156.
ICSM-1998-CalzolariTA #maintenance #testing
Dynamic Model for Maintenance and Testing Effort (FC, PT, GA), pp. 104–112.
ICSM-1998-Tonella #diagrams #encapsulation #memory management #using
Using the O-A Diagram to Encapsulate Dynamic Memory Access (PT), pp. 326–335.
CSMR-1997-TonellaAFM #analysis #maintenance #precise
Variable Precision Reaching Definitions Analysis for Software Maintenance (PT, GA, RF, EM), pp. 60–67.
ICSE-1997-TonellaAFM #analysis #c++ #morphism #pointer #polymorphism #slicing
Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.
ICSM-1997-AntoniolFLTZM #comprehension #maintenance
Program Understanding and Maintenance with the CANTO Environment (GA, RF, GL, PT, SZ, EM), p. 72–?.
WPC-1997-TonellaAFM #analysis #comprehension #points-to
Points-to Analysis for Program Understanding (PT, GA, RF, EM), pp. 90–99.
ICSM-1996-FiutemTAM #architecture #reverse engineering
A Cliche-Based Environment to Support Architectural Reverse Engineering (RF, PT, GA, EM), pp. 319–328.
WCRE-1996-FiutemTAM #architecture #reverse engineering
A Cliche-Based Environment to Support Architectural Reverse Engineering (RF, PT, GA, EM), pp. 277–286.
WCRE-1996-TonellaFAM #analysis #architecture #case study
Augmenting Pattern-Based Architectural Recovery with Flow Analysis: Mosaic — A Case Study (PT, RF, GA, EM), pp. 198–207.
WPC-1996-FiutemMAT #architecture #comprehension
Understanding the architecture of software systems (RF, EM, GA, PT), p. 187–?.
ICSM-1995-AntoniolFMT #c++ #migration #user interface #visual notation
Application and user interface migration from BASIC to Visual C++ (GA, RF, EM, PT), p. 76–?.
ESEC-FSE-2019-BiagiolaSMRT #dependence #detection #web
Web test dependency detection (MB, AS, AM, FR, PT), pp. 154–164.
ESEC-FSE-2019-BiagiolaSRT #generative #testing #web
Diversity-based web test generation (MB, AS, FR, PT), pp. 142–153.

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.