@misc(AndroidDev,
 title        = "Android developers",
 note         = "Http://developer.android.com/",
)
@misc(DroidPilot,
 title        = "{DroidPilot}",
 note         = "Http://droidpilot.wordpress.com/",
)
@misc(rhapsody-web,
 title        = "{IBM - Software - Rational Rhapsody family}",
 note         = "Http://www-01.ibm.com/software/awdtools/rhapsody/",
)
@misc(Robotium,
 title        = "Robotium",
 note         = "Https://code.google.com/p/robotium/",
)
@article(AFT2014,
 author       = "Domenico Amalfitano and Anna Rita Fasolino and Porfirio Tramontana and Bryan Ta and Atif Memon",
 year         = "2014",
 title        = "{MobiGUITAR} -- A Tool for Automated Model-Based Testing of Mobile Apps",
 journal      = "IEEE Software",
 volume       = "99",
 number       = "PrePrints",
 pages        = "1",
 doi          = "10.1109/MS.2014.55",
)
@article(ABGH2005,
 author       = "Cyrille Artho and Howard Barringer and Allen Goldberg and Klaus Havelund and Sarfraz Khurshid and Mike Lowry and Corina Pasareanu and Grigore Rosu and Koushik Sen and Willem Visser and Rich Washington",
 year         = "2005",
 title        = "Combining Test Case Generation and Runtime Verification",
 journal      = "Theor. Comput. Sci.",
 volume       = "336",
 number       = "2-3",
 pages        = "209--234",
 doi          = "10.1016/j.tcs.2004.11.007",
)
@article(ArincTester,
 author       = "Pedro de la C\'{a}mara and J. R\'{a}ul Castro and Mar\'{\i }a del Mar Gallardo and Pedro Merino",
 year         = "2010",
 title        = "Verification support for {ARINC}-653-based avionics software",
 journal      = "Software Testing Verification \& Reliability",
 volume       = "21",
 number       = "4",
 pages        = "267--298",
 doi          = "10.1002/stvr.422",
)
@article(CNS2013,
 author       = "Wontae Choi and George Necula and Koushik Sen",
 year         = "2013",
 title        = "Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning",
 journal      = "SIGPLAN Not.",
 volume       = "48",
 number       = "10",
 pages        = "623--640",
 doi          = "10.1145/2544173.2509552",
)
@book(CGP1999,
 author       = "Edmund M. Clarke, Jr. and Orna Grumberg and Doron A. Peled",
 year         = "1999",
 title        = "Model Checking",
 publisher    = "MIT Press",
 address      = "Cambridge, USA",
)
@article(SocketMC,
 author       = "Pedro de la C\IeC {\'a}mara and Mar\IeC {\'\i }a del Mar Gallardo and Pedro Merino and David San\IeC {\'a}n",
 year         = "2009",
 title        = "Checking the reliability of socket based communication software",
 journal      = "Intl. Journal on Software Tools for Technology Transfer",
 volume       = "11",
 number       = "5",
 pages        = "359--374",
 doi          = "10.1007/s10009-009-0112-7",
)
@inproceedings(Dwyer04,
 author       = "M.B. Dwyer and Robby and O. Tkachuk and W. Visser",
 year         = "2004",
 title        = "Analyzing interaction orderings with model checking",
 booktitle    = "Automated Software Engineering, 2004. Proceedings. 19th Intl. Conference on",
 pages        = "154--163",
 doi          = "10.1109/ASE.2004.1342733",
)
@inproceedings(EGCC2010,
 author       = "William Enck and Peter Gilbert and Byung-Gon Chun and Landon P. Cox and Jaeyeon Jung and Patrick McDaniel and Anmol N. Sheth",
 year         = "2010",
 title        = "TaintDroid: An Information-flow Tracking System for Realtime Privacy Monitoring on Smartphones",
 booktitle    = "Proceedings of the 9th USENIX OSDI",
 series       = "OSDI'10",
 publisher    = "USENIX Association",
 address      = "Berkeley, CA, USA",
 pages        = "1--6",
 doi          = "10.1145/2494522",
 url          = "http://dl.acm.org/citation.cfm?id=1924943.1924971",
)
@inproceedings(prole,
 author       = "Ana Rosario Espada and Mar\IeC {\'\i }a-del-Mar Gallardo and Dami\IeC {\'a}n Adalid",
 year         = "2013",
 title        = "DRAGONFLY : Encapsulating Android for Instrumentation",
 booktitle    = "Proceedings of the XIII PROLE13",
)
@inproceedings(Drangofly,
 author       = "Ana Rosario Espada and Mar\IeC {\'\i }a-del-Mar Gallardo and Dami\IeC {\'a}n Adalid",
 year         = "2013",
 title        = "A Runtime Verification Framework for android Applications",
 booktitle    = "Proceedings of XXI JCSD",
)
@book(holzmann-03,
 author       = "Gerard J. Holzmann",
 year         = "2003",
 title        = "{The {SPIN} Model Checker: Primer and Reference Manual}",
 publisher    = "Addison-Wesley Professional",
)
@inproceedings(Hu,
 author       = "Cuixiong Hu and Iulian Neamtiu",
 year         = "2011",
 title        = "Automating GUI Testing for Android Applications",
 booktitle    = "Proceedings of the 6th International Workshop on AST",
 series       = "AST '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "77--83",
 doi          = "10.1145/1982595.1982612",
)
@inproceedings(JingAH12,
 author       = "Yiming Jing and Gail{-}Joon Ahn and Hongxin Hu",
 year         = "2012",
 title        = "Model-Based Conformance Testing for Android",
 booktitle    = "Advances in Information and Computer Security - 7th International Workshop on Security, {IWSEC} 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings",
 pages        = "1--18",
 doi          = "10.1007/978-3-642-34117-5\_1",
)
@inproceedings(KFBJB2014,
 author       = "William Klieber and Lori Flynn and Amar Bhosale and Limin Jia and Lujo Bauer",
 year         = "2014",
 title        = "Android Taint Flow Analysis for App Sets",
 booktitle    = "Proceedings of the 3rd ACM SIGPLAN International Workshop",
 series       = "SOAP '14",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "1--6",
 doi          = "10.1145/2614628.2614633",
)
@inproceedings(LX2013,
 author       = "Yepang Liu and Chang Xu",
 year         = "2013",
 title        = "VeriDroid: Automating Android application verification",
 booktitle    = "Proceedings Middleware 2013 Doctoral Symposium",
 publisher    = "ACM",
 doi          = "10.1145/2541534.2541594",
)
@inproceedings(MTN2013,
 author       = "Aravind Machiry and Rohan Tahiliani and Mayur Naik",
 year         = "2013",
 title        = "Dynodroid: An Input Generation System for Android Apps",
 booktitle    = "Proceedings of the 2013 ESEC/FSE",
 series       = "ESEC/FSE 2013",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "224--234",
 doi          = "10.1145/2491411.2491450",
)
@article(jpf2,
 author       = "Peter Mehlitz and Oksana Tkachuk and Mateusz Ujma",
 year         = "2011",
 title        = "JPF-AWT: Model checking GUI applications",
 journal      = "2011 26th IEEE/ACM International Conference ASE 2011",
 volume       = "0",
 pages        = "584--587",
 doi          = "10.1109/ASE.2011.6100131",
)
@article(jpf,
 author       = "Heila van der Merwe and Brink van der Merwe and Willem Visser",
 year         = "2012",
 title        = "Verifying Android Applications Using Java PathFinder",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "37",
 number       = "6",
 pages        = "1--5",
 doi          = "10.1145/2382756.2382797",
)
@article(APSET,
 author       = "S\IeC {\'e}bastien Salva and StassiaR. Zafimiharisoa",
 year         = "2014",
 title        = "APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities",
 journal      = "International Journal on Software Tools for Technology Transfer",
 pages        = "1--21",
 doi          = "10.1007/s10009-014-0303-8",
)
@inproceedings(TKH2011,
 author       = "Tommi Takala and Mika Katara and Julian Harty",
 year         = "2011",
 title        = "Experiences of System-Level Model-Based GUI Testing of an Android Application",
 booktitle    = "Proceedings of the 2011 Fourth IEEE ICST",
 series       = "ICST '11",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "377--386",
 doi          = "10.1109/ICST.2011.11",
)
@book(UL2006,
 author       = "Mark Utting and Bruno Legeard",
 year         = "2007",
 title        = "Practical Model-Based Testing: A Tools Approach",
 publisher    = "Morgan Kaufmann Publishers Inc.",
 address      = "San Francisco, CA, USA",
)
@inproceedings(YCZJ2013,
 author       = "Hui Ye and Shaoyin Cheng and Lanbo Zhang and Fan Jiang",
 year         = "2013",
 title        = "DroidFuzzer: Fuzzing the Android Apps with Intent-Filter Tag",
 booktitle    = "Proceedings 11th International Conference on Advances in MoMM2013",
 publisher    = "ACM",
 doi          = "10.1145/2536853.2536881",
)