Search Results for "finite element in java"

Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs. Please see http://korat.sourceforge.net/index.html for more information on the Korat application. Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has information to download, install and run Korat 2015.

This is a clone of the "normal" xpath asserter and extractor for jmeter. The improvment, which, at least, is essential to me, is that you can define the namespace prefixes locally in the test element (asserter or extractor).

Presents a proposal to employ use cases to estimate the test effort and to create a finite state machine for model-based test case generation.

Java library for matching XML documents with templates. Features: Regular Expressions on element level, Javascript-based assertions, tolerances, patterns, and more. Designed for automated validation of APIs that produce rich XML data.

FSMExplorer - Finite State Machine Explorer after reading specification of N FSM entities, generates available states for this FSM.

Tool for generete testcasesPresents a proposal to employ use cases to estimate the test effort and to create a finite state machine for model-based test case generation.