Sciweavers

6197 search results - page 1092 / 1240
» Sandbridge Software Tools
Sort
View
171
Voted
ICST
2008
IEEE
16 years 1 months ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
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...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
206
Voted
ISSRE
2008
IEEE
16 years 1 months ago
Detection and Prediction of Resource-Exhaustion Vulnerabilities
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...
João Antunes, Nuno Ferreira Neves, Paulo Ve...
193
Voted
KBSE
2008
IEEE
16 years 1 months ago
Query-Aware Test Generation Using a Relational Constraint Solver
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 ...
Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Lal...
157
Voted
TASE
2008
IEEE
16 years 1 months ago
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
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...
Corinna Spermann, Michael Leuschel
COMPSAC
2007
IEEE
16 years 1 months ago
A Static Analysis Framework For Detecting SQL Injection Vulnerabilities
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 ...
Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, ...
« Prev « First page 1092 / 1240 Last » Next »