15 search results - page 1 / 3 » Alcoa: the alloy constraint analyzer |
ICSE
2000
IEEE-ACM
14 years 2 months ago
2000
IEEE-ACM
ASM
2010
ASM
14 years 8 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
MODELS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
KBSE
2000
IEEE
14 years 3 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
KBSE
2008
IEEE
14 years 5 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 ...