BCImat: a Matlab-based framework for Intracortical Brain-Computer Interfaces and their simulation with an artificial spiking neural network.
J. Open Source Softw., 2022
Gramm: grammar of graphics plotting in Matlab.
J. Open Source Softw., 2018
Efficient object-oriented integration and regression testing.
IEEE Trans. Reliab., 2000
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program., 2000
Verification of Test Suites.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000
Efficient strategies for integration and regression testing of OO systems.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999
Test Generation Derived from Model-Checking.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999