2722 search results - page 126 / 545 » Automating Language Evolution |
116
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
114
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
109
Voted
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
In an open environment populated by large numbers of services, automated service composition is a major challenge. In such a setting the efficient interaction of directory-based s...
116
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
125
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...