@article(Barringer:Quantified:FM:2012,
 author       = {H. Barringer and Y. Falcone and K. Havelund and G. Reger and D. Rydeheard},
 year         = {2012},
 title        = {Quantified event automata: Towards expressive and efficient runtime monitors},
 journal      = {Proceedings of the International Symposium on Formal Methods (FM)},
 pages        = {68--84},
 doi          = {10.1007/978-3-642-32759-9_9},
)
@inproceedings(Bartocci:Adaptive:ICRV:2012,
 author       = {E. Bartocci and R. Grosu and A. Karmarkar and S. A. Smolka and S. D. Stoller and J.n Seyster},
 year         = {2012},
 title        = {Adaptive Runtime Verification},
 booktitle    = {Proceedings of the International Conference on Runtime Verification (RV)},
 organization = {LNCS/Springer},
 pages        = {168--182},
 doi          = {10.1007/978-3-642-35632-2_18},
)
@article(Bauer:Decentralised:FM:2012,
 author       = {A. Bauer and Y. Falcone},
 year         = {2012},
 title        = {Decentralised LTL monitoring},
 journal      = {Proceedings of the International Symposium on Formal Methods (FM)},
 pages        = {85--100},
 doi          = {10.1007/s10703-016-0253-8},
)
@inproceedings(Bowring:MonitoringDeployedSoftware:PASTE:2002,
 author       = {J. Bowring and A. Orso and M. J. Harrold},
 year         = {2002},
 title        = {Monitoring deployed software using software tomography},
 booktitle    = {Proceedings of the ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (PASTE)},
 doi          = {10.1145/586094.586099},
)
@inproceedings(Braione:Enhancing:FSE:2013,
 author       = {P. Braione and G. Denaro and M. Pezz{\`e}},
 year         = {2013},
 title        = {Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization},
 booktitle    = {Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
 doi          = {10.1145/2491411.2491433},
)
@inproceedings(Chen:Parametric:TACAS:2009,
 author       = {F. Chen and G. Rosu},
 year         = {2009},
 title        = {Parametric Trace Slicing and Monitoring.},
 booktitle    = {Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 volume       = {5505},
 publisher    = {Springer},
 pages        = {246--261},
 doi          = {10.1007/978-3-642-00768-2_23},
)
@inproceedings(Clause:FieldFailuresDebugging:ICSE:2007,
 author       = {J. Clause and A. Orso},
 year         = {2007},
 title        = {A technique for enabling and supporting debugging of field failures},
 booktitle    = {Proceedings of the International Conference on Software Engineering (ICSE)},
 doi          = {10.1109/ICSE.2007.10},
)
@inproceedings(Cornejo:Flexible:ICSEC:2017,
 author       = {O. Cornejo},
 year         = {2017},
 title        = {Flexible in-the-field monitoring},
 booktitle    = {Proceedings of the International Conference on Software Engineering (ICSE) - Companion},
 doi          = {10.1109/ICSE-C.2017.37},
)
@inproceedings(NIER2017,
 author       = {O. Cornejo and D. Briola and D. Micucci and L. Mariani},
 year         = {2017},
 title        = {In the Field Monitoring of Interactive Applications},
 booktitle    = {Proceedings of the International Conference on Software Engineering: New Ideas and Emerging Results Track (ICSE-NIER)},
 doi          = {10.1109/ICSE-NIER.2017.19},
)
@article(Delgado:TaxonomyFaultMonitoring:TSE:2004,
 author       = {N. Delgado and A. Q. Gates and S. Roach},
 year         = {2004},
 title        = {A taxonomy and catalog of runtime software-fault monitoring tools},
 journal      = {IEEE Transactions on Software Engineering (TSE)},
 doi          = {10.1109/TSE.2004.91},
)
@inproceedings(Diep:Trace:ISSRE:2008,
 author       = {M. Diep and S. Elbaum and M. Dwyer},
 year         = {2008},
 title        = {Trace normalization},
 booktitle    = {Proceedings of the Symposium on Software Reliability Engineering (ISSRE)},
 doi          = {10.1109/ISSRE.2008.37},
)
@misc(WALA,
 author       = {J. Dolby and S. J Fink and M. Sridharan},
 year         = {visited on June 23 2017},
 title        = {TJ Watson libraries for analysis (WALA)},
 howpublished = {\url{http://wala.sourceforge.net/}},
)
@misc(Eclipse:website:2016,
 author       = {{Eclipse Community}},
 year         = {visited on June 24 2017},
 title        = {Eclipse},
 howpublished = {\url{http://www.eclipse.org}},
)
@article(Elbaum:Profiling:TSE:2005,
 author       = {S. Elbaum and M. Diep},
 year         = {2005},
 title        = {Profiling deployed software: {Assessing} strategies and testing opportunities},
 journal      = {IEEE Transactions on Software Engineering (TSE)},
 doi          = {10.1109/TSE.2005.50},
)
@inproceedings(Gazzola:2017:FTS:3098344.3098487,
 author       = {L. Gazzola},
 year         = {2017},
 title        = {Field Testing of Software Applications},
 booktitle    = {Proceedings of the International Conference on Software Engineering (ICSE) - Companion},
 doi          = {10.1109/ICSE-C.2017.30},
)
@inproceedings(Gazzola:ISSRE:2017,
 author       = {L. Gazzola and L. Mariani and F. Pastore and M. Pezz{\`e}},
 year         = {2017},
 title        = {An Exploratory Study of Field Failures},
 booktitle    = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
)
@inproceedings(Jin:Sampling:SIGPLAN:2010,
 author       = {G. Jin and A. Thakur and B. Liblit and S. Lu},
 year         = {2010},
 title        = {Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation},
 booktitle    = {Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)},
 doi          = {10.1145/1869459.1869481},
)
@inproceedings(Jin:BugRedux:ICSE:2012,
 author       = {W. Jin and A. Orso},
 year         = {2012},
 title        = {{BugRedux}: reproducing field failures for in-house debugging},
 booktitle    = {Proceedings of the International Conference on Software Engineering (ICSE)},
 doi          = {10.1109/ICSE.2012.6227168},
)
@article(King:Symbolic:ACM:1976,
 author       = {J. C. King},
 year         = {1976},
 title        = {Symbolic execution and program testing},
 journal      = {Communications of the ACM},
 volume       = {19},
 number       = {7},
 pages        = {385--394},
 doi          = {10.1145/360248.360252},
)
@article(Liblit:BugIsolation:SIGPLAN:2003,
 author       = {B. Liblit and A. Aiken and A. X. Zheng and M. I. Jordan},
 year         = {2003},
 title        = {Bug isolation via remote program sampling},
 journal      = {ACM SIGPLAN Notices},
 doi          = {10.1145/780822.781148},
)
@misc(Windows:website:2016,
 author       = {Microsoft},
 year         = {visited on June 24 2017},
 title        = {Windows 10},
 howpublished = {\url{http://www.microsoft.com}},
)
@article(Nie:Survey:CSUR:2011,
 author       = {C. Nie and H. Leung},
 year         = {2011},
 title        = {A survey of combinatorial testing},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {43},
 number       = {2},
 pages        = {11:1--11:29},
 doi          = {10.1145/1883612.1883618},
)
@inproceedings(Ohmann:OptimizedCoverage:ASE:2016,
 author       = {P. Ohmann and D. B. Brown and N. Neelakandan and J. Linderoth and B. Liblit},
 year         = {2016},
 title        = {Optimizing Customized Program Coverage},
 booktitle    = {Proceedings of the IEEE / ACM International Conference on Automated Software Engineering (ASE)},
 doi          = {10.1145/2970276.2970351},
)
@inproceedings(Orso:Selective:ACM:2005,
 author       = {A. Orso and B. Kennedy},
 year         = {2005},
 title        = {Selective Capture and Replay of Program Executions},
 booktitle    = {Proceedings of the International Workshop on Dynamic Analysis (WODA)},
 doi          = {10.1145/1082983.1083251},
)
@inproceedings(Orso:GammaSystem:ISSTA:2002,
 author       = {A. Orso and D. Liang and M. J. Harrold and R. Lipton},
 year         = {2002},
 title        = {Gamma system: Continuous evolution of software after deployment},
 booktitle    = {Proceedings of the ACM SIGSOFT international symposium on Software testing and analysis (ISSTA)},
 doi          = {10.1145/566172.566182},
)
@inproceedings(Pavlopoulou:ResidualCoverage:ICSE:1999,
 author       = {C. Pavlopoulou and M. Young},
 year         = {1999},
 title        = {Residual test coverage monitoring},
 booktitle    = {Proceedings of the International Conference on Software Engineering (ICSE)},
 pages        = {277--284},
 doi          = {10.1145/302405.302637},
)
@book(seow,
 author       = {S. C. Seow},
 year         = {2008},
 title        = {Designing and engineering time: the psychology of time perception in software},
 publisher    = {Addison-Wesley Professional, ISBN: 0321509188, 9780321509185},
)