| A generalized model-based test generation method AL Bonifácio, AV Moura, A da Silva Simao 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 18 | 2008 |
| Model partitions and compact test case suites AL Bonifacio, AV Moura, A Simao International journal of foundations of computer science 23 (01), 147-172, 2012 | 16 | 2012 |
| On the completeness of test suites AL Bonifacio, AV Moura Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1287-1292, 2014 | 12 | 2014 |
| A new method for testing timed systems AL Bonifácio, AV Moura Software Testing, Verification and Reliability 23 (2), 91-117, 2013 | 8 | 2013 |
| Exponentially more succinct test suites AL Bonifácio, AV Moura, AS Simao Institute of Computing, University of Campinas, Tech. Rep. IC-09-07, 09-07, 2009 | 8 | 2009 |
| Test suite completeness and black box testing AL Bonifácio, AV Moura Software Testing, Verification and Reliability 27 (1-2), e1626, 2017 | 7 | 2017 |
| Test suite completeness and partial models AL Bonifacio, AV Moura Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 7 | 2014 |
| Analise, Verificacao e Sntese de Segmentos de Via de uma Malha Metroviaria AL Bonifacio, AV Moura, JB Camargo Jr, JRA Junior Relatório Técnico IC-99-45, 1999 | 7 | 1999 |
| Testing asynchronous reactive systems: Beyond the ioco framework A Bonifacio, AV Moura CLEI Electronic Journal 24 (2), 13: 1-13: 31, 2021 | 6 | 2021 |
| Experimental comparison of approaches for checking completeness of test suites from finite state machines A Bonifacio, A Moura, A Simao Information and software technology 92, 95-104, 2017 | 6 | 2017 |
| Análise e verificação de segmentos de via de uma malha metroviária AL Bonifácio, AV Moura, JB Camargo Júnior, JR Almeida Junior Proceedings, 1999 | 6 | 1999 |
| Towards deriving test sequences by model checking AL Bonifácio, AV Moura, A da Silva Simao, JC Maldonado Electronic Notes in Theoretical Computer Science 195, 21-40, 2008 | 5 | 2008 |
| Formal parameters synthesis for track segments of a subway mesh AL Bonifácio, AV Moura, JB Camargo, JRA Junior Proceedings Seventh IEEE International Conference and Workshop on the …, 2000 | 5 | 2000 |
| Conformance checking and pushdown reactive systems A Bonifacio, A Moura CLEI electronic journal 25 (3), 2: 1-2: 19, 2022 | 4 | 2022 |
| Devising a conflict detection method for multi-party contracts WA Della Mura, AL Bonifácio 2015 34th International Conference of the Chilean Computer Science Society …, 2015 | 4 | 2015 |
| Partial models and weak equivalence AL Bonifácio, AV Moura Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014 | 4 | 2014 |
| A new timed discretization method for automatic test generation for timed systems AL Bonifacio, AV Moura Relatório Técnico IC-09-31, Institute of Computing, University of Campinas, 2009 | 4 | 2009 |
| Conformance testing by model checking timed extended finite state machines AL Bonifacio, AV Moura, AS Simão, JC Maldonado Proceedings, 2006 | 4 | 2006 |
| Automatically running experiments on checking multi-party contracts AL Bonifácio, WA Della Mura Artificial Intelligence and Law 29, 287-310, 2021 | 3 | 2021 |
| Complete test suites for input/output systems AL Bonifácio, AV Moura CoRR, abs/1902.10278. Accessed on 6, 2019 | 3 | 2019 |
