ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Validated test models for software product lines: featured finite state machines (2017)
Fragal, Vanderson Hafemann; Simão, Adenilso da Silva ; Mousavi, Mohammad Reza
Source: Lecture Notes in Computer Science (LNCS). Conference titles: International Conference Formal Aspects of Component Software - FACS. Unidade: ICMC
Subjects: VALIDAÇÃO DE MODELOS, SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRAGAL, Vanderson Hafemann e SIMÃO, Adenilso da Silva e MOUSAVI, Mohammad Reza. Validated test models for software product lines: featured finite state machines. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-57666-4_13. Acesso em: 30 set. 2024. , 2017
APA
Fragal, V. H., Simão, A. da S., & Mousavi, M. R. (2017). Validated test models for software product lines: featured finite state machines. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-57666-4_13
NLM
Fragal VH, Simão A da S, Mousavi MR. Validated test models for software product lines: featured finite state machines [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 210-227.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
Vancouver
Fragal VH, Simão A da S, Mousavi MR. Validated test models for software product lines: featured finite state machines [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 210-227.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
Trabalho de evento-anais periodico
Adaptive localizer based on splitting trees (2017)
Groz, Roland; Simão, Adenilso da Silva ; Oriat, Catherine
Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland e SIMÃO, Adenilso da Silva e ORIAT, Catherine. Adaptive localizer based on splitting trees. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_21. Acesso em: 30 set. 2024. , 2017
APA
Groz, R., Simão, A. da S., & Oriat, C. (2017). Adaptive localizer based on splitting trees. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_21
NLM
Groz R, Simão A da S, Oriat C. Adaptive localizer based on splitting trees [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 326-332.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21
Vancouver
Groz R, Simão A da S, Oriat C. Adaptive localizer based on splitting trees [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 326-332.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21
Trabalho de evento-anais periodico
Generating checking sequences for user defined fault models (2017)
Petrenko, Alexandre; Simão, Adenilso da Silva
Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_20. Acesso em: 30 set. 2024. , 2017
APA
Petrenko, A., & Simão, A. da S. (2017). Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_20
NLM
Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
Vancouver
Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
Trabalho de evento-anais periodico
Fault-based testing for refinement in CSP (2017)
Cavalcanti, Ana; Simão, Adenilso da Silva
Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAVALCANTI, Ana e SIMÃO, Adenilso da Silva. Fault-based testing for refinement in CSP. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_2. Acesso em: 30 set. 2024. , 2017
APA
Cavalcanti, A., & Simão, A. da S. (2017). Fault-based testing for refinement in CSP. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_2
NLM
Cavalcanti A, Simão A da S. Fault-based testing for refinement in CSP [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 21-37.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_2
Vancouver
Cavalcanti A, Simão A da S. Fault-based testing for refinement in CSP [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 21-37.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_2

USP Schools

ReP

Filtros

Authors