Software tools:

• JSRefactor - refactoring for JavaScript
  
  
• Artemis - automated testing for JavaScript
  
  
• TAJS - type analysis for JavaScript
  
  
• MONA - an automaton-based decision procedure for monadic second-order logics
  
  
• PALE - an application of MONA for program verification
  
  
• JWIG - a Java-based high-level programming language for construction of interactive Web services
  
  
• Xact - a system for making type-safe XML transformations in Java
  
  
• Java String Analyzer - a tool for analyzing string expressions in Java
  
  
• ServletValidator - static analysis for Java Servlets
  
  
• dk.brics.automaton - an automaton/regexp library for Java
  
  
• dk.brics.grammar - a parser and ambiguity analyzer for context-free grammars
  
  
• dk.brics.schematools - tools for manipulation and validation of XML graphs and schemas written in Restricted RELAX NG or XML Schema
  
  
• DSD2 - a simple but powerful schema language for XML
  
  
• PowerForms - a declarative language for HTML form field validation
  
  
• XSugar - managing dual syntax for XML languages
  
  
• XSLV - static validation of XSL Transformations (XSLT)
  
  
• <bigwig> - the predecessor of JWIG