Fujitsu Develops world's first core technology for automatic verification of Java-based practical-use web applications
...conceivable test scenarios
Newly Developed Technology
In order to overcome these difficulties, building on formal verification that had been conventionally used for small-scale programs, Fujitsu Laboratories developed new technology that enables automatic and exhaustive testing of large practical-use Java-based web applications to verify...
