1088 search results - page 40 / 218 » Tools for support of automata-based programming |
109
click to vote
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
PPPJ
2003
ACM
15 years 2 months ago
2003
ACM
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...
110
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: The analysis of biological data is greatly enhanced by existing or emerging databases. Most existing databases, with few exceptions are not designed to easily support ...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack...