Search Results for "debugger"

THIS PROJECT HAS BEEN MOVED TO GITHUB

Expect-lite is an quick and easy command line automation tool. Basic expect-lite scripts can be created by simply cutting and pasting text from a terminal window into a script, and adding '>' '<' characters. No knowledge of expect is required!

An XSL tool for testing XSDs conform to your own configurable style guidelines (e.g. tests element names conform to a regEx template); and a debugger, to convert the XML output report into HTML page to highlight problems & aid resolution.

This debugger for PHP gives you the ability to inspect and understand what is going on in your application.

OCL4Java is a pre-compiler(ant and eclipse) to include OCL-Constrains as Java5 Annotations in the Source-Code and have code to check them generated with a user-defined reaction to violations. (Does not change line-numbers for the debugger)

...We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...