 |
|
- Berger, Felix: A test and verification environment for Java programs, Diploma Thesis No. 23, 2006.
- Bischoff, Bastian: Wortbegrenzung unter Involution, Diploma Thesis No. 3095, 2010.
- Heinemann, Lars: Unit testing in a large scale development environment, Diploma Thesis No. 4, 2005.
- Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diploma Thesis No. 2284, 2005.
- Sieweck, Philipp: SAT Solving mit GPU Unterstützung, Diploma Thesis No. 3289, 2012.
- Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diploma Thesis No. 3094, 2010.
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice