Commit a4c472d6 authored by Alessandra Gorla's avatar Alessandra Gorla
Browse files

added more android references for Androtest

parent 20a210c9
......@@ -88,8 +88,6 @@
checking, runtime monitoring, testing, verification},
}
@TechReport{LiuJPF-Android,
author = {Yepang Liu and Chang Xu and S.C. Cheung},
title = {Verifying Android Applications Using Java
......@@ -222,3 +220,14 @@
generation},
}
@inproceedings{Zaeem:OraclesAndroid:ICST:2014,
author = {Zaeem, Razieh Nokhbeh and Prasad, Mukul R. and
Khurshid, Sarfraz},
title = {Automated Generation of Oracles for Testing
User-Interaction Features of Mobile Apps},
crossref = "ICST2014",
isbn = {978-1-4799-2255-0},
pages = {183--192},
doi = {10.1109/ICST.2014.31},
publisher = {IEEE Computer Society},
}
......@@ -131,7 +131,7 @@
publisher = {ACM},
}
@inproceedings{Wei:2012:PMP,
@inproceedings{Wei:ProfileDroid:mobicom:2012,
author = {Wei, Xuetao and Gomez, Lorenzo and Neamtiu, Iulian
and Faloutsos, Michalis},
title = {ProfileDroid: Multi-layer Profiling of Android
......@@ -579,3 +579,73 @@
number = {CS-TR-4991},
month = nov,
}
@inproceedings{Octeau:Dare:FSE:2012,
author = {Octeau, Damien and Jha, Somesh and McDaniel,
Patrick},
title = {Retargeting Android Applications to Java Bytecode},
crossref = "FSE2012",
isbn = {978-1-4503-1614-9},
pages = {1--11},
doi = {10.1145/2393596.2393600},
keywords = {Android, Dalvik bytecode, Dalvik retargeting},
}
@inproceedings{Bartel:Dexpler:SOAP:2012,
author = {Bartel, Alexandre and Klein, Jacques and Le Traon,
Yves and Monperrus, Martin},
title = {Dexpler: Converting Android Dalvik Bytecode to
Jimple for Static Analysis with Soot},
crossref = "SOAP2012",
isbn = {978-1-4503-1490-9},
pages = {27--38},
keywords = {Android, Dalvik bytecode, Jimple, Soot, code
generation, static analysis},
}
@Misc{smali,
key = {smali},
title = {{Smali/baksmali, an assembler/disassembler for the
dex format used by Dalvik}},
note = {\url{https://code.google.com/p/smali}}
}
@inproceedings{Enck:Taintdroid:OSDI:2010,
author = {Enck, William and Gilbert, Peter and Chun, Byung-Gon
and Cox, Landon P. and Jung, Jaeyeon and McDaniel,
Patrick and Sheth, Anmol N.},
title = {{TaintDroid}: An Information-flow Tracking System
for Realtime Privacy Monitoring on Smartphones},
crossref = "OSDI2010",
pages = {1--6},
}
@inproceedings{Arzt:FlowDroid:PLDI:2014,
author = {Arzt, Steven and Rasthofer, Siegfried and Fritz,
Christian and Bodden, Eric and Bartel, Alexandre and
Klein, Jacques and Le Traon, Yves and Octeau, Damien
and McDaniel, Patrick},
title = {{FlowDroid}: Precise Context, Flow, Field,
Object-sensitive and Lifecycle-aware Taint Analysis
for {Android} Apps},
crossref = "PLDI2014",
isbn = {978-1-4503-2784-8},
pages = {259--269},
doi = {10.1145/2594291.2594299},
}
@article{Kechagia:AndroidFailures:EMSE:2014,
author = {Kechagia, Maria and Mitropoulos, Dimitris and
Spinellis, Diomidis},
title = {Charting the {API} minefield using software
telemetry data},
journal = "JEmpiricalSE",
year = {2014},
pages = {1--46},
issn = {1382-3256},
doi = {10.1007/s10664-014-9343-7},
url = {http://dx.doi.org/10.1007/s10664-014-9343-7},
publisher = {Springer US},
keywords = {Application programming interfaces; Stack traces;
Reliability; Mobile applications},
}
......@@ -13,3 +13,4 @@
\include{soft-eng.bib}
\include{systems.bib}
\include{testing.bib}
\include{web.bib}
......@@ -189,7 +189,7 @@
@string{CSUR = "ACM Comput.\ Surv."}
@string{CSURVEYS = "ACM Comput.\ Surv."}
@string{ENTCS = "ENTCS"}
@string{JEmpiricalSE = "Empirical Softw. Engg."}
@string{JEmpiricalSE = "EMSE"}
@string{IandC = "Information and Computation"}
@string{IST = "Information and Software Technology"}
@string{IJCM = "IJCM"}
......
......@@ -198,7 +198,7 @@
@string{CSUR = "ACM Computing Surveys" = "ACM Comput.\ Surv."}
@string{CSURVEYS = "ACM Computing Surveys" = "ACM Comput.\ Surv."}
@string{ENTCS = "Electronic Notes in Theoretical Computer Science" = "ENTCS"}
@string{JEmpiricalSE = "Journal of Empirical Software Engineering" = "Empirical Softw. Engg."}
@string{JEmpiricalSE = "Journal of Empirical Software Engineering" = "EMSE"}
@string{IandC = "Information and Computation"}
@string{IST = "Information and Software Technology"}
@string{IJCM = "International Journal of Computer Mathematics" = "IJCM"}
......
......@@ -2065,6 +2065,13 @@
month = may,
}
@Proceedings{SOAP2012,
title = "SOAP 2012: Proceedings of the 1st ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis ",
booktitle = "SOAP 2012: Proceedings of the 1st ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis ",
year = 2012,
address = "Beijing, China",
month = jun,
}
@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 ",
......@@ -6383,6 +6390,13 @@
month = jul,
}
@Proceedings{WCRE2003,
title = "WCRE 2003: 10th Working Conference on Reverse Engineering",
booktitle = "WCRE 2003: 10th Working Conference on Reverse Engineering",
year = 2003,
address = "Victoria, Canada",
month = nov,
}
@Proceedings{WCRE2010,
title = "WCRE 2010: 2010 17th Working Conference on Reverse Engineering",
booktitle = "WCRE 2010: 2010 17th Working Conference on Reverse Engineering",
......
......@@ -4747,6 +4747,40 @@ year = {2013}
NEEDpages = "*",
}
@inproceedings{Memon:GUITAR:WCRE:2003,
author = {Memon, Atif and Banerjee, Ishan and Nagarajan,
Adithya},
title = {{GUI Ripping: Reverse Engineering of Graphical User
Interfaces for Testing}},
crossref = "WCRE2003",
isbn = {0-7695-2027-8},
pages = {260--270},
publisher = {IEEE Computer Society},
}
@inproceedings{Mariani:Autoblacktest:ICST:2012,
author = {Mariani, Leonardo and Pezz\`{e}, Mauro and
Riganelli, Oliviero and Santoro, Mauro},
title = {{AutoBlackTest: Automatic Black-Box Testing of
Interactive Applications}},
crossref = "ICST2012",
isbn = {978-0-7695-4670-4},
pages = {81--90},
doi = {10.1109/ICST.2012.88},
publisher = {IEEE Computer Society},
keywords = {Black-Box Testing, Test Automation, Q-Learning},
}
@inproceedings{Gross:Exsyst:ICSE:2012,
author = {Gross, Florian and Fraser, Gordon and Zeller,
Andreas},
title = {{EXSYST}: Search-based GUI Testing},
crossref = "ICSE2012",
isbn = {978-1-4673-1067-3},
pages = {1423--1426},
publisher = {IEEE Press},
}
%%%
......
@ARTICLE{crawljax:tweb12,
author = {Mesbah, Ali and van Deursen, Arie and Lenselink,
Stefan},
title = {{Crawling {Ajax}-based Web Applications through
Dynamic Analysis of User Interface State Changes}},
journal = "TWEB",
year = {2012},
volume = {6},
number = {1},
pages = {1--30}
}
@inproceedings{webmate-swqd-2013,
title = {{WebMate: Generating Test Cases for Web 2.0}},
author = {Valentin Dallmeier and Martin Burger and Tobias Orth
and Andreas Zeller},
year = {2013},
booktitle = {Software Quality. Increasing Value in Software and
Systems Development},
pages = {55--69},
publisher = {Springer},
ISBN = {9783642357015},
doi = {10.1007/978-3-642-35702-2_5},
}
@inproceedings{RoyChoudhary:XPERT:ICSE:2013,
author = {Roy Choudhary, Shauvik and Prasad, Mukul R. and
Orso, Alessandro},
title = {{X-PERT}: Accurate Identification of Cross-browser
Issues in Web Applications},
crossref = "ICSE2013",
isbn = {978-1-4673-3076-3},
pages = {702--711},
publisher = {IEEE Press},
}
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