Optimal software testing in the setting of controlled Markov chainsCAI, Kai-Yuan; LI, Yong-Chao; NING, Wei-Yi et al.European journal of operational research. 2005, Vol 162, Num 2, pp 552-579, issn 0377-2217, 28 p.Article

On the relationship between partition and random testingCHEN, T. Y; YU, Y. T.IEEE transactions on software engineering. 1994, Vol 20, Num 12, pp 977-980, issn 0098-5589Article

Software release policies on a shot-noise process modelCHANG, Yen-Chang; HUNG, Wen-Liang.Applied mathematics and computation. 2005, Vol 171, Num 2, pp 746-759, issn 0096-3003, 14 p.Article

Moral luck and computer ethics: Gauguin in cyberspaceHORNER, David Sanford.Ethics and information technology. 2010, Vol 12, Num 4, pp 299-312, issn 1388-1957, 14 p.Article

Provable improvements on branch testingFRANKL, P. G; WEYUKER, E. J.IEEE transactions on software engineering. 1993, Vol 19, Num 10, pp 962-975, issn 0098-5589Article

A reliability & cost analysis of an automatic prototype generator test paradigmSAEED MAGHSOODLOO; BROWN, D. B; CHIEN-JONG LIN et al.IEEE transactions on reliability. 1992, Vol 41, Num 4, pp 547-553, issn 0018-9529Article

A probabilistic alternative to regression suitesCOPTY, Shady; FINE, Shai; UR, Shmuel et al.Theoretical computer science. 2008, Vol 404, Num 3, pp 219-234, issn 0304-3975, 16 p.Conference Paper

From MC/DC to RC/DC : formalization and analysis of control-flow testing criteriaVILKOMIR, Sergiy A; BOWEN, Jonathan P.Formal aspects of computing. 2006, Vol 18, Num 1, pp 42-62, issn 0934-5043, 21 p.Article

Constructing strength three covering arrays with augmented annealingCOHEN, Myra B; COLBOUM, Charles J; LING, Alan C. H et al.Discrete mathematics. 2008, Vol 308, Num 13, pp 2709-2722, issn 0012-365X, 14 p.Article

Enhancing software reliability modeling and prediction through the introduction of time-variable fault reduction factorHSU, Chao-Jung; HUANG, Chin-Yu; CHANG, Jun-Ru et al.Applied mathematical modelling. 2011, Vol 35, Num 1, pp 506-521, issn 0307-904X, 16 p.Article

A tabu search algorithm for structural software testing : Search-based software engineeringDIAZ, Eugenia; TUYA, Javier; BLANCO, Raquel et al.Computers & operations research. 2008, Vol 35, Num 10, pp 3052-3072, issn 0305-0548, 21 p.Article

Statistical Certification of Software SystemsDI BUCCHIANICO, Alessandro; FRISO GROOTE, Jan; VAN HEE, Kees et al.Communications in statistics. Simulation and computation. 2008, Vol 37, Num 1-2, pp 346-359, issn 0361-0918, 14 p.Article

Testing the existence of change-point in NHPP software reliability modelsJIN ZHAO; JINDE WANG.Communications in statistics. Simulation and computation. 2007, Vol 36, Num 1-3, pp 607-619, issn 0361-0918, 13 p.Article

On the accuracy of statistical procedures in Microsoft Excel 97MCCULLOUGH, B. D; WILSON, B.Computational statistics & data analysis. 1999, Vol 31, Num 1, pp 27-37, issn 0167-9473Article

An empirical study of testing and integration strategies using artificial software systemsSOLHEIM, J. A; ROWLAND, J. H.IEEE transactions on software engineering. 1993, Vol 19, Num 10, pp 941-949, issn 0098-5589Article

Hardness results for covering arrays avoiding forbidden edges and error-locating arraysMALTAIS, Elizabeth; MOURA, Lucia.Theoretical computer science. 2011, Vol 412, Num 46, pp 6517-6530, issn 0304-3975, 14 p.Article

A virtual environment for network testingFAGEN, Wade A; CANGUSSU, Joao W; DANTU, Ram et al.Journal of network and computer applications. 2009, Vol 32, Num 1, pp 184-214, issn 1084-8045, 31 p.Article

A test plan for an on-line whole building energy calculator : Building performance simulationPURDY, J; FERGUSON, A; MOMBOURQUETTE, S et al.Building and environment. 2008, Vol 43, Num 4, pp 578-587, issn 0360-1323, 10 p.Article

The numerical reliability of GAUSS 8.0YALTA, A. Talha.The American statistician. 2007, Vol 61, Num 3, pp 262-268, issn 0003-1305, 7 p.Article

A Survey of Combinatorial TestingCHANGHAI NIE; LEUNG, Hareton.ACM computing surveys. 2011, Vol 43, Num 2, issn 0360-0300, 11.1-11.29Article

Tabu search for covering arrays using permutation vectorsWALKER, Robert A; COLBOURN, Charles J.Journal of statistical planning and inference. 2009, Vol 139, Num 1, pp 69-80, issn 0378-3758, 12 p.Article

Evaluating numerical ODE/DAE methods, algorithms and softwareSÖDERLIND, Gustaf; LINA WANG.Journal of computational and applied mathematics. 2006, Vol 185, Num 2, pp 244-260, issn 0377-0427, 17 p.Conference Paper

Estimating load-sharing properties in a dynamic reliability systemKVAM, Paul H; PENA, Edsel A.Journal of the American Statistical Association. 2005, Vol 100, Num 469, pp 262-272, issn 0162-1459, 11 p.Article

Upper bounds for covering arrays by tabu searchNURMELA, Kari J.Discrete applied mathematics. 2004, Vol 138, Num 1-2, pp 143-152, issn 0166-218X, 10 p.Conference Paper

The automatic generation of load test suites and the assessment of the resulting softwareAVRITZER, A; WEYUKER, E. J.IEEE transactions on software engineering. 1995, Vol 21, Num 9, pp 705-716, issn 0098-5589Article