Search Results for "research"

This benchmark suite is intend as a tool for the research community. It consists of a set of open source, real world applications with non-trivial memory loads.

Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode....

...Please cite this if you find it useful:- Siraj, S., Mikhailov, L. and Keane, J. A. (2015), "PriEsT: an interactive decision support tool to estimate priorities from pairwise comparison judgments". International Transactions in Operational Research. 22: 217–235. doi:10.1111/itor.12054

**NOTE**: The WALA project is now hosted at https://github.com/wala/WALA; the latest source code and updates are available there. The code here on Sourceforge is highly out of date and unsupported. The T. J. Watson Libraries for Analysis (WALA) provide program analysis capabilities for Java bytecode and related languages. The WALA libraries constitute an open-source release of parts of IBM Research's DOMO analysis infrastructure.

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.

THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/

jHelpDesk is a simple, flexible and extremely easy to use software for supporting company's helpdesk team.

Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.

It is a part of the research project ATCC developed in Parallels-NSU lab. Here you can find selenium_manager and remote_agent applications. They work with SeleniumRC Jenkins plugin.

Automated Fuzztests for JUnit

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

Quality of Web Services (QoWS) workbench is a service design workbench, which supports QoS analysis. It provides functionalities to analyze service compositions and their non-functional requirements in the early stages of development.

Eclipse-based software that enables the quality analysis and performance evaluation for the models of business processes (BPEL and BPMN).

WebAPSEE is an open source project which aims to provide automated support for software process management. The users list is: http://groups.google.com/group/webapsee-usuarios

Data generator tool which supports many data types (primitive data types,but also names,addresses,post codes,etc.) and generates data in various formats (text,xml,db).It provides a GUI and is extensible by means of plugging-in new data-generator classes.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.

ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured clases as well as unreferenced classes/jars. ClasspathHelper can model most classloading scenarios.

ASLA (Automated software license analyzer) is a tool for finding and identifying licenses of existing software packages.

The SE TestManager is a tool to manage manual tests (e.g. behavior of GUI applications) in the software development process. You can create test cases and structure them in a tree. The SE TestManager guides you through the test and generates a PDF report

MuLATo is a Java application for collecting metrics from programs written in several languages. The core module provides parsers for Java, AspectJ and CaesarJ programs and can be extended for other languages. Currently, the GUI is being developed as an E

Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).

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.