732 search results - page 26 / 147 » Automated Test Generation from Models Based on Functional So... |
129
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
140
Voted
CC
2009
Springer
14 years 11 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
123
click to vote
DAC
1999
ACM
16 years 2 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
111
click to vote
ENTCS
2006
15 years 1 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
139
Voted
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...