169 search results - page 21 / 34 » Towards a Framework for Constraint-Based Test Case Generatio... |
JSS
2007
13 years 7 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
ICCS
2004
Springer
14 years 26 days ago
2004
Springer
Our goal is to develop the capability for characterizing the three-dimensional geological structure and mechanical properties of individual sites and complete basins in earthquake-...
IWPC
1999
IEEE
13 years 11 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...