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.
News
-
Version 1.4
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
|
|