| Parts a partitioning transformation system J Iyoda, A Sampaio, L Silva International Symposium on Formal Methods, 1400-1419, 1999 | 34 | 1999 |
| An integrated semantics for reasoning about SysML design models using refinement L Lima, A Miyazawa, A Cavalcanti, M Cornélio, J Iyoda, A Sampaio, ... Software & Systems Modeling 16, 875-902, 2017 | 29 | 2017 |
| Automatic formal synthesis of hardware from higher order logic M Gordon, J Iyoda, S Owens, K Slind Electronic Notes in Theoretical Computer Science 145, 27-43, 2006 | 23 | 2006 |
| Test case prioritization based on data reuse an experimental study L Lima, J Iyoda, A Sampaio, E Aranha 2009 3rd International Symposium on Empirical Software Engineering and …, 2009 | 20 | 2009 |
| Proof producing synthesis of arithmetic and cryptographic hardware K Slind, S Owens, J Iyoda, M Gordon Formal Aspects of Computing 19, 343-362, 2007 | 19 | 2007 |
| Towards an algebraic synthesis of Verilog J Iyoda, H Jifeng UNU/IIST Research Report 218, 2001 | 19 | 2001 |
| Test case generation, selection and coverage from natural language S Nogueira, H Araujo, R Araujo, J Iyoda, A Sampaio Science of Computer Programming 181, 84-110, 2019 | 15 | 2019 |
| Randomized constraint solvers: a comparative study M Takaki, D Cavalcanti, R Gheyi, J Iyoda, M d’Amorim, RBC Prudêncio Innovations in Systems and Software Engineering 6, 243-253, 2010 | 14 | 2010 |
| A comparative study of randomized constraint solvers for random-symbolic testing M Takaki, D Cavalcanti, R Gheyi, J Iyoda, M dAmorim, R Prudêncio Proceedings of the First NASA Formal Methods Symposium, 2009 | 11 | 2009 |
| Report on modelling patterns for sos architectures S Perry, J Holt, R Payne, C Ingram, A Miyazawa, FO Hansen, LD Couto, ... COMPASS Deliverable D 32, 2013 | 9 | 2013 |
| Recommender systems for manual testing: deciding how to assign tests in a test team B Miranda, EHS Aranha, JM Iyoda Proceedings of the ACM-IEEE international symposium on Empirical software …, 2012 | 9 | 2012 |
| Combining model finder and genetic programming into a general purpose automatic program synthesizer A Correia, J Iyoda, A Mota Information Processing Letters 154, 105866, 2020 | 8 | 2020 |
| Model checking requirements S Barza, G Carvalho, J Iyoda, A Sampaio, A Mota, F Barros Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF …, 2016 | 8 | 2016 |
| Final report on combining SysML and CML A Miyazawa, L Albertins, J Iyoda, M Cornélio, R Payne, A Cavalcanti COMPASS Deliverable D 22, 2013 | 8 | 2013 |
| Program synthesis by model finding A Mota, JI Iyoda, H Maranhão | 8* | |
| Final report on sos architectural models S Perry, J Holt, R Payne, J Bryans, C Ingram, A Miyazawa, S Hallerstede, ... COMPASS Project, Tech. Rep., 2014 | 7 | 2014 |
| Correct hardware synthesis: An algebraic approach J Perna, J Woodcock, A Sampaio, J Iyoda Acta informatica 48, 363-396, 2011 | 7 | 2011 |
| An algebraic approach to combining processes in a hardware/software partitioning environment L Silva, A Sampaio, E Barros, J Iyoda International Conference on Algebraic Methodology and Software Technology …, 1999 | 7 | 1999 |
| A permutation technique for test case prioritization in a black-box environment LA de Lima, J Iyoda, A Sampaio Proceedings of the 2nd Brazilian Symposium on Systematic and Automated …, 2017 | 6 | 2017 |
| Automatic generation of test cases and test purposes from natural language S Nogueira, HLS Araujo, RBS Araujo, J Iyoda, A Sampaio Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF …, 2016 | 6 | 2016 |