projects
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| projects [2013/09/03 15:11] – pd | projects [2013/09/03 15:14] – pd | ||
|---|---|---|---|
| Line 41: | Line 41: | ||
| - | =====Hunting for Bugs in Logging: applying JPF to log4j===== | + | \\ |
| + | ======Hunting for Bugs in Logging: applying JPF to log4j====== | ||
| **Supervisor: | **Supervisor: | ||
| Line 55: | Line 56: | ||
| is to apply this extension to log4j. | is to apply this extension to log4j. | ||
| - | [1] David A. Dickey, B. Sinem Dorter, J. Michael German, | + | [1] David A. Dickey, B. Sinem Dorter, J. Michael German, Benjamin D. Madore, Mark W. Piper, Gabriel L. Zenarosa. |
| - | Benjamin D. Madore, Mark W. Piper, Gabriel L. Zenarosa. | + | |
| - | Evaluating Java PathFinder on Log4J. | + | |
| **Required Background: | **Required Background: | ||
| + | \\ | ||
| + | ------------ | ||
| \\ | \\ | ||
| \\ | \\ | ||
projects.txt · Last modified: 2016/01/13 20:05 by stevenc