2026 search results - page 249 / 406 » Tools for Test Case Generation |
157
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
170
click to vote
FDL
2008
IEEE
15 years 12 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
139
click to vote
DCC
2006
IEEE
16 years 5 months ago
2006
IEEE
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
166
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
This paper addresses conceptual modeling and automatic code generation for search engine integration with data intensive Web applications. We have analyzed the similarities (and di...
138
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...