Sciweavers

783 search results - page 20 / 157
» The Bio-PEPA Tool Suite
Sort
View
ICSE
2009
IEEE-ACM
14 years 2 months ago
MINTS: A general framework and tool for supporting test-suite minimization
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
Hwa-You Hsu, Alessandro Orso
COMPSAC
2007
IEEE
13 years 12 months ago
AOP-based automated unit test classification of large benchmarks
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
Cyrille Artho, Zhongwei Chen, Shinichi Honiden
PADL
2012
Springer
12 years 3 months ago
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
Kenny Qili Zhu, Kathleen Fisher, David Walker
UML
2001
Springer
14 years 10 days ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
USENIX
1996
13 years 9 months ago
lmbench: Portable Tools for Performance Analysis
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...
Larry W. McVoy, Carl Staelin