Testing Java Virtual Machines

The Java Virtual Machine (JVM) relies on a large and complex software base for its security and integrity, making it difficult to test and verify. Traditional testing techniques are time consuming, expensive, and imprecise. Emin Gun Sirer discusses his experiences with automatically testing JVMs. Learn three practical and effective automated techniques for testing. Observe the security flaws uncovered by each technique with examples from commercial JVMs.