Search Results for "education software"

This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated...

NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifier, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.

SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code in the background and warns a developer about potential software security vulnerabilities.

IntelliGrader is an autograder generation framework for use in automatically grading java programs. The primary audience is professors and TAs in introductory CS courses using Java. Secondary audiences could possibly include highschool AP CS teachers.

Testpilot is a browser based unit testing framework for testing websites. With it you can record the keystrokes and mouse events for a session and play them back automatically. You can include assertions for values in inputs DIVs or JavaScript variables.

This is a academic purpose software for students implement a Shop basic software at FAGOC, Brazil - MG.