Names and descriptions of the Single System Testing Tools

Tool Name Year Description
IDATAG [23] 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 [13] 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 [24] 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 [25] 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 [26] 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 [14] 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 [27] 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 [15] 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 [28] 2007 It implements the XML-based Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema.
Websob [29] 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 [30] 2007 Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.
ATTEST [21] 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 [22] 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 [31] 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 [16] 2007 It is a unit-testing tool developed to address the need for systematic unit testing within the context of agile methods.
Smart [32] 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 [33] 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 [17] 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 [34] 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 [35] 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 [18] 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 [19] 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 [36] 2010 It enables integrated testing and debbuging of software stack and underlying hardware while providing more flexibility and control to user.
AutoBlackTest [20] 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.


[13] 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.

[14] 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.

[15] 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.

[16] 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.

[17] B. Daniel and M. Boshernitsan, “Predicting Effectiveness of Automatic Testing Tools,” 23rd IEEE/ACM International Conference on Automated Software Engineering, pp. 363– 366, 2008.

[18] 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.

[19] 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:

[20] 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.

[21] Y. Ren and F. Chang, “ATTEST: A Testing Toolkit for Validating Software Properties,” 23rd IEEE International Conference on Software Maintenance, pp. 469–472, 2007.

[22] 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.

[23] 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.

[24] 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.

[25] 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.

[26] 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.

[27] 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.

[28] 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.

[29] 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.

[30] 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.

[31] 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.

[32] 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.

[33] 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.

[34] 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.

[35] 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.

[36] 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.


About crescenciolima
Crescencio has graduated in Computer Science in Universidade Estadual do Sudoeste da Bahia (2000-2005) and has a master degree in Computer Science from Universidade Federal de Pernambuco (2009-2011). Currently he is a Computer Science Ph.D. student in Universidade Federal da Bahia (2014) and professor in Instituto Federal da Bahia, Brazil (2012).

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: