6197 search results - page 1092 / 1240 » Sandbridge Software Tools |
131
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
163
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
142
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
119
Voted
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
164
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Recently SQL Injection Attack (SIA) has become a major threat to Web applications. Via carefully crafted user input, attackers can expose or manipulate the back-end database of a ...