Gregory M. Kapfhammer

Richard Geary

Edwards Hall
x3094
Box 1239

richardgeary.com
gearyr@allegheny.edu

setenv JUGG /home/geary/cs290/research/juggernaut/tools/java/thinlet/src:
/home/geary/cs290/research/juggernaut/tools/java/thinlet/lib/thinlet.jar:
/home/geary/cs290/research/juggernaut/src/junit3.7/junit.jar:
/home/geary/cs290/research/juggernaut/src/junit3.7:
/home/geary/cs290/research/juggernaut/tools/java/jakarta-log4j-1.2.6/dist/lib/log4j-1.2.6.jar:
/home/geary/cs290/research/juggernaut/tools/java/soot-1.2.3/soot/classes/:
/home/geary/cs290/research/juggernaut/tools/java/soot-1.2.3/soot/jasmine/classes/:
/usr/local/j2sdk1.4.0/jre/lib/rt.jar:.

---

Links to this Page

• Introduction to Software Engineering last edited on 30 August 2004 at 1:12 pm by aldenv28.allegheny.edu
• Will There Ever Be Software Engineering? last edited on 12 May 2003 at 1:56 pm by alden28.alleg.edu
• Software Engineering Programs are Not Computer Science Programs last edited on 12 May 2003 at 1:57 pm by alden28.alleg.edu
• Chapter 10: A Quick Overview last edited on 12 May 2003 at 2:02 pm by alden28.alleg.edu
• A Specificier's Introduction to Formal Methods last edited on 27 September 2004 at 10:55 am by aldenv28.allegheny.edu
• Chapter Five: Bend, or Break last edited on 15 October 2004 at 4:16 pm by aldenv28.allegheny.edu
• Behavioral Contracts and Behavioral Subtyping last edited on 2 June 2003 at 6:28 pm by alden3.alleg.edu
• Java Virtual Machine Profiler Interface last edited on 25 April 2003 at 2:20 pm by m6.futureshop.com
• Performing Data Flow Testing on Classes last edited on 25 November 2002 at 11:47 pm by res960.alleg.edu
• Generating Software Test Data by Evolution last edited on 11 December 2002 at 12:21 pm by res137.alleg.edu
• Lab One, Group Four: Brian Smyth and Richard Geary last edited on 11 September 2002 at 4:42 pm by alden101.alleg.edu
• Course Register last edited on 10 February 2003 at 3:46 pm by 65.209.94.133
• Laboratory Two Discussion last edited on 24 September 2002 at 4:23 pm by alden3.alleg.edu
• Laboratory Three, Group Two: Matthew DeNapoli and Richard Geary last edited on 10 October 2002 at 2:31 pm by alden106.alleg.edu