1895 search results - page 267 / 379 » Using ATL for Checking Models |
115
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
122
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
129
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
151
Voted
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
142
Voted
TACAS
2010
Springer
15 years 15 days ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...