2026 search results - page 10 / 406 » Tools for Test Case Generation |
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
70
Voted
ICST
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
130
click to vote
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
105
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
101
click to vote
DSRT
2008
IEEE
14 years 11 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...