Sciweavers

21183 search results - page 364 / 4237
» Adaptive Testing by Test
Sort
View
FATES
2006
Springer
15 years 10 months ago
A Symbolic Framework for Model-Based Testing
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 10 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
VTS
1995
IEEE
99views Hardware» more  VTS 1995»
15 years 10 months ago
Arithmetic built-in self test for high-level synthesis
In this paper, we propose an entirely new Built-In Self Test scheme for high-level synthesis of data path architectures that makes use of the arithmetic blocks in the data path to...
Nilanjan Mukherjee, H. Kassab, Janusz Rajski, Jerz...
WSC
2008
15 years 9 months ago
A methodology for unit testing actors in proprietary discrete event based simulations
CT This paper presents a dependency injection based, unit testing methodology for unit testing components, or actors, involved in discrete event based computer network simulation v...
Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkins...
193
Voted
AGILEDC
2008
IEEE
15 years 8 months ago
Automated Acceptance Testing: A Literature Review and an Industrial Case Study
Automated acceptance testing is a quite recent addition to testing in agile software development holding great promise of improving communication and collaboration. This paper sum...
Børge Haugset, Geir Kjetil Hanssen