2026 search results - page 123 / 406 » Tools for Test Case Generation |
183
Voted
FORTEST
2008
15 years 5 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
146
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
146
Voted
DGO
2009
15 years 4 months ago
2009
This paper addresses challenges to resource managers' use of scientific research, and reports strategies and informatics tools to ameliorate those challenges. Our work involv...
118
Voted
COLING
2010
14 years 10 months ago
2010
We present GENSEM, a tool for generating input semantic representations for two sentence generators based on the same reversible Tree Adjoining Grammar. We then show how GENSEM ca...
157
Voted
CCGRID
2010
IEEE
14 years 7 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...