1926 search results - page 86 / 386 » Modeling and Model Checking Software Product Lines |
144
Voted
DATE
2008
IEEE
16 years 16 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
155
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
159
click to vote
USS
2008
15 years 8 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...
175
click to vote
ICFEM
2009
Springer
16 years 19 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
199
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...