498 search results - page 33 / 100 » Model Validation using Automatically Generated Requirements-... |
108
Voted
DAC
1996
ACM
15 years 6 months ago
1996
ACM
The development of new Field-Programmed, MaskProgrammed and Laser-Programmed Gate Array architectures is hampered by the lack of realistic test circuits that exercise both the arc...
126
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
101
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
115
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
102
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...