188 search results - page 1 / 38 » Automatic Generation of Model Checking Scripts Based on Envi... |
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
ICWS
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
USS
2008
13 years 9 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
ECBS
2004
IEEE
13 years 11 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
TSE
2010
13 years 5 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...