@mastersthesis{Bruning2013,
  title = {Separate Compilation as a Separate Concern: A Framework for Language-Independent Selective Recompilation},
  author = {Nathan Bruning},
  year = {2013},
  researchr = {https://researchr.org/publication/Bruning2013},
  cites = {0},
  citedby = {0},
  advisor = {Eelco Visser},
}

@techreport{bruning-applying,
  title = {Applying Extended Resolution and Forced Patterns on Random 3-SAT instances},
  author = {Nathan Bruning and Tim Koopman and  Siem Kok and  Joris Scharpff and  Jip-Man Vuong},
  year = {2009},
  month = {02},
  tags = {testing, random testing},
  researchr = {https://researchr.org/publication/bruning-applying},
  cites = {11},
  citedby = {0},
  institution = {Delft University of Technology},
}