|IDATAG ||1998||It supports both the specification of the behavior of a user interface and the generation of two types of test case for GUI coverage and for checking the usability of the application.|
|SOSTEM ||2000||It is designed using SOFL and implemented using Java. It supports five functionalities: generation of proof obligations, interactive testing, batch testing, test results analysis, and test information management.|
|AsmL ||2003||It supports the generation of parameters, call sequences, and the conduction of conformance tests. The tool performs a semi-automatic approach, requiring a user to annotate models with information for generating tests.|
|DUTF ||2005||It assists in the construction of test cases for DSL programs. Failed test cases reported within the DUTF reveal the presence of a program fault.|
|STSC ||2005||The “STSC” prototype tool supports the statistical testing of software components. It supports a wide range of operational profiles and test oracles for test case generation and output evaluation.|
|JTest ||2006||It can automatically generates test inputs to perform white-box testing. When specifications are provided with the class, Jtest can make use of them to perform black-box testing.|
|COMPTest ||2006||It is a component test tool that can be used to automatically identify component-based API changes and impacts, as well as reusable test cases in a component test suite.|
|SimC ||2006||It is a prototype tool, which automatically generates test data for unit testing of C programs involving pointer and structure operations. The tool symbolically simulates the execution of the given program.|
|Taxi ||2007||It implements the XML-based Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema.|
|Websob ||2007||It is a tool for automatically generating and executing web-service requests given a service provider’s Web Service Description Language (WSDL) specification.|
|Korat ||2007||Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.|
|ATTEST ||2007||It is a toolkit to address problems in test automation and maintenance. It provides easy-to-use mechanisms for helping testers to write and maintain automated test scripts through describing system behaviors at a high abstract level.|
|TaRGeT ||2007||It is a tool for automatic test case generation from use case scenarios written in natural language. It automates a systematic approach for dealing with requirements and test artifacts in an integrated way.|
|CodeGenie ||2007||It is a tool that implements a test-driven approach to search and reuse of code available on large-scale code repositories. With it, developers design test cases for a desired feature first.|
|Jwalk ||2007||It is a unit-testing tool developed to address the need for systematic unit testing within the context of agile methods.|
|Smart ||2007||It is a novel approach for generating tests for web services. It enables non-programmers to generate unit test cases for web services by performing drag-and-drop operations on GUI elements.|
|UnITeD ||2008||It enables the automatic generation of optimized component test sets from UML behavioral description by state machines or activity diagrams according to structural model-based testing criteria.|
|AgitarOne ||2008||It is a comprehensive unit testing product for Java. It can use run-time feedback and limited on-the-fly static analysis to generate input data or creates regression tests using constraint solving and mock objects.|
|REST ||2008||It is a Reducing Effort in Script-based Testing for guiding test personnel through changes in test scripts so that they can use these modified scripts to test new versions of their respective GAPs.|
|JUnitMX ||2009||It is a unit testing tool that leverages a change model to assist developers in the creation of new unit tests. The tool provides quantitative feedback and detailed information about change effects.|
|WebDiff ||2010||It is a technique and tool for detecting cross-browser issues automatically and reporting the locations of such issues in the corresponding web page.|
|CoGenTe ||2010||It is a tool for meta-model based testing of code generators. It generates test cases to cover the syntatic aspects of a translation and complex semantic aspects.|
|TED ||2010||It enables integrated testing and debbuging of software stack and underlying hardware while providing more flexibility and control to user.|
|AutoBlackTest ||2011||It is a tool for automatic generation of test cases for interactive application. It interacts with the application though its GUI, and uses reinforcement learning techniques to understand the interaction modalities.|
 S. Liut, T. Fukuzakit, and K. Miyamoto, “A GUI and testing tool for SOFL,” 7th Asia-Pacific Software Engineering Conference (APSEC’00), no. 11694173, pp. 421–425, 2000.
 T. Xie and D. Notkin, “Tool-assisted unit-test generation and selection based on operational abstractions,” 21st IEEE International Conference on Automated Software Engineering (ASE 2006), vol. 13, no. 3, pp. 345–371, 2006.
 Z. Xu and J. Zhang, “A Test Data Generation Tool for Unit Testing of C Programs,” 6th International Conference on Quality Software (QSIC’06), pp. 107–116, 2006.
 A. J. H. Simons, “JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction,” 22nd IEEE International Conference on Automated Software Engineering (ASE 2006), vol. 14, no. 4, pp. 369–418, 2007.
 B. Daniel and M. Boshernitsan, “Predicting Effectiveness of Automatic Testing Tools,” 23rd IEEE/ACM International Conference on Automated Software Engineering, pp. 363– 366, 2008.
 S.Choudhary, H.Versee, and A.Orso,“ACross-browser Web Application Testing Tool,” in Software Maintenance (ICSM), 2010 IEEE International Conference on, 2010, pp. 1–6.
 A. C. Rajeev, P. Sampath, K. C. Shashidhar, and S. Ramesh, “CoGente: A Tool for Code Generator Testing,” in Proceedings of the IEEE/ACM international conference on Automated software engineering, ser. ASE ’10. ACM, 2010, pp. 349–350. New York, NY, USA:
 L. Mariani, M. Pezze`, O. Riganelli, and M. Santoro, “Auto- BlackTest: a tool for automatic black-box testing,” in Proceeding of the 33rd international conference on Software engineering, ser. ICSE ’11. 2011, pp. 1013–1015.
 Y. Ren and F. Chang, “ATTEST: A Testing Toolkit for Validating Software Properties,” 23rd IEEE International Conference on Software Maintenance, pp. 469–472, 2007.
 S. Nogueira, E. Cartaxo, D. Torres, E. Aranha, and R. Marques, “Model Based Test Generation: An Industrial Experience,” in 1st Brazilian Workshop on Systematic and Automated Software Testing, 2007.
 A. Beer, S. Mohacsi, and C. Stary, “IDATG: An Open Tool for Automated Testing of Interactive Software,” 22th Annual International Computer Software and Applications Conference (COMPSAC’98), pp. 6–11, 1998.
 M. Barnett, W. Grieskamp, W. Schulte, N. Tillmann, and M. Veanes, “Validating Use-Cases with the AsmL Test Tool,” 3rd International Conference on Quality Software, pp. 238 – 246, 2003.
 H. Wu and J. Gray, “Automated Generation of Testing Tools for Domain-Specific Languages,” in Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. ACM, 2005, p. 439.
 R. Shukla, P. Strooper, and D. Carrington, “Tool Support for Statistical Testing of Software Components,” in 12th Asia-Pacific Software Engineering Conference (APSEC’05). IEEE Computer Society, 2005, p. 8.
 J. Gao, D. Gopinathan, Q. Mai, and J. He, “A Systematic Regression Testing Method and Tool For Software Components,” 30th Annual International Computer Software and Applications Conference (COMPSAC’06), pp. 455–466, 2006.
 A. Bertolino, J. Gao, E. Marchetti, and A. Polini, “TAXI – A Tool for XML-Based Testing,” 29th International Conference on Software Engineering (ICSE’07 Companion), pp. 53–54, 2007.
 E. Martin, S. Basu, and T. Xie, “WebSob: A Tool for Robustness Testing of Web Services,” 29th International Conference on Software Engineering (ICSE’07 Companion), pp. 65–66, 2007.
 A. Milicevic, S. Misailovic, D. Marinov, and S. Khurshid, “Korat: A Tool for Generating Structurally Complex Test Inputs,” in 29th International Conference on Software Engineering (ICSE’07). IEEE Computer Society, 2007, pp. 771–774.
 L. Lemos, O. Augusto, S. Bajracharya, and J, “CodeGenie:: a Tool for Test-Driven Source Code Search,” Proceedings of the 22th annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 917–918, 2007.
 Q. Xie, M. Grechanik, and M. Hellige, “Smart: A Tool for Application Reference Testing,” in 22nd IEEE/ACM international conference on Automated software engineering. ACM, 2007, pp. 537–538.
 F. Pinte, N. Oster, and F. Saglietti, “Techniques and tools for the automatic generation of optimal test data at code, model and interface level,” 30th international conference on Software engineering – ICSE Companion ’08, p. 927, 2008.
 Q. Xie, M. Grechanik, and C. Fu, “REST: A Tool for Reducing Effort in Script-based Testing,” 24th IEEE International Conference onSoftware Maintenance, pp. 468–469, 2008.
 J. Wloka, B. G. Ryder, and F. Tip, “JUnitMX – A Change-aware Unit Testing Tool,” 31st International Conference on Software Engineering, pp. 567–570, 2009.
 E. Mishra and Y. Sonawane, “TED: Tool for Testing and Debugging uDAPL,” in Architectures for Networking and Communications Systems (ANCS), 2010 ACM/IEEE Sympo- sium on, 2010, pp. 1–2.