gorla.bib

%% 2018

@InProceedings{Calciati:Evolution:MSR:2018,
  author =	 {Paolo Calciati and Konstantin Kuznetsov and Bai Xue
                  and Alessandra Gorla},
  title =	 {What did Really Change with the new Release of the
                  App?},
  crossref =	 "MSR2018",
  pages =	 {142--152},
  keywords =	 {Android, app evolution, behavior change},
  pdf =		 {papers/Calciati-AppEvolution-MSR18.pdf}
}

@InProceedings{Blasi:RepliComment:ICPC:2018,
  author =	 {Arianna Blasi and Alessandra Gorla},
  title =	 {{RepliComment}: Identifying Clones in Code Comments},
  crossref =	 "ICPC2018",
  pages =	 {toappear},
  keywords =	 {conference},
  pdf =		 {papers/Blasi-RepliComment-ICPC18.pdf}
}

@InProceedings{Kuznetsov:Backstage:MobileSoft:2018,
  author =	 {Konstantin Kuznetsov and Vitalii Avdiienko and
                  Alessandra Gorla and Andreas Zeller},
  title =	 {Analyzing the User Interface of Android Apps},
  crossref =	 "MobileSoft2018",
  pages =	 {toappear},
  keywords =	 {conference},
  pdf =		 {papers/Kuznetsov-Backstage-MobileSoft18.pdf}
}

%% 2017

@inproceedings{Calciati:PermsEvolution:MSR:2017,
  author =	 {Paolo Calciati and Alessandra Gorla},
  crossref =	 "MSR2017",
  title =	 {How Do Apps Evolve in Their Permission Requests? A
                  Preliminary Study},
  pages =	 {37--41},
  publisher =	 {IEEE Computer Society},
  doi =		 {10.1109/ICST.2017.51},
  keywords =	 {conference},
  pdf =		 {papers/Calciati-PermEvolution-MSR17.pdf}
}

@inproceedings{Gambi:OSNAP:ICST:2017,
  author =	 {Alessio Gambi and Alessandra Gorla and Andreas
                  Zeller},
  crossref =	 "ICST2017",
  title =	 {O!Snap: Cost-Efficient Testing in the Cloud},
  pages =	 {454--459},
  publisher =	 {IEEE Computer Society},
  doi =		 {10.1109/ICST.2017.51},
  keywords =	 {conference},
  pdf =		 {papers/Gambi-OSnap-ICST17.pdf}
}

@incollection{Goffi:IntrinsicRedundancy:PAUSE:2017,
  author =	 {Goffi, Alberto and Gorla, Alessandra and Mattavelli,
                  Andrea and Pezz\`{e}, Mauro},
  title =	 {Intrinsic Redundancy for Reliability and Beyond},
  booktitle =	 {PAUSE: Present and Ulterior Software Engineering},
  editor =	 {Meyer, Bertrand and Mazzara, Manuel},
  publisher =	 {Springer},
  keywords =	 {bookchapter},
  pdf =		 {papers/Goffi-Redundancy-PAUSE17.pdf}
}

@inproceedings{Avdiienko:Backstage:ICSEposter:2017,
  author =	 {Avdiienko, Vitalii and Kuznetsov, Konstantin and
                  Rommelfanger, Isabelle and Rau, Andreas and Gorla,
                  Alessandra and Zeller, Andreas},
  title =	 {Detecting Behavior Anomalies in Graphical User
                  Interfaces},
  crossref =	 "ICSE2017-C",
  isbn =	 {978-1-5386-1589-8},
  pages =	 {201--203},
  doi =		 {10.1109/ICSE-C.2017.130},
  keywords =	 {short},
  pdf =		 {papers/Avdiienko-backstage-posterICSE17.pdf}
}

%% 2016

@inproceedings{Kuznetsov:CheckingDescr:WAMA:2016,
  author =	 {Konstantin Kuznetsov and Vitalii Avdiienko and
                  Alessandra Gorla and Andreas Zeller},
  title =	 {Checking App User Interfaces Against App
                  Descriptions},
  crossref =	 "WAMA2016",
  isbn =	 {978-1-4503-4398-5},
  pages =	 {1--7},
  publisher =	 {ACM},
  doi =		 {10.1145/2993259.2993265},
  keywords =	 {workshop},
  pdf =		 {papers/Kuznetsov-UIDescriptions-WAMA16.pdf}
}

@inproceedings{Avdiienko:calappa:WAMA:2016,
  author =	 {Vitalii Avdiienko and Konstantin Kuznetsov and Paolo
                  Calciati and Juan Carlos Caiza Rom\'{a}n and
                  Alessandra Gorla and Andreas Zeller},
  title =	 {{CALAPPA}: a Toolchain for Mining Android
                  Applications},
  crossref =	 "WAMA2016",
  isbn =	 {978-1-4503-4398-5},
  pages =	 {22--25},
  doi =		 {10.1145/2993259.2993262},
  publisher =	 {ACM},
  keywords =	 {workshop},
  pdf =		 {papers/Avdiienko-CALAPPA-WAMA16.pdf}
}

@inproceedings{Goffi:Toradocu:ISSTA:2016,
  author =	 {Goffi, Alberto and Gorla, Alessandra and Ernst,
                  Michael D. and Pezz\`{e}, Mauro},
  title =	 {Automatic Generation of Oracles for Exceptional
                  Behaviors},
  crossref =	 "ISSTA2016",
  isbn =	 {978-1-4503-4390-9},
  pages =	 {213--224},
  doi =		 {10.1145/2931037.2931061},
  keywords =	 {conference},
  pdf =		 {papers/Goffi-Toradocu-ISSTA16.pdf}
}

%% 2015

@inproceedings{Carzaniga:IntrinsicSwRed:SEM:2015,
  author =	 {Carzaniga, Antonio and Goffi, Alberto and Gorla,
                  Alessandra and Mattavelli, Andrea and Perino,
                  Nicol{\`{o}} and Pezz{\`{e}}, Mauro and Tonella,
                  Paolo},
  title =	 {Intrinsic Software Redundancy for Self-healing
                  Software Systems and Automated Oracle Generation},
  booktitle =	 {Software Engineering {\&} Management 2015},
  pages =	 {129--130},
  publisher =	 {{GI}},
  month =	 may,
  year =	 {2015},
  keywords =	 {short},
  pdf = {}
}

@inproceedings{Mattavelli:SBESGuava:SSBSE:2015,
  author =	 {Andrea Mattavelli and Alberto Goffi and Alessandra
                  Gorla},
  title =	 {Synthesis of Equivalent Method Calls in {Guava}},
  crossref =	 "SSBSE2015",
  pages =	 {248--254},
  publisher =	 {Springer},
  keywords =	 {short},
  pdf =		 {papers/Mattavelli-SBESGuava-SSBSE15.pdf}
}

@inproceedings{Choudhary:AndroTest:ASE:2015,
  author =	 {Choudhary, Shauvik Roy and Gorla, Alessandra and
                  Orso, Alessandro},
  title =	 {Automated Test Input Generation for Android: Are We
                  There Yet?},
  crossref =	 "ASE2015",
  isbn =	 {978-1-5090-0025-8},
  pages =	 {429--440},
  doi =		 {10.1109/ASE.2015.89},
  publisher =	 {IEEE Computer Society},
  keywords =	 {conference},
  pdf =		 {papers/Choudhary-AndroidTestTools-ASE15.pdf}
}

@article{Carzaniga:AutomaticWorkaroundsWeb:TOSEM:2015,
  author =	 {Antonio Carzaniga and Alessandra Gorla and
                  Nicol\`{o} Perino and Mauro Pezz\`{e}},
  title =	 {Automatic Workarounds: Exploiting the Intrinsic
                  Redundancy of Web Applications},
  journal =	 TOSEM,
  year =	 {2015},
  month =	 {5},
  volume =	 {24},
  number =	 {3},
  pages =	 {16:1--16:42},
  doi =		 {10.1145/2755970},
  keywords =	 {journal},
  pdf =		 {papers/Carzaniga-AWA-TOSEM15.pdf}
}

@inproceedings{Avdiienko:MUDFLOW:ICSE:2015,
  author =	 {Avdiienko, Vitalii and Kuznetsov, Konstantin and
                  Gorla, Alessandra and Zeller, Andreas and Arzt,
                  Steven and Rasthofer, Siegfried and Bodden, Eric},
  title =	 {Mining Apps for Abnormal Usage of Sensitive Data},
  crossref =	 "ICSE2015",
  isbn =	 {978-1-4799-1934-5},
  pages =	 {426--436},
  publisher =	 {IEEE Press},
  keywords =	 {conference},
  pdf =		 {papers/Avdiienko-MudFlow-ICSE15.pdf}
}

@incollection{Kuznetsov:CHABADABookChapter:ASD:2015,
  author =	 {Kuznetsov, Konstantin and Gorla, Alessandra and
                  Tavecchia, Ilaria and Gross, Florian and Zeller,
                  Andreas},
  title =	 {Mining Android Apps for Anomalies},
  booktitle =	 {The Art and Science of Analyzing Software Data},
  publisher =	 {Morgan Kaufmann},
  month =	 apr,
  year =	 {2015},
  pages =	 {257--281},
  isbn =	 {978-0-1241-1519-4},
  keywords =	 {bookchapter},
  pdf =		 {papers/Kuznetsov-CHABADABookChapter-ASD15.pdf}
}

%% 2014

@inproceedings{Goffi:SBES:FSE:2014,
  author =	 {Goffi, Alberto and Gorla, Alessandra and Mattavelli,
                  Andrea and Pezz\`{e}, Mauro and Tonella, Paolo},
  title =	 {Search-Based Synthesis of Equivalent Method
                  Sequences},
  crossref =	 "FSE2014",
  isbn =	 {978-1-4503-3056-5},
  pages =	 {366--376},
  doi =		 {10.1145/2635868.2635888},
  keywords =	 {conference},
  pdf =		 {papers/Goffi-SBES-FSE14.pdf}
}

@inproceedings{Gorla:CHABADA:ICSE:2014,
  author =	 {Gorla, Alessandra and Tavecchia, Ilaria and Gross,
                  Florian and Zeller, Andreas},
  title =	 {Checking App Behavior Against App Descriptions},
  crossref =	 "ICSE2014",
  isbn =	 {978-1-4503-2756-5},
  pages =	 {1025--1035},
  doi =		 {10.1145/2568225.2568276},
  keywords =	 {conference},
  pdf =		 {papers/Gorla-CHABADA-ICSE14.pdf}
}

@inproceedings{Carzaniga:2014:COI:2568225.2568287,
  author =	 {Carzaniga, Antonio and Goffi, Alberto and Gorla,
                  Alessandra and Mattavelli, Andrea and Pezz\`{e},
                  Mauro},
  title =	 {Cross-checking Oracles from Intrinsic Software
                  Redundancy},
  crossref =	 "ICSE2014",
  isbn =	 {978-1-4503-2756-5},
  pages =	 {931--942},
  doi =		 {10.1145/2568225.2568287},
  keywords =	 {conference},
  pdf =		 {papers/Carzaniga-Oracles-ICSE14.pdf}  
}

@inproceedings{Thome:SBsecurityTesting:SBST:2014,
  author =	 {Thom{\'e}, Julian and Gorla, Alessandra and Zeller,
                  Andreas},
  title =	 {Search-based Security Testing of Web Applications},
  crossref =	 "SBST2014",
  isbn =	 {978-1-4503-2852-4},
  pages =	 {5--14},
  doi =		 {10.1145/2593833.2593835},
  keywords =	 {workshop},
  pdf =		 {papers/Thome-Biofuzz-SBST14.pdf},
  comment =	 {<b>BEST PAPER AWARD!</b>},  
}

@inproceedings{Carzaniga:AWA:ICSE:2013,
  author =	 {Carzaniga, Antonio and Gorla, Alessandra and
                  Mattavelli, Andrea and Perino, Nicol\`{o} and
                  Pezz\`{e}, Mauro},
  title =	 {Automatic Recovery from Runtime Failures},
  crossref =	 "ICSE2013",
  isbn =	 {978-1-4673-3076-3},
  pages =	 {782--791},
  keywords =	 {conference},
  pdf =		 {papers/Carzaniga-ARMOR-ICSE13.pdf}
}

@INPROCEEDINGS{Vivanti:SBdataflow:ISSRE:2013,
  author =	 {Vivanti, Mattia and Mis, Andre and Gorla, Alessandra
                  and Fraser, Gordon},
  crossref =	 "ISSRE2013",
  title =	 {Search-based data-flow test generation},
  pages =	 {370-379},
  doi =		 {10.1109/ISSRE.2013.6698890},
  keywords =	 {conference},
  pdf =		 {papers/Vivanti-EvosuiteDataflow-ISSRE13.pdf}
}

@incollection{Gorla:RoadmapPaper:SEfSAS2:2013,
  author =	 {Rog\'{e}rio de Lemos and Holger Giese and Hausi
                  A. M\"{u}ller and Mary Shaw and Jesper Andersson and
                  Luciano Baresi and Basil Becker and Nelly Bencomo
                  and Yuriy Brun and Bojan Cukic and Ron Desmarais and
                  Schahram Dustdar and Gregor Engels and Kurt Geihs
                  and Karl M. Goeschka and Alessandra Gorla and
                  Vincenzo Grassi and Paola Inverardi and Gabor Karsai
                  and Jeff Kramer and Marin Litoiu and Antonia Lopes
                  and Jeff Magee and Sam Malek and Serge Mankovskii
                  and Raffaela Mirandola and John Mylopoulos and Oscar
                  Nierstrasz and Mauro Pezz\`{e} and Christian
                  Prehofer and Wilhelm Sch\"{a}fer and Rick
                  Schlichting and Bradley Schmerl and Dennis B. Smith
                  and Joao P. Sousa and Gabriel Tamura and Ladan
                  Tahvildari and Norha M. Villegas and Thomas Vogel
                  and Danny Weyns and Kenny Wong and Jochen Wuttke},
  title =	 {Software Engineering for Self-Adaptive Systems: A
                  Second Research Roadmap},
  booktitle =	 {Software Engineering for Self-Adaptive Systems II},
  publisher =	 {Springer-Verlag},
  month =	 jan,
  year =	 {2013},
  volume =	 7475,
  pages =	 {1--32},
  doi =		 {10.1007/978-3-642-35813-5_1},
  isbn =	 {978-3-642-35813-5},
  keywords =	 {bookchapter},
  pdf =		 {papers/deLemos-Roadmap-SEfSAS213.pdf}
}

@incollection{Andersson:SEfSASprocess:SEfSAS2:2013,
  author =	 {Jesper Andersson and Luciano Baresi and Nelly
                  Bencomo and Rog\'{e}rio de Lemos and Alessandra
                  Gorla and Paola Inverardi and Thomas Vogel},
  title =	 {Software Engineering Processes for Self-adaptive
                  Systems},
  booktitle =	 {Software Engineering for Self-Adaptive Systems II},
  publisher =	 {Springer-Verlag},
  month =	 jan,
  year =	 {2013},
  volume =	 {7475},
  pages =	 {51--75},
  doi =		 {10.1007/978-3-642-35813-5_3},
  isbn =	 {978-3-642-35813-5},
  keywords =	 {bookchapter},
  pdf =		 {papers/Andersson-Processes-SEfSAS213.pdf}
}

%% 2012

@inproceedings{Wuttke:Adasim:SEAMS:2012,
  author =	 {Jochen Wuttke and Yuriy Brun and Alessandra Gorla
                  and Jonathan Ramaswamy},
  title =	 {Traffic Routing for Evaluating Self-Adaptation},
  crossref =	 "SEAMS2012",
  publisher =	 {ACM},
  pages =	 {27--32},
  doi =		 {10.1109/SEAMS.2012.6224388},
  keywords =	 {conference},
  pdf =		 {papers/Wuttke-AdaSim-SEAMS12.pdf}
}

@inproceedings{Carzaniga:JavaSelfHealing:ICSEposter12,
  author =	 {Carzaniga, Antonio and Gorla, Alessandra and
                  Mattavelli, Andrea and Perino, Nicol\`o},
  title =	 {A self-healing technique for Java applications},
  crossref =	 "ICSE2012-C",
  doi =		 {http://dx.doi.org/10.1109/ICSE.2012.6227072},
  isbn =	 {978-1-4673-1067-3},
  pages =	 {1445--1446},
  publisher =	 {IEEE},
  keywords =	 {short},
  pdf =		 {papers/Carzaniga-posterARMOR-ICSE12.pdf}
}

@phdthesis{Gorla:AutomaticWorkarounds:Thesis:2011,
  author =	 {Alessandra Gorla},
  title =	 {Automatic Workarounds: Exploiting the Intrinsic
                  Redundancy of Software Systems},
  school =	 USI,
  year =	 {2011},
  month =	 jul,
  keywords =	 {thesis},
  pdf =		 {papers/Gorla-PhDThesis-2011.pdf},
  comment =	 {<b>FRITZ-KUTTER AWARD!</b>}
}

%% 2010

@inproceedings{Carzaniga:RAW:ICSErd:2010,
  author =	 {Antonio Carzaniga and Alessandra Gorla and
                  Nicol\`{o} Perino and Mauro Pezz\`{e}},
  title =	 {RAW: runtime automatic workarounds},
  crossref =	 "ICSE2010-C",
  isbn =	 {978-1-60558-719-6},
  pages =	 {321--322},
  doi =		 {http://doi.acm.org/10.1145/1810295.1810371},
  keywords =	 {short},
  pdf =		 {papers/Carzaniga-RAW-ICSE10.pdf}
}

@inproceedings{Carzaniga:AutomaticWorkaroundsWeb:FSE:2010,
  author =	 {Antonio Carzaniga and Alessandra Gorla and
                  Nicol\`{o} Perino and Mauro Pezz\`{e}},
  title =	 {Automatic Workarounds for Web Applications},
  crossref =	 "FSE2010",
  pages =	 {237--246},
  keywords =	 {conference},
  pdf =		 {papers/Carzaniga-AutomaticWorkarounds-FSE10.pdf}
}

@article{Gorla:CostEffectiveSelfHealing:CompInf:2010,
  author =	 {Alessandra Gorla and Leonardo Mariani and Fabrizio
                  Pastore and Mauro Pezz\`{e} and Jochen Wuttke},
  title =	 {Achieving Cost-Effective Software Reliability
                  Through Self-Healing},
  journal =	 {Computing and Informatics},
  year =	 {2010},
  month =	 jan,
  volume =	 {29},
  number =	 {1},
  pages =	 {93--115},
  keywords =	 {journal},
  pdf =		 {papers/Gorla-Self-healing-CAI10.pdf}
}

@inproceedings{Gorla:DaTeC:ICSErd:2009,
  author =	 {Giovanni Denaro and Alessandra Gorla and Mauro
                  Pezz\`{e}},
  title =	 {DaTeC: Dataflow Testing of Java Classes},
  crossref =	 "ICSE2009-C",
  pages =	 {421--422},
  publisher =	 {ACM},
  doi =
                  {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071042},
  keywords =	 {short},
  pdf =		 {papers/Denaro-DaTeC-ICSE09.pdf}
}

@incollection{Gorla:FaultHandlingSWRedundancy:ADS:2009,
  author =	 {Antonio Carzaniga and Alessandra Gorla and Mauro
                  Pezz\`{e}},
  title =	 {Handling Software Faults with Redundancy},
  booktitle =	 {Architecting Dependable Systems VI},
  publisher =	 {Springer},
  year =	 {2009},
  month =	 oct,
  editor =	 {R. de Lemos and J.-C. Fabre and C. Gacek and
                  F. Gadducci and M. H. ter Beek},
  pages =	 {148--171},
  series =	 {Lecture Notes in Computer Science},
  doi =		 {http://dx.doi.org/10.1007/978-3-642-10248-6_7},
  keywords =	 {bookchapter},
  pdf =		 {papers/Carzaniga-Redundancy-ADS09.pdf}
}

@inproceedings{Denaro:Contextual:FASE:2008,
  author =	 {Giovanni Denaro and Alessandra Gorla and Mauro
                  Pezz\`{e}},
  title =	 {Contextual Integration Testing of Classes},
  crossref =	 "FASE2008",
  pages =	 {246--260},
  keywords =	 {conference},
  pdf =		 {papers/Denaro-ContextualDataFlow-FASE08.pdf}
}

@article{Carzaniga:HealingWebApplications:STTT:2008,
  author =	 {Antonio Carzaniga and Alessandra Gorla and Mauro
                  Pezz\`{e}},
  title =	 {Healing Web applications through automatic
                  workarounds},
  journal =	 STTT,
  year =	 {2008},
  volume =	 {10},
  pages =	 {493--502},
  number =	 {6},
  month =	 dec,
  doi =		 {http://dx.doi.org/10.1007/s10009-008-0088-8},
  keywords =	 {journal},
  pdf =		 {papers/Carzaniga-Healing-STTT08.pdf}
}

@inproceedings{Gorla:FailureRecoveries:FSE-DS:2008,
  author =	 {Alessandra Gorla},
  title =	 {Automatic Workarounds as Failure Recoveries},
  crossref =	 "FSEDS2008",
  pages =	 {9--12},
  publisher =	 {ACM},
  doi =		 {http://doi.acm.org/10.1145/1496653.1496656},
  isbn =	 {978-1-60558-378-5},
  keywords =	 {short},
  pdf =		 {papers/Gorla-AutomaticWorkarounds-FSEDS08.pdf},
  comment =	 {<b>BEST STUDENT POSTER AWARD!</b>},
}

@inproceedings{Carzaniga:AutomaticWorkarounds:SEAMS:2008,
  author =	 {Antonio Carzaniga and Alessandra Gorla and Mauro
                  Pezz\`{e}},
  title =	 {Self-Healing by Means of Automatic Workarounds},
  crossref =	 "SEAMS2008",
  pages =	 {17--24},
  publisher =	 {ACM},
  doi =		 {http://doi.acm.org/10.1145/1370018.1370023},
  keywords =	 {workshop},
  pdf =		 {papers/Carzaniga-AutomaticWorkarounds-SEAMS08.pdf}
}

@techreport{Denaro:EvaluationDF:TR:2007,
  author =	 {Giovanni Denaro and Alessandra Gorla and Mauro
                  Pezz\`{e}},
  title =	 {An Empirical Evaluation of Data Flow Testing of Java
                  Classes},
  institution =	 USI,
  number =	 {2007/03},
  month =	 {1},
  year =	 2007,
  keywords =	 {technicalreport},
  pdf =		 {papers/Denaro-ContextualDF-TR07.pdf}
}

@inproceedings{Gorla:TowardsD4SH:SoQUA:2007,
  author =	 {Alessandra Gorla},
  title =	 {Towards Design for Self-Healing},
  crossref =	 "SOQUA2007",
  pages =	 {86--89},
  doi =		 {http://doi.acm.org/10.1145/1295074.1295090},
  publisher =	 {ACM},
  keywords =	 {workshop},
  pdf =		 {papers/Gorla-DesignSH-SoQua07.pdf}
}