Welcome to our White-Box Testing Framework for Object-Oriented Programming

This webpage presents a white-box testing framework for Object-Oriented Programming based on Message Sequence Specification and Aspect Oriented Programming. In the context of an object-oriented program, our framework can be used to test the correct order in which the methods of a class are invoked by its clients.

This work was first presented at the 2018 Argentine Computer Science Congress, the article can be found here. We then published an exteded version at the Communications in Computer and  
Information Science by Springer in 2019 and is available here. 

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.