Minimização de conjuntos de casos de teste por meio de condições de suficiência (2007)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Português
- Imprenta:
- ISBN: 85669143-4
- Source:
- Título do periódico: Anais
- Conference titles: Simpósio Brasileiro de Engenharia de Software
-
ABNT
MELLO NETTO, Lucio F. de e SIMÃO, Adenilso da Silva. Minimização de conjuntos de casos de teste por meio de condições de suficiência. 2007, Anais.. [s.l.: s.n.], 2007. . Acesso em: 29 set. 2024. -
APA
Mello Netto, L. F. de, & Simão, A. da S. (2007). Minimização de conjuntos de casos de teste por meio de condições de suficiência. In Anais. [s.l.: s.n.]. -
NLM
Mello Netto LF de, Simão A da S. Minimização de conjuntos de casos de teste por meio de condições de suficiência. Anais. 2007 ;[citado 2024 set. 29 ] -
Vancouver
Mello Netto LF de, Simão A da S. Minimização de conjuntos de casos de teste por meio de condições de suficiência. Anais. 2007 ;[citado 2024 set. 29 ] - Inferring FSM models of systems without reset
- This volume contains the papers presented at SBMF 2010... [Prefácio]
- Generating asynchronous test cases from test purposes
- Formal methods: foundations and applications
- Checking sequence generation using state distinguishing subsequences
- Model-based testing of web service compositions
- Experimental comparison of test case generation methods for finite state machines
- Model partitions and compact test case suites
- A holistic approach to model-based testing of Web service compositions
- Iterative minimization of partial finite state machines
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas