navigation
search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
vv-lab:publications [2020/01/14 18:13] egm [Ph.D. Dissertations] |
vv-lab:publications [2020/01/14 18:17] (current) egm [M.S. Theses] |
||
|---|---|---|---|
| Line 71: | Line 71: | ||
| ==M.S. Theses== | ==M.S. Theses== | ||
| + | * Jane Ostegar Linn. [https://scholarsarchive.byu.edu/etd/6666/ A Coverage Metric to Aid in Testing Multi-Agent Systems]. Brigham Young University, 2017. | ||
| + | * Blake Johnson. [https://scholarsarchive.byu.edu/etd/5722/ Enabling Optimizations Through Demodularization]. Brigham Young University, 2016. | ||
| + | * Radha Nakade. [https://scholarsarchive.byu.edu/etd/6176/ Verification of Task Parallel Programs Using Predictive Analysis]. Brigham Young University, 2016. | ||
| * Eric Noonan. [http://scholarsarchive.byu.edu/etd/4147/ Slice-N-Dice Algorithm Implementation in JPF], Brigham Young University, 2014. | * Eric Noonan. [http://scholarsarchive.byu.edu/etd/4147/ Slice-N-Dice Algorithm Implementation in JPF], Brigham Young University, 2014. | ||
| * Saint Wesonga. [http://contentdm.lib.byu.edu/cdm/ref/collection/ETD/id/3430 Javalite - An Operational Semantics for Modeling Java Programs], Brigham Young University, 2012. | * Saint Wesonga. [http://contentdm.lib.byu.edu/cdm/ref/collection/ETD/id/3430 Javalite - An Operational Semantics for Modeling Java Programs], Brigham Young University, 2012. | ||
