2165 search results - page 69 / 433 » cases 2005 |
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
122
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
126
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
One of the key goals of open source development is the sharing of knowledge, experience, and solutions that pertain to a software system and its problem domain. Source code clonin...
116
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
126
Voted
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...