@techreport(sym-ex,
 author       = {Andrei Arusoaie and Dorel Lucanu and Vlad Rusu},
 year         = {2015},
 title        = {{A Generic Framework for Symbolic Execution: Theory and Applications}},
 type         = {Research Report},
 number       = {RR-8189},
 institution  = {{Inria}},
 url          = {https://hal.inria.fr/hal-00766220},
)
@inbook(tfp14,
 author       = {Istv{\'a}n Boz{\'o} and F{\"o}rd{\H{o}}s, Vikt{\'o}ria and D{\'a}niel Horp{\'a}csi and Zolt{\'a}n Horv{\'a}th and Tam{\'a}s Kozsik and K{\H{o}}szegi, Judit and Melinda T{\'o}th},
 year         = {2015},
 title        = {TFP '14},
 chapter      = {Refactorings to Enable Parallelization},
 pages        = {104--121},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-14675-1\_7},
)
@inproceedings(referl,
 author       = {Boz\IeC{\'o}, I. and Horp\IeC{\'a}csi, D. and Horv\IeC{\'a}th, Z. and R. Kitlei and K\IeC{\H o}szegi, J. and Tejfel. M. and T\IeC{\'o}th, M},
 year         = {2011},
 title        = {{RefactorErl - Source Code Analysis and Refactoring in Erlang}},
 booktitle    = {Proceedings of SPLST'11},
 address      = {Tallin, Estonia},
 pages        = {138--148},
)
@article(Bravenboer:2005:PTS:1227247.1227253,
 author       = {Martin Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser},
 year         = {2005},
 title        = {{Program Transformation with Scoped Dynamic Rewrite Rules}},
 journal      = {Fundam. Inf.},
 volume       = {69},
 number       = {1-2},
 pages        = {123--178},
)
@article(Bravenboer200852,
 author       = {Martin Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
 year         = {2008},
 title        = {{Stratego/XT 0.17. A language and toolset for program transformation}},
 journal      = {Science of Computer Programming},
 volume       = {72},
 number       = {1\IeC{\textendash}2},
 pages        = {52 -- 70},
 doi          = {10.1016/j.scico.2007.11.003},
)
@book(CesariniThompson,
 author       = {Francesco Cesarini and Simon Thompson},
 year         = {2009},
 title        = {{Erlang Programming}},
 publisher    = {O'Reilly Media, Inc.},
)
@inproceedings(eq-corr,
 author       = {Stefan Ciob{\^a}ca},
 year         = {2014},
 title        = {{Reducing Partial Equivalence to Partial Correctness}},
 booktitle    = {Proceedings of SYNASC '14},
 organization = {IEEE},
 pages        = {164--171},
 doi          = {10.1109/SYNASC.2014.30},
)
@inproceedings(Ekman:2008:RT:1636642.1636647,
 author       = {Torbj\"{o}rn Ekman and Max Sch\"{a}fer and Mathieu Verbaere},
 year         = {2008},
 title        = {{Refactoring is Not (Yet) About Transformation}},
 booktitle    = {Proceedings of WRT '08},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {5:1--5:4},
 doi          = {10.1145/1636642.1636647},
)
@phdthesis(fredlund-thesis,
 author       = {Lars-Ake Fredlund},
 year         = {2001},
 title        = {{A Framework for Reasoning about Erlang code}},
 school       = {Royal Institute of Technology, Stockholm, Sweden},
)
@misc(k-web,
 title        = {K Framework},
 howpublished = {\url{http://www.kframework.org}},
 note         = {Accessed January, 2015},
)
@inproceedings(Leather:2014:TRS:2543728.2543734,
 author       = {Sean Leather and Johan Jeuring and Andres L\"{o}h and Bram Schuur},
 year         = {2014},
 title        = {{Type-changing Rewriting and Semantics-preserving Transformation}},
 booktitle    = {Proceedings of PEPM '14},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {109--120},
 doi          = {10.1145/2543728.2543734},
)
@inproceedings(Li:2012:DLS:2259278.2259323,
 author       = {Huiqing Li and Simon Thompson},
 year         = {2012},
 title        = {{A Domain-specific Language for Scripting Refactorings in Erlang}},
 booktitle    = {Proceedings of FASE'12},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {501--515},
 doi          = {10.1007/978-3-642-28872-2\_34},
)
@article(SMR:SMR316,
 author       = {Tom Mens and Van Eetvelde, Niels and Serge Demeyer and Dirk Janssens},
 year         = {2005},
 title        = {Formalizing refactorings with graph transformations},
 journal      = {Journal of Software Maintenance and Evolution},
 volume       = {17},
 number       = {4},
 pages        = {247--276},
 doi          = {10.1002/smr.316},
)
@incollection(Olmos05,
 author       = {Karina Olmos and Eelco Visser},
 year         = {2005},
 title        = {{Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules}},
 editor       = {Rastislav Bodik},
 booktitle    = {C{ompiler Construction}},
 series       = {LNCS},
 volume       = {3443},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {204--220},
 doi          = {10.1007/978-3-540-31985-6\_14},
)
@phdthesis(Opdyke:1992:ROF:169783,
 author       = {William F. Opdyke},
 year         = {1992},
 title        = {{Refactoring Object-oriented Frameworks}},
 school       = {University of Illinois},
)
@inproceedings(Padioleau:plos06,
 author       = {Yoann Padioleau and Ren{\'e} Rydhof Hansen and Julia L. Lawall and Gilles Muller},
 year         = {2006},
 title        = {Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers},
 booktitle    = {Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems},
 series       = {PLOS '06},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {10},
 doi          = {10.1145/1215995.1216005},
)
@phdthesis(Roberts:1999:PAR:929806,
 author       = {Donald Bradley Roberts},
 year         = {1999},
 title        = {{Practical Analysis for Refactoring}},
 school       = {University of Illinois},
)
@inproceedings(one-path-rl,
 author       = {G. Rosu and A. Stefanescu and Ciob\IeC{\^a}ca, S. and B. M. Moore},
 year         = {2013},
 title        = {One-Path Reachability Logic},
 booktitle    = {Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on},
 pages        = {358--367},
 doi          = {10.1109/LICS.2013.42},
)
@article(Schaefer:2010:SIR:1932682.1869485,
 author       = {Max Schaefer and Oege de Moor},
 year         = {2010},
 title        = {{Specifying and Implementing Refactorings}},
 journal      = {SIGPLAN Not.},
 volume       = {45},
 number       = {10},
 pages        = {286--301},
 doi          = {10.1145/1932682.1869485},
)
@inproceedings(all-path-rl,
 author       = {{\c{S}}tef{\u{a}}nescu, Andrei and Ciob{\^a}c{\u{a}}, {\c{S}}tefan and Radu Mereuta and Brandon M. Moore and {\c{S}}erb{\u{a}}nut{\u{a}}, Traian Florin and Ro{\c{s}}u, Grigore},
 year         = {2014},
 title        = {{All-Path Reachability Logic}},
 booktitle    = {Proceedings of RTA-TLCA'14},
 series       = {LNCS},
 volume       = {8560},
 publisher    = {Springer},
 pages        = {425--440},
 doi          = {10.1007/978-3-319-08918-8\_29},
)
@inproceedings(ver-ref-sultana,
 author       = {Nik Sultana and Simon Thompson},
 year         = {2008},
 title        = {{Mechanical Verification of Refactorings}},
 booktitle    = {Proceedings of PEPM '08},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {51--60},
 doi          = {10.1145/1328408.1328417},
)
@inproceedings(Toth:2011:SAC:2363407.2363416,
 author       = {Melinda T\'{o}th and Istv\'{a}n Boz\'{o}},
 year         = {2012},
 title        = {{Static Analysis of Complex Software Systems Implemented in Erlang}},
 booktitle    = {Proceedings of CEFP'11},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {440--498},
 doi          = {10.1007/978-3-642-32096-5\_9},
)
@inproceedings(Verbaere:2006:JSL:1134285.1134311,
 author       = {Mathieu Verbaere and Ran Ettinger and Oege de Moor},
 year         = {2006},
 title        = {{JunGL: A Scripting Language for Refactoring}},
 booktitle    = {Proceedings of ICSE '06},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {172--181},
 doi          = {10.1145/1134285.1134311},
)