BUBEN automatically generates library abstractions that enable scalable bug detection in large Java programs with I/O and complex environment. The current version of BUBEN has been tested only with Java Pathfinder.
BUBEN automatically generates library abstractions that enable scalable bug detection in large Java programs with I/O and complex environment. The current version of BUBEN has been tested only with Java Pathfinder.