From 0995c30ba35ed4aebb07c29369c2fdf820c8db28 Mon Sep 17 00:00:00 2001 From: Jean Yang Date: Thu, 4 Dec 2008 17:49:03 -0500 Subject: [PATCH] margins? --- writeup/conclusion.tex | 2 +- writeup/fp_writeup.tex | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/writeup/conclusion.tex b/writeup/conclusion.tex index a1a1714..76fe43f 100644 --- a/writeup/conclusion.tex +++ b/writeup/conclusion.tex @@ -7,4 +7,4 @@ Through examining cluster contents and parameters of the Markov Chains, we deter The results of this work has many applications. Given that we know that there are common use cases of an API, we could generate a useful set of example use cases for the programmer. We could also use this information in code synthesis: knowing about different usage modes, and perhaps about the common cases, could greatly optimize the search space. This information is also useful in test generation: we might be able to predict interactions with the code we write and make sure our code is robust to those cases. -If there had been no time constraints, we would have loved to look closely at other libraries, constructed traces from more programs, and used variations in classification such as collapsing repeated states into a single states or a set of states and handling variable length clusters in a more clever way. +If there had been no time constraints, we would have loved to look closely at other libraries, construct traces from more programs, and use variations in classification such as collapsing repeated states into a single states or a set of states and handling variable length clusters in a more clever way. diff --git a/writeup/fp_writeup.tex b/writeup/fp_writeup.tex index 4b05d82..df09923 100644 --- a/writeup/fp_writeup.tex +++ b/writeup/fp_writeup.tex @@ -1,5 +1,5 @@ \documentclass[11pt]{article} -\usepackage[margin=1.5cm]{geometry} +\usepackage[margin=1.75cm]{geometry} \usepackage{amsmath,amsthm,amssymb} \usepackage{graphicx} \usepackage{color} -- 2.11.4.GIT