Home

SYMBOLRT (SYmbolic Model-Based test case generation toOL for Real-Time systems) is a model-based test generation tool developed to automatically generate test cases from symbolic models in order to test real-time systems.

SYMBOLRT is open source software and is distributed under the GNU GPL license (version 3).

News

  • Version 1.4
    Version 1.4 released
    • Refactorings
    Posted 16 Jan 2015, 11:15 by Wilkerson de Lucena Andrade
  • Version 1.3
    Version 1.3 released
    • New example: LCS
    • Refactorings
    Posted 23 Sep 2013, 06:37 by Wilkerson de Lucena Andrade
  • Version 1.2
    Version 1.2 released
    • New examples added
    • Bugs fixed
    Posted 9 Dec 2012, 01:20 by Wilkerson de Lucena Andrade
  • Version 1.1
    Version 1.1 released
    • The generated test cases are now serialized to XML
    • Bugs fixed
    Posted 18 Oct 2012, 11:06 by Wilkerson de Lucena Andrade
  • Best Tool Award - CBSoft 2012
    Best Tool Award to SYMBOLRT in the Tools Session of the 3rd Brazilian Conference on Software: Theory and Practice, CBSOFT 2012.
    Posted 18 Oct 2012, 11:05 by Wilkerson de Lucena Andrade
Showing posts 1 - 5 of 5. View more »