( en | de | ru )

 

Disambiguierung von "da Silva Simão, Adenilso"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).

, und . Sci. Comput. Program., (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

João Simão

Amândio Miguel Simão

Kerstin da Silva

Rodrigo Corrêa da Silva

Adriano João Da Silva

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Partitions and Compact Test Case Suites., , und . Int. J. Found. Comput. Sci., 23 (1): 147-172 (2012)Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)., und . Sci. Comput. Program., (2014)Uma ferramenta baseada em aspectos para o teste funcional de programas Java., , , und . SBES, Seite 263-278. SBC, (2005)Generating Checking Sequences for User Defined Fault Models., und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 320-325. Springer, (2017)Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction., und . CIbSE, Seite 171-184. Universidad de las Fuerzas Armadas ESPE, (2016)Towards Incremental FSM-based Testing of Software Product Lines., , , und . SBQS, Seite 9-23. SBC, (2012)Checking Experiments for Finite State Machines with Symbolic Inputs., und . ICTSS, Volume 9447 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2015)MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito., , und . SBES, Seite 386-391. SBC, (2001)MuDeL: A Language and a System for Describing and Generating Mutants., und . SBES, Seite 240-255. SBC, (2001)mudelgen: A Tool for Processing Mutant Operator Descriptions., , und . SBES, Seite 426-431. SBC, (2002)