--- a/testcases/process.html	Thu Nov 29 15:26:57 2012 +0000
+++ b/testcases/process.html	Thu Nov 29 16:25:31 2012 +0000
@@ -2215,7 +2215,7 @@
 <h3>PROV-O Test Cases</h3>
 
 <table border="1" cellspacing="0" cellpadding="5" id="table-provo-testcases">
-  <caption>Table 3. Test cases from [[PROV-O]] examples</caption>
+  <caption>Table 4. Test cases from [[PROV-O]] examples</caption>
   <tr>
     <td><b>Identifier</b></td>
     <td><b>Download links</b></td>
@@ -2874,6 +2874,325 @@
 
 </section>
 
+<section class="appendix">
+
+<h2>Constraint Coverage</h2>
+
+<table border=1 cellpadding=5 cellspacing=0>
+<caption>Table 5. Constraint coverage by unit test cases</caption>
+<tr>
+<th>Identifier</th>
+<th>Pass Test Cases</th>
+<th>Fail Test Cases</th>
+</tr>
+<tr>
+<td>22</td>
+<td>unification-activity-s1-PASS-c22<br>
+unification-activity-s2-PASS-c22<br>
+unification-activity-s3-PASS-c22<br>
+unification-activity-s4-PASS-c22<br>
+unification-attributes-activity-s1-PASS-c22<br>
+unification-attributes-entity-s1-PASS-c22</td>
+<td></td>
+</tr>
+<tr>
+<td>23</td>
+<td>unification-association-s1-PASS-c23<br>
+unification-association-s2-PASS-c23<br>
+unification-association-s3-PASS-c23<br>
+unification-association-s4-PASS-c23<br>
+unification-association-s5-PASS-c23<br>
+unification-attributes-end-s1-PASS-c23<br>
+unification-attributes-end-s2-PASS-c23<br>
+unification-attributes-start-s1-PASS-c23<br>
+unification-attributes-start-s2-PASS-c23<br>
+unification-attribution-s1-PASS-c23<br>
+unification-attribution-s2-PASS-c23<br>
+unification-attribution-s3-PASS-c23<br>
+unification-attribution-s4-PASS-c23<br>
+unification-communication-s1-PASS-c23<br>
+unification-communication-s2-PASS-c23<br>
+unification-communication-s3-PASS-c23<br>
+unification-communication-s4-PASS-c23<br>
+unification-delegation-s1-PASS-c23<br>
+unification-delegation-s2-PASS-c23<br>
+unification-delegation-s3-PASS-c23<br>
+unification-delegation-s4-PASS-c23<br>
+unification-delegation-s5-PASS-c23<br>
+unification-derivation-s1-PASS-c23<br>
+unification-derivation-s2-PASS-c23<br>
+unification-derivation-s3-PASS-c23<br>
+unification-derivation-s4-PASS-c23<br>
+unification-derivation-s5-PASS-c23<br>
+unification-end-s5-PASS-c23-c27<br>
+unification-end-s6-PASS-c23-c27<br>
+unification-generation-s1-PASS-c23<br>
+unification-generation-s2-PASS-c23<br>
+unification-generation-s5-PASS-c23<br>
+unification-generation-s6-PASS-c23<br>
+unification-generation-s7-PASS-c23-c24<br>
+unification-generation-s8-PASS-c23-c24<br>
+unification-influence-s1-PASS-c23<br>
+unification-invalidation-s1-PASS-c23<br>
+unification-invalidation-s2-PASS-c23<br>
+unification-invalidation-s5-PASS-c23<br>
+unification-invalidation-s6-PASS-c23<br>
+unification-invalidation-s7-PASS-c23-c25<br>
+unification-invalidation-s8-PASS-c23-c25<br>
+unification-start-s5-PASS-c23-c26<br>
+unification-start-s6-PASS-c23-c26<br>
+unification-start-s7-PASS-c23-c26<br>
+unification-start-s8-PASS-c23-c26<br>
+unification-start-s9-PASS-c23-c26<br>
+unification-usage-s1-PASS-c23<br>
+unification-usage-s2-PASS-c23<br>
+unification-usage-s5-PASS-c23<br>
+unification-usage-s6-PASS-c23<br>
+unification-usage-s7-PASS-c23<br>
+unification-usage-s8-PASS-c23</td>
+<td>unification-association-f1-FAIL-c23<br>
+unification-association-f2-FAIL-c23<br>
+unification-association-f3-FAIL-c23<br>
+unification-association-f4-FAIL-c23<br>
+unification-association-f5-FAIL-c23<br>
+unification-delegation-f1-FAIL-c23<br>
+unification-delegation-f2-FAIL-c23<br>
+unification-delegation-f3-FAIL-c23<br>
+unification-derivation-f1-FAIL-c23<br>
+unification-derivation-f2-FAIL-c23<br>
+unification-derivation-f3-FAIL-c23<br>
+unification-derivation-f4-FAIL-c23<br>
+unification-end-f1-FAIL-c23<br>
+unification-end-f2-FAIL-c23<br>
+unification-end-f3-FAIL-c23<br>
+unification-end-f5-FAIL-c23<br>
+unification-generation-f2-FAIL-c23<br>
+unification-generation-f3-FAIL-c23<br>
+unification-generation-f4-FAIL-c23<br>
+unification-generation-f5-FAIL-c23<br>
+unification-generation-f6-FAIL-c23<br>
+unification-generation-f7-FAIL-c23<br>
+unification-invalidation-f2-FAIL-c23<br>
+unification-invalidation-f3-FAIL-c23<br>
+unification-invalidation-f4-FAIL-c23<br>
+unification-invalidation-f5-FAIL-c23-c25<br>
+unification-invalidation-f6-FAIL-c23-c25<br>
+unification-invalidation-f7-FAIL-c23-c25<br>
+unification-start-f1-FAIL-c23<br>
+unification-start-f2-FAIL-c23<br>
+unification-start-f3-FAIL-c23<br>
+unification-start-f5-FAIL-c23<br>
+unification-start-f6-FAIL-c23<br>
+unification-start-f7-FAIL-c23<br>
+unification-start-f8-FAIL-c23<br>
+unification-usage-f2-FAIL-c23<br>
+unification-usage-f3-FAIL-c23<br>
+unification-usage-f4-FAIL-c23<br>
+unification-usage-f5-FAIL-c23<br>
+unification-usage-f6-FAIL-c23<br>
+unification-usage-f7-FAIL-c23</td>
+</tr>
+<tr height=36 >
+<td height=36>24</td>
+<td>unification-generation-s3-PASS-c24<br>
+unification-generation-s7-PASS-c23-c24<br>
+unification-generation-s8-PASS-c23-c24</td>
+<td>unification-generation-f1-FAIL-c24</td>
+</tr>
+<tr height=48 >
+<td height=48>25</td>
+<td>unification-invalidation-s3-PASS-c25<br>
+unification-invalidation-s7-PASS-c23-c25<br>
+unification-invalidation-s8-PASS-c23-c25</td>
+<td>unification-invalidation-f1-FAIL-c25<br>
+unification-invalidation-f5-FAIL-c23-c25<br>
+unification-invalidation-f6-FAIL-c23-c25<br>
+unification-invalidation-f7-FAIL-c23-c25</td>
+</tr>
+<tr height=108 >
+<td height=108>26</td>
+<td>unification-start-s1-PASS-c26<br>
+unification-start-s2-PASS-c26<br>
+unification-start-s3-PASS-c26<br>
+unification-start-s4-PASS-c26<br>
+unification-start-s5-PASS-c23-c26<br>
+unification-start-s6-PASS-c23-c26<br>
+unification-start-s7-PASS-c23-c26<br>
+unification-start-s8-PASS-c23-c26<br>
+unification-start-s9-PASS-c23-c26</td>
+<td>unification-start-f4-FAIL-c26</td>
+</tr>
+<tr height=72 >
+<td height=72>27</td>
+<td>unification-end-s1-PASS-c27<br>
+unification-end-s2-PASS-c27<br>
+unification-end-s3-PASS-c27<br>
+unification-end-s4-PASS-c27<br>
+unification-end-s5-PASS-c23-c27<br>
+unification-end-s6-PASS-c23-c27</td>
+<td>unification-end-f4-FAIL-c27</td>
+</tr>
+<tr height=12 >
+<td height=12>28</td>
+<td>unification-activity-start-s1-PASS-c28</td>
+<td>unification-activity-start-f1-FAIL-c28</td>
+</tr>
+<tr height=12 >
+<td height=12>29</td>
+<td>unification-activity-end-s1-PASS-c29</td>
+<td>unification-activity-end-f1-FAIL-c29</td>
+</tr>
+<tr height=12 >
+<td height=12>30</td>
+<td>ordering-activity1-PASS-c30</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>31</td>
+<td>ordering-activity4-PASS-c31</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>32</td>
+<td>ordering-activity5-PASS-c32</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>33</td>
+<td>ordering-activity2-PASS-c33</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>34</td>
+<td>ordering-activity3-PASS-c34</td>
+<td></td>
+</tr>
+<tr height=24 >
+<td height=24>36</td>
+<td>ordering-entity1-PASS-c36-c37-c38<br>
+ordering-entity2-PASS-c36</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>37</td>
+<td>ordering-entity1-PASS-c36-c37-c38</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>38</td>
+<td>ordering-entity1-PASS-c36-c37-c38</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>39</td>
+<td>ordering-entity3-PASS-c39</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>40</td>
+<td>ordering-entity4-PASS-c40</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>41</td>
+<td>ordering-derivation3-PASS-c41-c42</td>
+<td></td>
+</tr>
+<tr height=36 >
+<td height=36>42</td>
+<td>ordering-derivation1-PASS-c42<br>
+ordering-derivation3-PASS-c41-c42<br>
+ordering-specialization3-PASS-c42-c45</td>
+<td>ordering-derivation2-FAIL-c42<br>
+ordering-specialization4-FAIL-c42-c45</td>
+</tr>
+<tr height=12 >
+<td height=12>43</td>
+<td>ordering-starts1-PASS-c43</td>
+<td></td>
+</tr>
+<tr height=12 >
+<td height=12>44</td>
+<td>ordering-ends1-PASS-c44</td>
+<td></td>
+</tr>
+<tr height=24 >
+<td height=24>45</td>
+<td>ordering-specialization1-PASS-c45<br>
+ordering-specialization3-PASS-c42-c45</td>
+<td>ordering-specialization4-FAIL-c42-c45</td>
+</tr>
+<tr height=12 >
+<td height=12>46</td>
+<td>ordering-specialization2-PASS-c46</td>
+<td></td>
+</tr>
+<tr height=24 >
+<td height=24>47</td>
+<td>ordering-association1-PASS-c47<br>
+ordering-association2-PASS-c47</td>
+<td></td>
+</tr>
+<tr height=24 >
+<td height=24>48</td>
+<td>ordering-attribution1-PASS-c48<br>
+ordering-attribution2-PASS-c48</td>
+<td></td>
+</tr>
+<tr height=24 >
+<td height=24>49</td>
+<td>ordering-delegation1-PASS-c49<br>
+ordering-delegation2-PASS-c49</td>
+<td></td>
+</tr>
+<tr height=24 >
+<td height=24>52</td>
+<td></td>
+<td>unification-specialization-f3-FAIL-c52<br>
+unification-specialization-f4-FAIL-c52</td>
+</tr>
+<tr height=12 >
+<td height=12>53</td>
+<td></td>
+<td>type-f4-FAIL-c53</td>
+</tr>
+<tr height=12 >
+<td height=12>54</td>
+<td></td>
+<td>type-f3-FAIL-c54</td>
+</tr>
+<tr height=36 >
+<td height=36>55</td>
+<td></td>
+<td>type-f1-FAIL-c55<br>
+type-f2-FAIL-c55<br>
+unification-bundle-f1-FAIL-c55-c56</td>
+</tr>
+<tr height=24 >
+<td height=24>56</td>
+<td></td>
+<td>type-collection-FAIL-c56<br>
+unification-bundle-f1-FAIL-c55-c56</td>
+</tr>
+<tr height=132 >
+<td height=132 >DM</td>
+<td></td>
+<td>unification-association-f6-FAIL-DM<br>
+unification-attribution-f1-FAIL-DM<br>
+unification-attribution-f2-FAIL-DM<br>
+unification-communication-f1-FAIL-DM<br>
+unification-communication-f2-FAIL-DM<br>
+unification-delegation-f6-FAIL-DM<br>
+unification-influence-f1-FAIL-DM<br>
+unification-influence-f2-FAIL-DM<br>
+unification-membership-f1-FAIL-DM<br>
+unification-specialization-f1-FAIL-DM<br>
+unification-specialization-f2-FAIL-DM</td>
+</tr>
+</table>
+
+</section>
+
 </body>
 
 </html>