551 search results - page 52 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
ICECCS
1997
IEEE
13 years 12 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
CIBSE
2009
ACM
14 years 2 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: Within the EC funded research project GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) we aim at the development of a platform that assists the user t...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Several domains such as sports, surgery, dance etc. are characterized by a significant influence of expertise of the performer on the motion pattern and style. The retrieval of ex...