Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdenilso da Silva Simão
Adenilso Simão
Person information
- affiliation: Universidade de Sao Paulo, Sao Carlos, Sao Paulo, Brasil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i2]Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão:
Learning EFSM Models with Registers in Guards. CoRR abs/2406.07040 (2024)- 2023
- [c61]Michael Foster
, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw:
Active Inference of EFSMs Without Reset. ICFEM 2023: 29-46 - [c60]Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw:
Active Inference of Extended Finite State Models of Software Systems. ICGI 2023: 265-269 - [c59]Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat:
Improving Model Learning by Inferring Separating Sequences from Traces. ICSTW 2023: 45-51 - 2021
- [j40]Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão:
Learning by sampling: learning behavioral family models from software product lines. Empir. Softw. Eng. 26(1): 4 (2021) - [j39]Mauricio Rocha, Adenilso Simão, Thiago Sousa:
Model-based test case generation from UML sequence diagrams using extended finite state machines. Softw. Qual. J. 29(3): 597-627 (2021) - [c58]Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão:
Improving Model Inference via W-Set Reduction. ICTSS 2021: 90-105 - [c57]Rodrigo Henrique Ramos, Jorge Francisco Cutigi, Cynthia de Oliveira Lage Ferreira, Adenilso da Silva Simão:
Topological Characterization of Cancer Driver Genes Using Reactome Super Pathways Networks. BSB 2021: 26-37 - 2020
- [j38]Jorge Francisco Cutigi, Adriane Feijo Evangelista, Adenilso Simão:
Approaches for the identification of driver mutations in cancer: A tutorial from a computational perspective. J. Bioinform. Comput. Biol. 18(3): 2050016:1-2050016:32 (2020) - [j37]Roland Groz, Nicolas Brémond, Adenilso da Silva Simão, Catherine Oriat:
hW-inference: A heuristic approach to retrieve models through black box testing. J. Syst. Softw. 159 (2020) - [c56]Sofia Larissa da Costa Paiva, Adenilso Simão:
An Experimental Study for Complete-IOCO Theory. SAST 2020: 107-116 - [c55]Jorge Francisco Cutigi, Renato Feijo Evangelista, Rodrigo Henrique Ramos, Cynthia de Oliveira Lage Ferreira, Adriane Feijo Evangelista, André C. P. L. F. de Carvalho, Adenilso Simão:
Combining Mutation and Gene Network Data in a Machine Learning Approach for False-Positive Cancer Driver Gene Discovery. BSB 2020: 81-92 - [e5]Violet Ka I Pun, Volker Stolz, Adenilso Simão:
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings. Lecture Notes in Computer Science 12545, Springer 2020, ISBN 978-3-030-64275-4 [contents]
2010 – 2019
- 2019
- [j36]Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker:
Extending HSI Test Generation Method for Software Product Lines. Comput. J. 62(1): 109-129 (2019) - [j35]Adenilso Simão, Valéria Farinazzo Martins, Héctor Cancela:
Preface to the CLEI 2018 Special Issue. CLEI Electron. J. 22(3) (2019) - [j34]Fabricio S. Sousa, Camila Faria Lages, Jonas Laerte Ansoni, Antonio Castelo, Adenilso Simão:
A finite difference method with meshless interpolation for incompressible flows in non-graded tree-based grids. J. Comput. Phys. 396: 848-866 (2019) - [j33]Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi:
Hierarchical featured state machines. Sci. Comput. Program. 171: 67-88 (2019) - [j32]Ana Cavalcanti, Adenilso Simão:
Fault-based refinement-testing for CSP. Softw. Qual. J. 27(2): 529-562 (2019) - [j31]André Takeshi Endo, Adenilso Simão:
Event tree algorithms to generate test sequences for composite Web services. Softw. Test. Verification Reliab. 29(3) (2019) - [c54]Mariana Soller Ramada, Telma Woerle de Lima, Anderson da Silva Soares, Adenilso Simão:
Generating Reduced Tests for FSMs using a Search-Based Testing Approach. ICTAI 2019: 400-407 - [c53]Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão:
Learning to Reuse: Adaptive Model Learning for Evolving Systems. IFM 2019: 138-156 - [c52]Mauricio Rocha, Adenilso Simão, Thiago Sousa, Marcelo Batista:
Test Case Generation by EFSM Extracted from UML Sequence Diagrams. SEKE 2019: 135-180 - [c51]Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão:
Learning from difference: an automated approach for learning family models from software product lines. SPLC (A) 2019: 10:1-10:12 - [c50]Jorge Francisco Cutigi, Adriane Feijo Evangelista, Adenilso da Silva Simão:
GeNWeMME: A Network-Based Computational Method for Prioritizing Groups of Significant Related Genes in Cancer. BSB 2019: 29-40 - [e4]Valéria Farinazzo Martins, Adenilso Simão, Héctor Cancela:
XLIV Latin American Computer Conference - Selected Papers, CLEI 2018 Selected Papers, São Paulo, Brazil, October 1-5, 2018. Electronic Notes in Theoretical Computer Science 342, Elsevier 2019 [contents] - 2018
- [j30]Carlos Diego Nascimento Damasceno, Paulo César Masiero, Adenilso da Silva Simão:
Similarity testing for role-based access control systems. J. Softw. Eng. Res. Dev. 6: 1 (2018) - [c49]Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat:
Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis 2018: 178-201 - [c48]Roland Groz, Nicolas Brémond, Adenilso Simão:
Using Adaptive Sequences for Learning Non-Resettable FSMs. ICGI 2018: 30-43 - [c47]Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat:
Revisiting AI and testing methods to infer FSM models of black-box systems. AST@ICSE 2018: 16-19 - [c46]Valéria Farinazzo Martins, Adenilso Simão, Héctor Cancela:
Preface. CLEI Selected Papers 2018: 1-2 - [i1]Faimison Rodrigues Porto, Leandro L. Minku, Emilia Mendes, Adenilso Simão:
A Systematic Study of Cross-Project Defect Prediction With Meta-Learning. CoRR abs/1802.06025 (2018) - 2017
- [j29]Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão:
Formal mutation testing for Circus. Inf. Softw. Technol. 81: 131-153 (2017) - [j28]Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão:
Experimental comparison of approaches for checking completeness of test suites from finite state machines. Inf. Softw. Technol. 92: 95-104 (2017) - [j27]Khaled El-Fakih, Adenilso da Silva Simão, Noshad Jadoon, José Carlos Maldonado:
An assessment of extended finite state machine test selection criteria. J. Syst. Softw. 123: 106-118 (2017) - [c45]Ricardo Ramos de Oliveira, Rafael Messias Martins, Adenilso da Silva Simão:
Impact of the Vendor Lock-in Problem on Testing as a Service (TaaS). IC2E 2017: 190-196 - [c44]Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi:
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. ICST Workshops 2017: 329-336 - [c43]Ana Cavalcanti, Adenilso da Silva Simão:
Fault-Based Testing for Refinement in CSP. ICTSS 2017: 21-37 - [c42]Alexandre Petrenko, Adenilso da Silva Simão:
Generating Checking Sequences for User Defined Fault Models. ICTSS 2017: 320-325 - [c41]Roland Groz, Adenilso da Silva Simão, Catherine Oriat:
Adaptive Localizer Based on Splitting Trees. ICTSS 2017: 326-332 - 2016
- [j26]Jorge Francisco Cutigi, Adenilso da Silva Simão, Simone R. S. Souza:
Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. Comput. J. 59(8): 1129-1143 (2016) - [j25]Hernán Astudillo, Dennis Barrios-Aranibar, Guillermo Calderón-Ruiz, Héctor Cancela, Tony Clear, Nelly Condori-Fernández, Alex J. Cuadros-Vargas, Diego Pinto, Adenilso Simão, Paco Tirado, Yván Túpac:
Preface to the special issues devoted to CLEI 2015. CLEI Electron. J. 19(2): 0 (2016) - [j24]Faimison Rodrigues Porto, Adenilso Simão:
Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking. CLEI Electron. J. 19(3): 4 (2016) - [j23]Sofia Larissa da Costa Paiva, Adenilso da Silva Simão:
Generation of complete test suites from mealy input/output transition systems. Formal Aspects Comput. 28(1): 65-78 (2016) - [c40]Faimison Rodrigues Porto, Adenilso da Silva Simão:
Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction. CIbSE 2016: 171-184 - [c39]Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi:
Validated Test Models for Software Product Lines: Featured Finite State Machines. FACS 2016: 210-227 - [c38]Carlos Diego Nascimento Damasceno, Paulo César Masiero, Adenilso Simão:
Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. SBES 2016: 83-92 - [c37]Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi:
Complete IOCO test cases: a case study. A-TEST@SIGSOFT FSE 2016: 38-44 - 2015
- [j22]Alexandre Petrenko, Adenilso Simão:
Generalizing the DS-Methods for Testing Non-Deterministic FSMs. Comput. J. 58(7): 1656-1672 (2015) - [j21]Fevzi Belli, Mutlu Beyazit, André Takeshi Endo, Aditya P. Mathur, Adenilso da Silva Simão:
Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Softw. Qual. J. 23(3): 423-452 (2015) - [j20]Simone R. S. Souza, Paulo S. L. Souza, Maria A. S. Brito, Adenilso da Silva Simão, Ed Zaluska:
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Softw. Test. Verification Reliab. 25(3): 310-332 (2015) - [c36]Sofia Larissa da Costa Paiva, Adenilso da Silva Simão:
A Systematic Mapping Study on Test Generation from Input/Output Transition Systems. EUROMICRO-SEAA 2015: 333-340 - [c35]Alexandre Petrenko, Adenilso da Silva Simão:
Checking Experiments for Finite State Machines with Symbolic Inputs. ICTSS 2015: 3-18 - [c34]Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat:
Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS 2015: 161-177 - 2014
- [j19]Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão:
A practical approach for testing timed deterministic finite state machines with single clock. Sci. Comput. Program. 80: 343-355 (2014) - [j18]Adenilso da Silva Simão, Carroll Morgan:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). Sci. Comput. Program. 92: 85 (2014) - [j17]Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão:
A holistic approach to model-based testing of Web service compositions. Softw. Pract. Exp. 44(2): 201-234 (2014) - [c33]Khaled El-Fakih, Adenilso Simão, Noshad Jadoon, José Carlos Maldonado:
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. ICST Workshops 2014: 222-229 - [c32]Adenilso da Silva Simão, Alexandre Petrenko:
Generating Complete and Finite Test Suite for ioco: Is It Possible? MBT 2014: 56-70 - 2013
- [j16]Alex D. B. Alberto, Adenilso Simão:
Iterative minimization of partial finite state machines. Central Eur. J. Comput. Sci. 3(2): 91-103 (2013) - [j15]André Takeshi Endo, Adenilso da Silva Simão:
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. Inf. Softw. Technol. 55(6): 1045-1062 (2013) - [c31]Faimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão:
Generation of Checking Sequences Using Identification Sets. ICFEM 2013: 115-130 - [c30]André Takeshi Endo, Maicon Bernardino, Elder Macedo Rodrigues, Adenilso da Silva Simão, Flávio Moreira de Oliveira, Avelino F. Zorzo, Rodrigo S. Saad:
An Industrial Experience on using Models to Test Web Service-Oriented Applications. iiWAS 2013: 240 - 2012
- [j14]Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão:
Model Partitions and Compact Test Case Suites. Int. J. Found. Comput. Sci. 23(1): 147-172 (2012) - [j13]Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado:
Model-based testing of software and systems: recent advances and challenges. Int. J. Softw. Tools Technol. Transf. 14(4): 383-386 (2012) - [j12]Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. 22(6): 435-454 (2012) - [c29]Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko:
Generating Checking Sequences for Nondeterministic Finite State Machines. ICST 2012: 310-319 - [c28]André Takeshi Endo, Adenilso da Silva Simão:
Experimental Comparison of Test Case Generation Methods for Finite State Machines. ICST 2012: 549-558 - [c27]Vinicius H. S. Durelli, André Takeshi Endo, Adenilso da Silva Simão, Márcio Eduardo Delamaro:
Towards Envisaging Software Testing in a Pervasive Computing World. SBES 2012: 201-205 - [c26]Maykon Luís Capellari, Itana Maria de Souza Gimenes, Adenilso da Silva Simão, André Takeshi Endo:
Towards Incremental FSM-based Testing of Software Product Lines. SBQS 2012: 9-23 - 2011
- [j11]Adenilso da Silva Simão, Alexandre Petrenko:
Generating asynchronous test cases from test purposes. Inf. Softw. Technol. 53(11): 1252-1262 (2011) - [c25]André Takeshi Endo, Adenilso da Silva Simão:
Model-Based Testing of Service-Oriented Applications via State Models. IEEE SCC 2011: 432-439 - [c24]Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska:
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. SEKE 2011: 207-212 - [c23]Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão:
Model-based testing of web service compositions. SOSE 2011: 181-192 - [e3]Jim Davies, Leila Silva, Adenilso da Silva Simão:
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6527, Springer 2011, ISBN 978-3-642-19828-1 [contents] - [e2]Adenilso da Silva Simão, Carroll Morgan:
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7021, Springer 2011, ISBN 978-3-642-25031-6 [contents] - 2010
- [j10]Adenilso da Silva Simão, Alexandre Petrenko:
Fault Coverage-Driven Incremental Test Generation. Comput. J. 53(9): 1508-1522 (2010) - [j9]Adenilso da Silva Simão, Alexandre Petrenko:
Checking Completeness of Tests for Finite State Machines. IEEE Trans. Computers 59(8): 1023-1032 (2010) - [c22]Adenilso da Silva Simão, Adenilso Petrenko:
From Test Purposes to Asynchronous Test Cases. ICST Workshops 2010: 1-10 - [c21]André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão, Simone do Rócio Senger de Souza:
Event- and Coverage-Based Testing of Web Services. SSIRI (Companion) 2010: 62-69 - [e1]Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado:
Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6435, Springer 2010, ISBN 978-3-642-16572-6 [contents]
2000 – 2009
- 2009
- [j8]Adenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha:
A transformational language for mutant description. Comput. Lang. Syst. Struct. 35(3): 322-339 (2009) - [j7]Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado:
Comparing finite state machine test. IET Softw. 3(2): 91-105 (2009) - [c20]Adenilso da Silva Simão, Alexandre Petrenko:
Checking Sequence Generation Using State Distinguishing Subsequences. ICST Workshops 2009: 48-56 - [c19]Alex D. B. Alberto, Adenilso Simão:
Minimization of incompletely specified finite state machines based on distinction graphs. LATW 2009: 1-6 - [c18]Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145 - 2008
- [j6]Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Alexandre Ceolin Hausen:
Structural testing criteria for message-passing parallel programs. Concurr. Comput. Pract. Exp. 20(16): 1893-1916 (2008) - [j5]Adenilso da Silva Simão, Rodrigo Fernandes de Mello, Luciano José Senger, Laurence Tianruo Yang:
Improving regression testing performance using the Adaptive Resonance Theory-2A self-organising neural network architecture. Int. J. Auton. Adapt. Commun. Syst. 1(3): 370-385 (2008) - [c17]Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza, Adenilso da Silva Simão:
Structural Testing for Semaphore-Based Multithread Programs. ICCS (1) 2008: 337-346 - [c16]Adenilso da Silva Simão, Alexandre Petrenko:
Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES 2008: 153-168 - [c15]Paulo Sergio Lopes de Souza, Eduardo T. Sawabe, Adenilso da Silva Simão, Silvia Regina Vergilio, Simone do Rócio Senger de Souza:
ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. PVM/MPI 2008: 257-264 - [c14]Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão:
A Generalized Model-Based Test Generation Method. SEFM 2008: 139-148 - 2007
- [c13]Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado:
Experimental Evaluation of Coverage Criteria for FSM-based Testing. SBES 2007: 359-374 - [c12]Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado:
Towards a Reference Architecture for Software Testing Tools. SEKE 2007: 157-162 - 2006
- [j4]Auri Marcelo Rizzo Vincenzi, Adenilso da Silva Simão, Márcio Eduardo Delamaro, José Carlos Maldonado:
Muta-Pro: Towards the Definition of a Mutation Testing Process. J. Braz. Comput. Soc. 12(2): 49-61 (2006) - [c11]Adenilso da Silva Simão, Rodrigo Fernandes de Mello, Luciano José Senger:
A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture. COMPSAC (2) 2006: 93-96 - [c10]Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado:
Towards Deriving Test Sequences by Model Checking. SBMF 2006: 21-40 - 2005
- [c9]André Dantas Rocha, Adenilso da Silva Simão, José Carlos Maldonado, Paulo César Masiero:
Uma ferramenta baseada em aspectos para o teste funcional de programas Java. SBES 2005: 263-278 - [c8]Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen:
ValiPar: A Testing Tool for Message-Passing Parallel Programs. SEKE 2005: 386-391 - 2004
- [b1]Adenilso da Silva Simão:
The application of mutation testing in the context of testing and validation of coloured Petri nets. University of São Paulo, Brazil, 2004 - 2003
- [j3]Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, Antônio Carlos Lima de Santana:
A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electron. J. 6(1) (2003) - [c7]Adenilso da Silva Simão, Simone do Rócio Senger de Souza, José Carlos Maldonado:
A Family of Coverage Testing Criteria for Coloured Petri Nets. SBES 2003: 205-220 - 2002
- [j2]Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard:
PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools . CLEI Electron. J. 5(1) (2002) - [j1]Adenilso da Silva Simão, José Carlos Maldonado:
MuDeL: a language and a system for describing and generating mutants. J. Braz. Comput. Soc. 8(1): 73-86 (2002) - [c6]André Luís dos Santos Domingues, Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado:
EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos. SBES 2002: 384-389 - [c5]Auri M. R. Vincenzi, Márcio E. Delamaro, Adenilso da Silva Simão, W. Eric Wong, José Carlos Maldonado:
JaBÁ: A Java Bytecoder Analyser. SBES 2002: 414-419 - [c4]Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado:
mudelgen: A Tool for Processing Mutant Operator Descriptions. SBES 2002: 426-431 - 2001
- [c3]Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard:
Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. JIISIC 2001: 15-22 - [c2]Adenilso da Silva Simão, José Carlos Maldonado:
MuDeL: A Language and a System for Describing and Generating Mutants. SBES 2001: 240-255 - [c1]Marco Arthur Pereira Candolo, Adenilso da Silva Simão, José Carlos Maldonado:
MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. SBES 2001: 386-391
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-09 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
