Ballista: Scalable Test Generation

• Only 20 data types for 233 POSIX function calls

Previous slide

Next slide

Back to first slide

View graphic version