Demos

ATM

This example is described in our ICTSS 2013 paper. The project files (Java and UML) are available here. The following video demonstrates the essential usage of our toolset for this example.

[youtube]https://www.youtube.com/watch?v=HvCMt6HuWlc[/youtube]

SpreadsheetEngine

This example is described in our QUATIC 2012 paper (with subsequent changes). The project files (Java and UML) are available here. The following video demonstrates internal interaction testing, test stub injection, and user interaction testing for this example.

[youtube]https://www.youtube.com/watch?v=lQUUkRiBQiU[/youtube]

FileDiff

This case study was described in our ICTSS 2013 and JSTTT 2014 papers. The project files (Java and UML) are available here.

Guava

This case study was described in our JSTTT 2014 paper. It shows how our toolset can be used for modeling and testing larger libraries – in this case, the Google’s Guava libraries. The project files (Java and UML) are available here.

 

 

Share