Buscar
Mostrando ítems 21-30 de 43795
Beta: uma ferramenta para geração de testes de unidade a partir de especificações B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-02-10)
Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification
and error detection. Even though formal methods ...
ucsCNL A controlled natural language for use case specifications
(Universidade Federal de Pernambuco, 2014)
Stimulus specificity in the acquisition and extinction of conditioned taste aversion
(Sociedad de Biología de Chile, 2007)
Fault Coverage-Driven Incremental Test Generation
(OXFORD UNIV PRESS, 2010)
In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation ...
Sensitivity and specificity of parallel or serial serological testing for detection of canine Leishmania infection
(Instituto Oswaldo Cruz, 2019)
Short apraxia screening test
(Taylor & Francis, 2014-10)
Background: Limb apraxia comprises many different and common disorders, which are largely unrecognized essentially because there is no easy-to-use screening test sensitive enough to identify all types of limb praxis deficits. ...
ConData: A tool for automating specification-based test case generation for communication systems
(Kluwer Academic PublDordrechtHolanda, 1999)
Avaliação de geradores automáticos de dados de teste com ênfase no teste de mutação
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCCCâmpus São Carlos, 2021-03-31)
Context: With the increasing presence of technology in daily life, it is crucial to guarantee the quality of software products, which can be reached by testing activity. However, testing is highly expensive, once it is ...
MEASURING SECURITY PRICE PERFORMANCE USING CHILEAN DAILY STOCK RETURNS: THE EVENT STUDY METHOD
(Instituto de Economía, Pontificia Universidad Católica de Chile, 2005)