Theofanis Vassiliou-Gioles

Orcid: 0000-0002-6990-242X

According to our database1, Theofanis Vassiliou-Gioles authored at least 13 papers between 1998 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Quality Assurance of Micro-Services - When to trust your micro-service test results?
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Solving the Instance Identification Problem in Micro-service Testing.
Proceedings of the Testing Software and Systems, 2021

2020
A simple, lightweight framework for testing RESTful services with TTCN-3.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2014
A generic interoperability testing framework and a systematic development process for automated interoperability testing.
Int. J. Softw. Tools Technol. Transf., 2014

An integrated TTCN-3 test framework architecture for interconnected object-based internet applications.
Int. J. Electron. Bus., 2014

2008
The Test Technology TTCN-3.
Proceedings of the Formal Methods and Testing, 2008

2004
Execution of External Applications using TTCN-3.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003
Tool Supported Test Frameworks in TTCN-3.
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Realizing Distributed TTCN-3 Test Systems with TCI.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002
Implementation of TTCN-3 Test Systems using the TRI.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

1999
Configuration and Execution Support for Distributed Tests.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

1998
Case Study in Protocol Validation: Validating an ATM Signalling Protocol.
Formal Aspects Comput., 1998

Test Suite Migration Experiences for B-ISUP and B-MTP.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998


  Loading...