@(ant,
 title        = {Ant},
 howpublished = {\url{http://www.ant.apache.org}},
)
@(make,
 title        = {GNU Make},
 howpublished = {\url{http://www.gnu.org/software/make/}},
)
@misc(jom,
 title        = {JOM},
 howpublished = {\url{https://wiki.qt.io/Jom}},
)
@misc(azure,
 title        = {Microsoft Azure},
 howpublished = {\url{https://azure.microsoft.com/en-us/}},
)
@misc(azureAutoscale,
 title        = {Microsoft Azure Autoscale},
 howpublished = {\url{https://azure.microsoft.com/en-us/documentation/articles/cloud-services-how-to-scale/}},
)
@misc(azureBlobStorage,
 title        = {Microsoft Azure Blob Storage},
 howpublished = {\url{https://msdn.microsoft.com/library/azure/dd179376.aspx}},
)
@misc(azureQueueStorage,
 title        = {Microsoft Azure Queue Storage},
 howpublished = {\url{http://azure.microsoft.com/en-us/documentation/articles/storage-introduction/}},
)
@misc(azureTableStorage,
 title        = {Microsoft Azure Table Storage},
 howpublished = {\url{https://azure.microsoft.com/en-us/documentation/articles/storage-table-design-guide/}},
)
@misc(msDDI,
 title        = {Microsoft {DDI} compliance rules},
 howpublished = {\url{http://msdn.microsoft.com/en-us/library/windows/hardware/ff552840.aspx}},
)
@(msbuild,
 title        = {Microsoft MSBUILD},
 howpublished = {\url{https://msdn.microsoft.com/en-us/library/ms171452(v=vs.90).aspx}},
)
@misc(msSDV,
 title        = {{Microsoft Static Driver Verifier}},
 howpublished = {\url{http://msdn.microsoft.com/en-us/library/windows/hardware/ff552808.aspx}},
)
@misc(scan-build,
 title        = {Scan-Build},
 howpublished = {\url{http://clang-analyzer.llvm.org/scan-build.html}},
)
@inproceedings(ball2004slam,
 author       = {Thomas Ball and Byron Cook and Vladimir Levin and Sriram K Rajamani},
 year         = {2004},
 title        = {SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft},
 booktitle    = {Integrated formal methods},
 organization = {Springer},
 pages        = {1--20},
 doi          = {10.1007/978-3-540-24756-2\_1},
)
@techreport(ball2002slic,
 author       = {Thomas Ball and Sriram K Rajamani},
 year         = {2002},
 title        = {SLIC: A specification language for interface checking (of {C})},
 type         = {Technical Report},
 url          = {https://www.microsoft.com/en-us/research/publication/slic-a-specification-language-for-interface-checking-of-c/},
)
@inproceedings(BarnatScalable,
 author       = {J. Barnat and L. Brim and Ro\v{c}kai, Petr},
 year         = {2007},
 title        = {Scalable Multi-core {LTL} Model-checking},
 booktitle    = {Proceedings of the 14th International SPIN Conference on Model Checking Software},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {187--203},
 doi          = {10.1007/978-3-540-73370-6\_13},
 url          = {http://dl.acm.org/citation.cfm?id=1770532.1770550},
)
@inproceedings(fahndrichcase,
 author       = {Michael Barnett and Mehdi Bouaziz and Manuel Fahndrich and Francesco Logozzo},
 year         = {2013},
 title        = {A case for static analyzers in the cloud},
 booktitle    = {Bytecode 2013},
 url          = {http://research.microsoft.com/apps/pubs/default.aspx?id=183458},
)
@inproceedings(beyer2014software,
 author       = {Dirk Beyer and Georg Dresler and Philipp Wendler},
 year         = {2014},
 title        = {Software Verification in the Google App-Engine Cloud},
 booktitle    = {Computer Aided Verification},
 organization = {Springer},
 pages        = {327--333},
 doi          = {10.1007/978-3-319-08867-9\_21},
)
@inproceedings(candea2010automated,
 author       = {George Candea and Stefan Bucur and Cristian Zamfir},
 year         = {2010},
 title        = {Automated software testing as a service},
 booktitle    = {Proceedings of the 1st ACM symposium on Cloud computing},
 organization = {ACM},
 pages        = {155--160},
 doi          = {10.1145/1807128.1807153},
)
@article(ciortea2010cloud9,
 author       = {Liviu Ciortea and Cristian Zamfir and Stefan Bucur and Vitaly Chipounov and George Candea},
 year         = {2010},
 title        = {Cloud9: A software testing service},
 journal      = {ACM SIGOPS Operating Systems Review},
 volume       = {43},
 number       = {4},
 pages        = {5--10},
 doi          = {10.1145/1807128.1807153},
)
@inproceedings(holzmannSwarm,
 author       = {G. J. Holzmann and R. Joshi and A. Groce},
 year         = {2008},
 title        = {Swarm Verification},
 booktitle    = {Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering},
 series       = {ASE '08},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {1--6},
 doi          = {10.1109/ASE.2008.9},
)
@article(kumar2005load,
 author       = {Rahul Kumar and Eric G Mercer},
 year         = {2005},
 title        = {Load balancing parallel explicit state model checking},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {128},
 number       = {3},
 pages        = {19--34},
 doi          = {10.1016/j.entcs.2004.10.016},
)
@inproceedings(lattner2008llvm,
 author       = {Chris Lattner},
 year         = {2008},
 title        = {{LLVM} and {Clang}: Next generation compiler technology},
 booktitle    = {The BSD Conference},
 pages        = {1--2},
)
@article(sternDillParallelMurphi,
 author       = {Ulrich Stern and David L Dill},
 year         = {2001},
 title        = {Parallelizing the Mur$\phi$ verifier},
 journal      = {Formal Methods in System Design},
 volume       = {18},
 number       = {2},
 pages        = {117--129},
 doi          = {10.1023/A:1008771324652},
)