488 search results - page 15 / 98 » Derivation of Java Monitors |
TOOLS
2010
IEEE
15 years 2 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
77
Voted
DSOM
1999
Springer
15 years 1 months ago
1999
Springer
In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is written entirely in Java. It implements the push model to perform regular ma...
112
click to vote
ECOOP
1999
Springer
15 years 1 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
77
Voted
ICSE
1999
IEEE-ACM
15 years 1 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...