@inproceedings(sunny-cp,
 author       = {Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro},
 year         = {2015},
 title        = {SUNNY-CP: A Sequential CP Portfolio Solver},
 booktitle    = {ACM Symposium on Applied Computing},
 address      = {Salamanca, Spain},
 pages        = {1861--1867},
 doi          = {10.1145/2695664.2695741},
)
@inproceedings(Boogie,
 author       = {Mike Barnett and Bor-Yuh Evan Chang and Robert DeLine and Bart Jacobs and K. Rustan M. Leino},
 year         = {2005},
 title        = {Boogie: A Modular Reusable Verifier for Object-Oriented Programs},
 booktitle    = {Formal Methods for Components and Objects: 4th International Symposium},
 address      = {Amsterdam, The Netherlands},
 pages        = {364--387},
 doi          = {10.1007/11804192\_17},
)
@inproceedings(spec,
 author       = {Mike Barnett and K. Rustan M. Leino and Wolfram Schulte},
 year         = {2004},
 title        = {The {S}pec\# Programming System: An Overview},
 booktitle    = {Construction and Analysis of Safe, Secure and Interoperable Smart devices},
 address      = {Marseille, France},
 pages        = {49--69},
 doi          = {10.1007/978-3-540-30569-9\_3},
)
@inproceedings(CVC4,
 author       = {Clark Barrett and Christopher L. Conway and Morgan Deters and Liana Hadarean and Dejan Jovanovi\'{c} and Tim King and Andrew Reynolds and Cesare Tinelli},
 year         = {2011},
 title        = {{\scshape CVC4}},
 booktitle    = {Computer Aided Verification},
 address      = {Snowbird, UT, USA},
 pages        = {171--177},
 doi          = {10.1007/978-3-642-22110-1\_14},
)
@misc(SMTLIB,
 author       = {Clark Barrett and Aaron Stump and Cesare Tinelli},
 year         = {2010},
 title        = {{The Satisfiability Modulo Theories Library (SMT-LIB)}},
 url          = {http://www.smt-lib.org},
)
@inproceedings(CVC3,
 author       = {Clark Barrett and Cesare Tinelli},
 year         = {2007},
 title        = {{CVC3}},
 booktitle    = {Computer Aided Verification},
 address      = {Berlin, Germany},
 pages        = {298--302},
 doi          = {10.1007/978-3-540-73368-3\_34},
)
@inproceedings(SVCOMP,
 author       = {Dirk Beyer},
 year         = {2014},
 title        = {Status Report on Software Verification},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 address      = {Grenoble, France},
 pages        = {373--388},
 doi          = {10.1007/978-3-642-54862-8\_25},
)
@article(Dagstuhl,
 author       = {Dirk Beyer and Marieke Huisman and Vladimir Klebanov and Rosemary Monahan},
 year         = {2014},
 title        = {{Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)}},
 journal      = {Dagstuhl Reports},
 volume       = {4},
 number       = {4},
 doi          = {10.4230/DagRep.4.4.1},
)
@inproceedings(benchexec,
 author       = {Dirk Beyer and Stefan L{\"{o}}we and Philipp Wendler},
 year         = {2015},
 title        = {Benchmarking and Resource Measurement},
 booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015},
 address      = {Stellenbosch, South Africa},
 pages        = {160--178},
 doi          = {10.1007/978-3-319-23404-5\_12},
)
@article(Sledgehammer,
 author       = {Jasmin Christian Blanchette and David Greenaway and Cezary Kaliszyk and Daniel K{\"{u}}hlwein and Josef Urban},
 year         = {2016},
 title        = {A Learning-Based Fact Selector for {I}sabelle/{HOL}},
 journal      = {Journal of Automated Reasoning},
 pages        = {1--26},
 doi          = {10.1007/s10817-016-9362-8},
)
@inproceedings(why:preserving,
 author       = {Fran{\c{c}}ois Bobot and Jean-Christophe Filli{\^{a}}tre and Claude March{\'{e}} and Guillaume Melquiond and Andrei Paskevich},
 year         = {2013},
 title        = {Preserving User Proofs across Specification Changes},
 booktitle    = {Verified Software: Theories, Tools, Experiments: 5th International Conference},
 address      = {Menlo Park, CA, USA},
 pages        = {191--201},
 doi          = {10.1007/978-3-642-54108-7\_10},
)
@article(verifythis,
 author       = {Fran{\c{c}}ois Bobot and Jean-Christophe Filli{\^a}tre and Claude March{\'e} and Andrei Paskevich},
 year         = {2015},
 title        = {Let's verify this with {W}hy3},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {17},
 number       = {6},
 pages        = {709--727},
 doi          = {10.1007/s10009-014-0314-5},
)
@article(multisurvey,
 author       = {Hanen Borchani and Gherardo Varando and Concha Bielza and Pedro Larranaga},
 year         = {2015},
 title        = {A survey on multi-output regression},
 journal      = {Data Mining And Knowledge Discovery},
 volume       = {5},
 number       = {5},
 pages        = {216--233},
 doi          = {10.1002/widm.1157},
)
@inproceedings(bormer:hal-00789525,
 author       = {Thorsten Bormer and Marc Brockschmidt and Dino Distefano and Gidon Ernst and Jean-Christophe Filli{\^{a}}tre and Radu Grigore and Marieke Huisman and Vladimir Klebanov and Claude March{\'{e}} and Rosemary Monahan and Wojciech Mostowski and Nadia Polikarpova and Christoph Scheben and Gerhard Schellhorn and Bogdan Tofan and Julian Tschannen and Mattias Ulbrich},
 year         = {2011},
 title        = {{The COST IC0701 Verification Competition 2011}},
 booktitle    = {{Formal Verification of Object-Oriented Software}},
 address      = {Torino, Italy},
 pages        = {3--21},
 doi          = {10.1007/978-3-642-31762-0\_2},
)
@inproceedings(veriT,
 author       = {Thomas Bouton and Caminha B. de Oliveira, Diego and David D{\'{e}}harbe and Pascal Fontaine},
 year         = {2009},
 title        = {veri{T}: An Open, Trustable and Efficient {SMT}-Solver},
 booktitle    = {22nd International Conference on Automated Deduction},
 address      = {Montreal, Canada},
 pages        = {151--156},
 doi          = {10.1007/978-3-642-02959-2\_12},
)
@article(RandomForests,
 author       = {Leo Breiman},
 year         = {2001},
 title        = {Random Forests},
 journal      = {Machine Learning},
 volume       = {45},
 number       = {1},
 pages        = {5--32},
 doi          = {10.1023/A:1010933404324},
)
@article(SMTEVAL2013,
 author       = {David R. Cok and Aaron Stump and Tjark Weber},
 year         = {2015},
 title        = {The 2013 Evaluation of {SMT-COMP} and {SMT-LIB}},
 journal      = {Journal of Automated Reasoning},
 volume       = {55},
 number       = {1},
 pages        = {61--90},
 doi          = {10.1007/s10817-015-9328-2},
)
@misc(AltErgo,
 author       = {Sylvain Conchon and \'{E}velyne Contejean},
 year         = {2008},
 title        = {The {A}lt-{E}rgo automatic theorem prover},
 url          = {http://alt-ergo.lri.fr/},
)
@inproceedings(Z3,
 author       = {De Moura, Leonardo and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {Z3: An Efficient {SMT} Solver},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 address      = {Budapest, Hungary},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@inproceedings(DPVZ15:CAV,
 author       = {Yulia Demyanova and Thomas Pani and Helmut Veith and Florian Zuleger},
 year         = {2015},
 title        = {Empirical Software Metrics for Benchmarking of Verification Tools},
 booktitle    = {Computer Aided Verification},
 address      = {San Francisco, CA, USA},
 pages        = {561--579},
 doi          = {10.1007/978-3-319-21690-4\_39},
)
@misc(Yices,
 author       = {Bruno Dutertre and Leonardo de Moura},
 year         = {2006},
 title        = {The {Y}ices {SMT} Solver},
 url          = {http://yices.csl.sri.com/papers/tool-paper.pdf},
)
@inproceedings(why:whereprograms,
 author       = {Jean{-}Christophe Filli{\^{a}}tre and Andrei Paskevich},
 year         = {2013},
 title        = {Why3 - Where Programs Meet Provers},
 booktitle    = {Programming Languages and Systems - 22nd European Symposium on Programming,},
 address      = {Rome, Italy},
 pages        = {125--128},
 doi          = {10.1007/978-3-642-37036-6\_8},
)
@inproceedings(rodinplugin,
 author       = {Alexei Iliasov and Paulius Stankaitis and Adjepon-Yamoah, David and Alexander Romanovsky},
 year         = {2016},
 title        = {Rodin Platform {W}hy3 Plug-In},
 booktitle    = {ABZ 2016: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference},
 address      = {Linz, Austria},
 pages        = {275--281},
 doi          = {10.1007/978-3-319-33600-8\_21},
)
@article(NDCG,
 author       = {Kalervo J\"{a}rvelin},
 year         = {2012},
 title        = {{IR} Research: Systems, Interaction, Evaluation and Theories},
 journal      = {SIGIR Forum},
 volume       = {45},
 number       = {2},
 pages        = {17--31},
 doi          = {10.1145/2093346.2093348},
)
@article(Flyspec,
 author       = {Cezary Kaliszyk and Josef Urban},
 year         = {2014},
 title        = {Learning-Assisted Automated Reasoning with {F}lyspeck},
 journal      = {Journal of Automated Reasoning},
 volume       = {53},
 number       = {2},
 pages        = {173--213},
 doi          = {10.1007/s10817-014-9303-3},
)
@inproceedings(Klebanov2011,
 author       = {Vladimir Klebanov and Peter M{\"{u}}ller and Natarajan Shankar and Gary T. Leavens and Valentin W{\"{u}}stholz and Eyad Alkassar and Rob Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark Hillebrand and Bart Jacobs and K. Rustan M. Leino and Rosemary Monahan and Frank Piessens and Nadia Polikarpova and Tom Ridge and Jan Smans and Stephan Tobies and Thomas Tuerk and Mattias Ulbrich and Wei{\ss}, Benjamin},
 year         = {2011},
 title        = {The 1st Verified Software Competition: Experience Report},
 booktitle    = {FM 2011: 17th International Symposium on Formal Methods},
 address      = {Limerick, Ireland},
 pages        = {154--168},
 doi          = {10.1007/978-3-642-21437-0\_14},
)
@inproceedings(ML4PG,
 author       = {Ekaterina Komendantskaya and J{\'{o}}nathan Heras and Gudmund Grov},
 year         = {2012},
 title        = {Machine Learning in Proof General: Interfacing Interfaces},
 booktitle    = {10th International Workshop On User Interfaces for Theorem Provers},
 address      = {Bremen, Germany},
 pages        = {15--41},
 doi          = {10.4204/EPTCS.118.2},
)
@inproceedings(Dafny,
 author       = {K. Rustan M. Leino},
 year         = {2010},
 title        = {Dafny: An Automatic Program Verifier for Functional Correctness},
 booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference},
 address      = {Dakar, Senegal},
 pages        = {348--370},
 doi          = {10.1007/978-3-642-17511-4\_20},
)
@inproceedings(Leino10vacid-0:verification,
 author       = {K. Rustan M. Leino and Micha\l{} Moskal},
 year         = {2010},
 title        = {VACID-0: Verification of Ample Correctness of Invariants of Data-structures, Edition 0},
 booktitle    = {Tools and Experiments Workshop at VSTTE},
 url          = {https://www.microsoft.com/en-us/research/wp-content/uploads/2008/12/krml209.pdf},
)
@book(LiljaJ,
 author       = {David J Lilja},
 year         = {2000},
 title        = {Measuring computer performance: a practitioner's guide},
 publisher    = {Cambridge Univ. Press},
 address      = {Cambridge, UK},
 doi          = {10.1017/CBO9780511612398},
)
@book(Mitchell,
 author       = {Tom M. Mitchell},
 year         = {1997},
 title        = {Machine Learning},
 publisher    = {McGraw-Hill},
 address      = {New York, USA},
)
@inproceedings(CPHydra,
 author       = {Eoin O'Mahony and Emmanuel Hebrard and Alan Holland and Conor Nugent and Barry O'Sullivan},
 year         = {2008},
 title        = {Using case-based reasoning in an algorithm portfolio for constraint solving},
 booktitle    = {Irish Conference on Artificial Intelligence and Cognitive Science},
 address      = {Cork, Ireland},
 pages        = {210--216},
 url          = {http://homepages.laas.fr/ehebrard/papers/aics2008.pdf},
)
@article(sklearn,
 author       = {Fabian Pedregosa and Ga{\"{e}}l Varoquaux and Alexandre Gramfort and Vincent Michel and Bertrand Thirion and Olivier Grisel and Mathieu Blondel and Peter Prettenhofer and Ron Weiss and Vincent Dubourg and Jake Vanderplas and Alexandre Passos and David Cournapeau and Mathieu Brucher and Mathieu Perrot and \'{E}douard Duchesnay},
 year         = {2011},
 title        = {Scikit-learn: Machine Learning in {P}ython},
 journal      = {Journal of Machine Learning Research},
 volume       = {12},
 pages        = {2825--2830},
 url          = {http://dl.acm.org/citation.cfm?id=1953048.2078195},
)
@article(TPTP,
 author       = {Geoff Sutcliffe and Christian Suttner},
 year         = {1998},
 title        = {The {TPTP} Problem Library},
 journal      = {Journal Automated Reasoning},
 volume       = {21},
 number       = {2},
 pages        = {177--203},
 doi          = {10.1023/A:1005806324129},
)
@article(Sutcliffe200139,
 author       = {Geoff Sutcliffe and Christian Suttner},
 year         = {2001},
 title        = {Evaluating general purpose automated theorem proving systems},
 journal      = {Artificial Intelligence},
 volume       = {131},
 number       = {1-2},
 pages        = {39--54},
 doi          = {10.1016/S0004-3702(01)00113-8},
)
@inproceedings(MUX,
 author       = {Varun Tulsian and Aditya Kanade and Rahul Kumar and Akash Lal and Aditya V. Nori},
 year         = {2014},
 title        = {{MUX}: algorithm selection for software model checkers},
 booktitle    = {11th Working Conference on Mining Software Repositories},
 address      = {Hydrabad, India},
 pages        = {132--141},
 doi          = {10.1145/2597073.2597080},
)
@book(experimentation,
 author       = {Claes Wohlin and Per Runeson and Martin H\"{o}st and Magnus C. Ohlsson and Bj\"{o}rn Regnell and Anders Wessl\'{e}n},
 year         = {2012},
 title        = {Experimentation in Software Engineering},
 publisher    = {Springer},
 address      = {New York, USA},
 doi          = {10.1007/978-3-642-29044-2},
)
@article(Satzilla,
 author       = {Lin Xu and Frank Hutter and Holger H. Hoos and Leyton-Brown, Kevin},
 year         = {2008},
 title        = {{SAT}zilla: Portfolio-based Algorithm Selection for {SAT}},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {32},
 number       = {1},
 pages        = {565--606},
 url          = {http://dl.acm.org/citation.cfm?id=1622673.1622687},
)