783 search results - page 11 / 157 » The Bio-PEPA Tool Suite |
MASCOTS
2000
13 years 9 months ago
2000
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
BPM
2009
Springer
13 years 9 months ago
2009
Springer
This tool presentation gives insights into the AristaFlow BPM Suite
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
PTS
2000
13 years 9 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
IPL
2006
13 years 7 months ago
2006
This paper proposes a set of new software test-diversity measures based on control oscillations of test suites. Oscillation Diversity uses conversion, inversion, and phase transfo...