2026 search results - page 285 / 406 » Tools for Test Case Generation |
155
click to vote
APN
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
137
click to vote
CASCON
2007
15 years 6 months ago
2007
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...
147
Voted
WSC
1997
15 years 6 months ago
1997
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
130
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
130
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Accurate comparative analysis tools for low-homology proteins remains a difficult challenge in computational biology, especially sequence alignment and consensus folding ...