Software

We are software engineers, and enjoy creating software. Much of our research results in tools that are available for download, often under an open source license, or in tools that run as a service. Below is a list of first important releases for these tools. Many of them are under active maintenance: follow the URL to see the latest versions, as well as additional documentation concerning the tool in question.

Software From SERG

2012

• T. Espinha, C. Chen. Spicy Stonehenge: Simulation of the stock market using web services.

2011

• Felienne Hermans. Breviz: Spreadsheet Analytics.
• Anja Guzzi and Lile Hatori. Pollicino: an Eclipse plug-in that brings a simple, effective, and non-intrusive solution for bookmarking your code.
• C. Pronk. EpiSpin: An Eclipse Plug-in for Spin/Promela using Spoofax.
• E. Piel. SOFL: a software system simulator for online fault localisation.
• V. Hurdugaci and A. Zaidman. TestNForce: a unit test management plug-in for Visual Studio.

2010

• Anja Guzzi. James: Micro-Blogging in the IDE.
• A. Mesbah, S. Lenselink, F. Groeneveld, D. Roest, and A. van Deursen. Crawljax 2.0: Automated testing of Ajax Applications.
• S.D. Vermolen. YellowGrass.org: The Tag-Based Issue Tracker
• M. Pinzger. SNAnalyzer: a tool to navigate developer contribution information obtained from CVS repositories.
• E. Piel and A. Gonzalez-Sanchez. Atlas: a component framework with enhanced testing capabilities.
• N. Matthijssen and A. Zaidman. FireDetective: a dynamic analysis tool that helps to understand Ajax applications.
• E. Visser. Researchr: a web application for finding, collecting, sharing, and reviewing scientific publications http://researchr.org

2009

• S.D. Vermolen. Acoda: A tool set for automatically migrating data(bases) along an evolving data model
• M. Pinzger. DA4Java: An Eclipse plug-in for visualizing and analyzing Java source code, 2009. http://swerl.tudelft.nl/bin/view/MartinPinzger/MartinPinzgerDA4Java
• M. de Wit and A. Zaidman. CloneBoard: An Eclipse plug-in for code clone management, 2009. http://swerl.tudelft.nl/bin/view/Main/CloneBoard
• L. Kats. Aster: An attribute grammar system based on Stratego, 2009. http://strategoxt.org/Stratego/Aster

2008

• R. Voets and B. Cornelissen. JRET: Java Reverse Engineering Tool. Eclipse plugin, 2008. http://sourceforge.net/projects/jret/
• B. Cornelissen. Reduction: large traces & trace reduction techniques, 2008. http://swerl.tudelft.nl/bin/view/Main/TraceRepos
• R. van Rijst and M. Marin. SAIR: A Sort-based Aspect-Introducing Refactoring tool. Eclipse plugin, 2008. http://swerl.tudelft.nl/bin/view/AMR/SAIR
• A. Mesbah and A. van Deursen. ATUSA: Automated Testing of Ajax User Interfaces, 2008. http://spci.st.ewi.tudelft.nl/atusa/
• E. Bozdag and A. Mesbah. CHIRON: A Distributed Automated Performance Testing Framework for AJAX Applications, 2008. http://spci.st.ewi.tudelft.nl/chiron/
• A. Zaidman and B. van Rompaey. TeMo: A system for monitoring test co-evolution, 2008. http://swerl.tudelft.nl/bin/view/Main/TestHistory
• L. Kats. Spoofax/IMP: Integrating integrating SDF and Stratego/XT into Eclipse, 2008. http://strategoxt.org/Stratego/Spoofax-IMP
• E. Dolstra. Nix: A Purely Functional Package Manager, 2008. http://nixos.org/releases/nix/nix-0.12/
• E. Dolstra et al. NixOS: A Linux distribution based on Nix, 2008. http://nixos.org/nixos/
• E. Dolstra et al. NixPkgs: A Collection of package descriptions for hundreds of existing Unix components, 2008. http://nixos.org/releases/nixpkgs/nixpkgs-0.12/
• E. Dolstra and E. Visser. Hydra: A Nix-based continuous build system, 2008. http://hydra.nixos.org/

2007

• E. Visser et al. WebDSL: a domain-specific language for construction of web applications, 2007. http://webdsl.org/
• E. Visser, M. Bravenboer, R. Vermaas, K. Trygve Kalleberg. Stratego/XT: A language and toolset for program transformation, 2007. http://strategoxt.org/
• M. Bravenboer, E. Dolstra, and E. Visser. StringBorg: A Language-Independent Tool Chain to Prevent Injection Attacks, 2007. http://strategoxt.org/Stratego/StringBorg
• L. Kats. The Dryad Compiler: A compiler for a language formed by the mixture of Java and bytecode, 2007, http://strategoxt.org/Stratego/TheDryadCompiler
• A. Mesbah and A. van Deursen. CRAWLJAX: Crawling Ajax Applictions, 2007. http://spci.st.ewi.tudelft.nl/crawljax
• M. Marin. SoQueT: The Sort Querying Tool for Documenting Crosscutting COncerns in Source Code. Eclipse plugin, 2007. http://swerl.tudelft.nl/bin/view/AMR/SoQueT
• D. Holten and B. Cornelissen. EXTRAVIS: A Tool for Execution Trace Visualization, 2007. http://www.win.tue.nl/~dholten/extravis/
• B. Graaf. UMLSD2STMD: Deriving Statemachine Diagrams from UML Sequence Diagrams. ATL Zoo, 2007, http://www.eclipse.org/m2m/atl/atlTransformations/#UMLSD2STMD

2006

• A. Feldman and A.J.C. van Gemund: LYDIA: A Language for sYstem DIAgnosis. 2006, http://www.fdir.org/lydia/

2005

• M. Marin. FINT: The Fan-In Tool for Aspect Mining. Eclipse plugin, 2005. http://swerl.tudelft.nl/bin/view/AMR/FINT

2004

• A. van Deursen and J. Visser. JJTraveler: generic visitor combinators for Java. CWI & Delft University of Technology, 2004. http://www.meta-environment.org/releases/

Other Software

Next to downloadable software, we created various tools that are available upon request from the authors:

• R. Abreu. Staccato: A statistics-directed algorithm to compute the minimal hitting set, 2009
• A. Mesbah. RETJAX: Reverse Engineering Classic HTML sites to Ajax, 2007.
• M. Lormans: ReqAnalyst: A tool for monitoring requirements views, 2006.
• C. Boogerd and L. Moonen. ELAN: An Execution Likelihood Analyzer for C, 2006.