Removed unused package imports to improve portability
Removed the parskip, which saves plenty of space
Added missing bib style
Rewrote parts of the abstract and added todos
Pass over introduction. However, I suggest that we restructure parts of the intro and test generation section -- I will commit two new files.
Moved the paragraph about related work to the proper section.
Finished pass over introduction -- I made the intro more concise and moved the paragraphs about test quality and test generation to new sections.
Moved new background sections from introduction.tex to background.tex
Checkpoint commit of new background section.
Added new introduction and background sections to the paper; added a todo to the abstract.