Automatic Test Specification Generation for State-based System Testing http://127.0.0.1/xmlui/handle/123456789/8 Thu, 16 Apr 2026 21:11:59 GMT 2026-04-16T21:11:59Z Automatic Test Specification Generation for State-based System Testing http://127.0.0.1/xmlui/handle/123456789/9 Automatic Test Specification Generation for State-based System Testing Sarma, Monalisa Tue, 01 Jan 2008 00:00:00 GMT http://127.0.0.1/xmlui/handle/123456789/9 2008-01-01T00:00:00Z