IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
Quantum chemistry applications such as the General Atomic and Molecular Electronic Structure System (GAMESS) that can execute on a complex peta-scale parallel computing environment...
TSE
2002
13 years 4 months ago
2002
TAP
2008
Springer
13 years 4 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
JCB
2006
13 years 5 months ago
2006
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
WSC
2001
13 years 6 months ago
2001
The Municipality of Rome plans to introduce a taxi-bus system as a night service. A micro-simulation model was developed to estimate the needed information. Two major topics regar...
ESEM
2007
ACM
13 years 8 months ago
2007
ACM
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
LCTRTS
1998
Springer
13 years 9 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
QSIC
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
WECWIS
2008
IEEE
13 years 11 months ago
2008
IEEE
Semantic web service composition is about finding services from a repository that are able to accomplish a specified task. The task is defined in a form of a composition reques...
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...