Export 15 results:Sort by: [ Author] Title Type Year
Filters: Author is Adilson Luiz Bonifácio [Clear All Filters]
Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science. 23:147-172.. 2012.
Conformance Testing by Model Checking Timed Extended Finite State Machines. Brazilian Symposium on Formal Methods (SBMF'06). :43–58.. 2006.
Formal Parameters Synthesis for Track Segments of a Subway Mesh. 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. :263–272.. 2000.
Análise e Verificação de Segmentos de Via de uma Malha Metroviária. Proceedings of the II Workshop on Formal Methods. :13–22.. 1999.
Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design. 1954:316–334.. 2000.
Modelos Orientados a Estado na Especificação de Software. Semina. Ciências Exatas e Tecnológicas (Impresso). 25:163–170.. 2004.
Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci.. 195:21–40.. 2008.
A Generalized Model-Based Test Generation Method. Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM. :139–148.. 2008.
A new method for testing timed systems. Softw. Test., Verif. Reliab... 2011.