fixed more references in gorla and added new to program analysis

crossrefs.bib

@@ -1493,6 +1493,13 @@
   address = 	 "Braga, Portugal",
   month = 	 mar,
 }
+@Proceedings{FASE2008,
+  title = 	 "FASE 2008: Fundamental Approaches to Software Engineering",
+  booktitle = 	 "FASE 2008: Fundamental Approaches to Software Engineering",
+  year = 	 2008,
+  address = 	 "Budapest, Hungary",
+  month = 	 mar,
+}
 @Proceedings{FASE2011,
   title = 	 "FASE 2011: Fundamental Approaches to Software Engineering",
   booktitle = 	 "FASE 2011: Fundamental Approaches to Software Engineering",
@@ -2028,6 +2035,16 @@
   NEEDmonth =     "*",
 }
 
+@Proceedings{SBST2014,
+  title = 	 "SBST 2014: Proceedings of the 7th International Workshop on
+                  Search-Based Software Testing",
+  booktitle = 	 "SBST 2014: Proceedings of the 7th International Workshop on
+                  Search-Based Software Testing",
+  year = 	 2014,
+  address = 	 "Hyderabad, India",
+  month = 	 may,
+}
+
 @Proceedings{SOAP2014,
   title = 	 "SOAP 2014: Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis ",
   booktitle = 	 "SOAP 2014: Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis ",
@@ -6278,6 +6295,13 @@
   month = 	 jul,
 }
 
+@Proceedings{WAMA2016,
+  title = 	 "WAMA 2016: Proceedings of the 1st International Workshop on App Market Analytics",
+  booktitle = 	 "WAMA 2016: Proceedings of the 1st International Workshop on App Market Analytics",
+  year = 	 2016,
+  address = 	 "Seattle, WA, USA",
+  month = 	 nov,
+}
 @Proceedings{WAMA2017,
   title = 	 "WAMA 2017: Proceedings of the 2nd International Workshop on App Market Analytics",
   booktitle = 	 "WAMA 2017: Proceedings of the 2nd International Workshop on App Market Analytics",

gorla.bib

@@ -46,34 +46,28 @@
 %% 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},
+  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},
 }
 
 @inproceedings{Avdiienko:calappa:WAMA:2016,
- author = {Vitalii Avdiienko and Konstantin Kuznetsov and Paolo
+  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},
+  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},
 }
 
 @inproceedings{Goffi:Toradocu:ISSTA:2016,
@@ -201,23 +195,13 @@
 }
 
 @inproceedings{Thome:2014:SST:2593833.2593835,
- author = {Thom{\'e}, Julian and Gorla, Alessandra and Zeller,
+  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>},
+  title =	 {Search-based Security Testing of Web Applications},
+  crossref =	 "SBST2014",
+  isbn =	 {978-1-4503-2852-4},
+  pages =	 {5--14},
+  doi =		 {10.1145/2593833.2593835},
 }
 
 @inproceedings{Carzaniga:2013:ARR:2486788.2486891,
@@ -380,13 +364,11 @@
 }
 
 @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},
+  author =	 {Giovanni Denaro and Alessandra Gorla and Mauro
+                  Pezz\`{e}},
+  title =	 {Contextual Integration Testing of Classes},
+  crossref =	 "FASE2008",
+  pages =	 {246--260},
 }
 
 @article{Carzaniga:HealingWebApplications:STTT:2008,

program-analysis.bib

@@ -4,3 +4,24 @@
   crossref =     "ICFP2010",
   pages = 	 "51--62",
 }
+
+@inproceedings{Soot:Cascon:1999,
+  author =	 {Vall{\'e}e-Rai, Raja and Co, Phong and Gagnon,
+                  Etienne and Hendren, Laurie and Lam, Patrick and
+                  Sundaresan, Vijay},
+  title =	 {Soot -- a {Java} Bytecode Optimization Framework},
+  crossref =	 "CASCON1999",
+  pages =	 {13--23},
+  url =		 {http://dl.acm.org/citation.cfm?id=781995.782008},
+  publisher =	 {IBM Press},
+}
+
+@inproceedings{Bacon:RTA:OOPSLA:96,
+  author =	 {Bacon, David F. and Sweeney, Peter F.},
+  title =	 {Fast Static Analysis of {C++} Virtual Function
+                  Calls},
+  crossref =	 "OOPSLA96",
+  isbn =	 {0-89791-788-X},
+  pages =	 {324--341},
+  doi =		 {10.1145/236337.236371},
+}