Commit 02d2ab1b authored by Alessandra Gorla's avatar Alessandra Gorla
Browse files

added gorla.bib

parent c7c7560b
% File for finding bibliography items.
\include{android-testing.bib}
\include{android.bib}
\include{continuoustesting.bib}
\include{ernst.bib}
\include{gorla.bib}
\include{invariants.bib}
\include{nlp.bib}
\include{program-analysis.bib}
......
......@@ -2724,6 +2724,13 @@
address = "Graz, Austria",
month = apr,
}
@Proceedings{ICST2017,
title = "ICST 2017: 10th International Conference on Software Testing, Verification and Validation (ICST)",
booktitle = "ICST 2017: 10th International Conference on Software Testing, Verification and Validation (ICST)",
year = 2017,
address = "Tokyo, Japan",
month = mar,
}
@Proceedings{ICWS2004,
title = "ICWS 2004: IEEE International Conference on Web Services (ICWS'2004)",
......@@ -2939,6 +2946,15 @@
address = "Trollh{\"a}ttan, Sweden",
month = nov,
}
@Proceedings{ISSRE2013,
title = "ISSRE 2013: 24th International Symposium on Software
Reliability Engineering",
booktitle = "ISSRE 2013: 24th International Symposium on Software
Reliability Engineering",
year = 2013,
address = "Pasadena, CA, USA",
month = nov,
}
@Proceedings{ISSRE2014,
title = "ISSRE 2014: 25th International Symposium on Software
Reliability Engineering",
......@@ -3362,6 +3378,15 @@
address = "San Francisco, CA, USA",
month = may,
}
@Proceedings{MSR2017,
title = "MSR 2017: 14th International Conference on Mining
Software Repositories",
booktitle = "MSR 2017: 14th International Conference on Mining
Software Repositories",
year = 2017,
address = "Buenos Aires, Argentina",
month = may,
}
@Proceedings{MTOOS2006,
title = "M-TOOS: 1st Workshop on Model-Based Testing and Object-Oriented
......
%% 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},
}
@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},
}
@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},
year = {2017},
month = jan
}
%% 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},
booktitle = {Proceedings of the 1st International Workshop on App Market Analytics},
series = {WAMA 2016},
year = {2016},
month = {11},
isbn = {978-1-4503-4398-5},
location = {Seattle, WA, USA},
pages = {1--7},
publisher = {ACM},
doi = {10.1145/2993259.2993265},
}
@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},
booktitle = {Proceedings of the 1st International Workshop on App Market Analytics},
series = {WAMA 2016},
year = {2016},
month = {11},
isbn = {978-1-4503-4398-5},
location = {Seattle, WA, USA},
pages = {22--25},
doi = {10.1145/2993259.2993262},
publisher = {ACM},
}
@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},
}
%% 2015
@inproceedings{15-sem,
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}},
year = {2015}
}
@inproceedings{Mattavelli:SBESGuava:SSBSE:2015,
author = {Andrea Mattavelli and Alberto Goffi and Alessandra
Gorla},
title = {Synthesis of Equivalent Method Calls in {Guava}},
booktitle = {Proceedings of the 7th International Symposium on
Search-Based Software Engineering},
pages = {248--254},
publisher = {Springer},
series = {SSBSE '15},
year = {2015},
month = {9},
}
@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},
}
@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},
}
@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},
}
@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},
}
%% 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},
}
@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},
}
@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},
}
@inproceedings{Thome:2014:SST:2593833.2593835,
author = {Thom{\'e}, Julian and Gorla, Alessandra and Zeller,
Andreas},
title = {Search-based Security Testing of Web Applications},
booktitle = {Proceedings of the 7th International Workshop on
Search-Based Software Testing},
series = {SBST 2014},
year = {2014},
month={5},
isbn = {978-1-4503-2852-4},
location = {Hyderabad, India},
pages = {5--14},
numpages = {10},
url = {http://doi.acm.org/10.1145/2593833.2593835},
doi = {10.1145/2593833.2593835},
acmid = {2593835},
publisher = {ACM},
comment = {<b>BEST PAPER AWARD!</b>},
}
@inproceedings{Carzaniga:2013:ARR:2486788.2486891,
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},
}
@INPROCEEDINGS{VivantiISSRE,
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},
}
@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},
year = 2013,
volume = 7475,
pages = {1--32},
doi = {10.1007/978-3-642-35813-5_1},
isbn = {978-3-642-35813-5},
}
@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},
year = {2013},
volume = {7475},
pages = {51--75},
doi = {10.1007/978-3-642-35813-5_3},
isbn = {978-3-642-35813-5},
}
@inproceedings{Wuttke:Adasim:SEAMS:2012,
author = {Jochen Wuttke and Yuriy Brun and Alessandra Gorla and
Jonathan Ramaswamy},
title = {Traffic Routing for Evaluating Self-Adaptation},
booktitle = {SEAMS'12: Proceedings of the 7th International Symposium
on Software Engineering for Adaptive and
Self-Managing Systems},
year = {2012},
location = {Zurich (Switzerland), 4-5 June},
publisher = {ACM},
month = {6},
pages = {27--32},
doi = {10.1109/SEAMS.2012.6224388},
}
@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.},
booktitle = {ICSE'12: Proceedings of the 34th ACM/IEEE International
Conference on Software Engineering (Poster)},
editor = {Glinz, Martin and Murphy, Gail C. and Pezzè, Mauro},
doi = {http://dx.doi.org/10.1109/ICSE.2012.6227072},
isbn = {978-1-4673-1067-3},
pages = {1445--1446},
publisher = {IEEE},
year = {2012},
}
@phdthesis{Gorla:AutomaticWorkarounds:Thesis:2011,
author = {Alessandra Gorla},
title = {Automatic Workarounds: Exploiting the Intrinsic
Redundancy of Software Systems},
school = {University of Lugano, Switzerland},
year = {2011},
month = jul,
}
@inproceedings{Carzaniga:RAW:ICSErd:2010,
author = {Antonio Carzaniga and Alessandra Gorla and Nicol\`{o} Perino
and Mauro Pezz\`{e}},
title = {RAW: runtime automatic workarounds},
booktitle = {ICSE'10: Proceedings of the 32nd ACM/IEEE International
Conference on Software Engineering (Tool Demo)},
year = {2010},
isbn = {978-1-60558-719-6},
pages = {321--322},
location = {Cape Town, South Africa},
doi = {http://doi.acm.org/10.1145/1810295.1810371},
}
@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}
}
@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},
volume = {29},
number = {1},
pages = {93--115},
}
@inproceedings{Gorla:DaTeC:ICSErd:2009,
author = {Giovanni Denaro and Alessandra Gorla and Mauro Pezz\`{e}},
title = {DaTeC: Dataflow Testing of Java Classes},
booktitle = {ICSE Companion'09: Proceedings of the International
Conference on Software Engineering (Tool Demo)},
year = {2009},
pages = {421--422},
location = {Vancouver (Canada), 16-24 May},
publisher = {ACM},
doi = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071042},
}
@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},
}
@inproceedings{Denaro:Contextual:FASE:2008,
author = {Giovanni Denaro and Alessandra Gorla and Mauro Pezz\`{e}},
title = {Contextual Integration Testing of Classes},
booktitle = {FASE'08: Proceedings of the 11th International Conference
on Fundamental Approaches to Software Engineering},
pages = {246--260},
location = {Budapest (Hungary), 29 March - 6 April},
year = {2008},
}
@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},
}
@inproceedings{Gorla:FailureRecoveries:FSE-DS:2008,
author = {Alessandra Gorla},
title = {Automatic Workarounds as Failure Recoveries},
booktitle = {FSEDS'08: Proceedings of the 2008 Foundations of
Software Engineering Doctoral Symposium},
year = {2008},
pages = {9--12},
publisher = {ACM},
doi = {http://doi.acm.org/10.1145/1496653.1496656},
isbn = {978-1-60558-378-5},
location = {Atlanta, Georgia},
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},
booktitle = {SEAMS'08: Proceedings of the 2008 International Workshop
on Software Engineering for Adaptive and
Self-Managing Systems},
year = {2008},
pages = {17--24},
location = {Leipzig (Germany), 12-13 May},
publisher = {ACM},
doi = {http://doi.acm.org/10.1145/1370018.1370023},
}
@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 = {University of Lugano},
number = {2007/03},
month = {1},
year = 2007,
}
@inproceedings{Gorla:TowardsD4SH:SoQUA:2007,
author = {Alessandra Gorla},
title = {Towards Design for Self-Healing},
booktitle = {SOQUA'07: Proceedings of the Fourth International
Workshop on Software Quality Assurance},
year = {2007},
pages = {86--89},
location = {Dubrovnik (Croatia), 3-4 September},
doi = {http://doi.acm.org/10.1145/1295074.1295090},
publisher = {ACM},
}
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment