LTS-BT

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 16 Mar 2008Publisher:ACMJournal:Proceedings of the 2008 ACM symposium on Applied computing

Authors: Emanuela Gadelha Cartaxo; Wilkerson de L. Andrade; Francisco G. Oliveira Neto; Patrícia D. L. Machado;

doi: 10.1145/1363686.1364045

LTS-BT

- Summary
- Metrics

Abstract

Automation of model-based testing for embedded systems is discussed. The focus is on feature and feature interruption test case generation and selection from behavioral specifications. For this, the LTS-BT tool is presented. The tool has been designed to suit embedded systems by focusing on selected notations for behavior specification and tailored techniques for test case generation and selection. This is motivated by the particularities of these systems that challenge cost-effective testing.

Related Organizations

Federal University of Campina Grande
Brazil

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	19
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%