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

Grammar-based Whitebox FuzzingGODEFROID, Patrice; KIEZUN, Adam; LEVIN, Michael Y et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 206-215, issn 1523-2867, 10 p.Conference Paper

A practical guide to SQL white-box testingTUYA, Javier; SUAREZ-CABAL, M; DE LA RIVA, Claudio et al.ACM SIGPLAN notices. 2006, Vol 41, Num 4, pp 36-41, issn 1523-2867, 6 p.Article

Search based constrained test case selection using execution effortDE SOUZA, Luciano S; PRUDENCIO, Ricardo B. C; DE A. BARROS, Flavia et al.Expert systems with applications. 2013, Vol 40, Num 12, pp 4887-4896, issn 0957-4174, 10 p.Article

2ndStrike: Toward Manifesting Hidden Concurrency Typestate BugsQI GAO; WENBIN ZHANG; ZHEZHE CHEN et al.ACM SIGPLAN notices. 2011, Vol 46, Num 3, pp 239-250, issn 1523-2867, 12 p.Conference Paper

A formal analysis of the fault-detecting ability of testing methodsFRANKL, P. G; WEYUKER, E. J.IEEE transactions on software engineering. 1993, Vol 19, Num 3, pp 202-213, issn 0098-5589Article

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

Optimal times for software release when repair is imperfectBOLAND, Philip J; NORA NI CHUIV.Statistics & probability letters. 2007, Vol 77, Num 12, pp 1176-1184, issn 0167-7152, 9 p.Article

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

Random Testing for Higher-Order, Stateful ProgramsKLEIN, Casey; FLATT, Matthew; FINDLER, Robert Bruce et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 555-566, issn 1523-2867, 12 p.Conference Paper

Compositional dynamic test generationGODEFROID, Patrice.ACM SIGPLAN notices. 2007, Vol 42, Num 1, pp 47-54, issn 1523-2867, 8 p.Conference Paper

Problems and algorithms for covering arraysHARTMAN, Alan; RASKIN, Leonid.Discrete mathematics. 2004, Vol 284, Num 1-3, pp 149-156, issn 0012-365X, 8 p.Article

The effect of imperfect error detection on reliability assessment via life testingAMMANN, P. E; BRILLIANT, S. S; KNIGHT, J. C et al.IEEE transactions on software engineering. 1994, Vol 20, Num 2, pp 142-148, issn 0098-5589Article

More experience with data flow testingWEYUKER, E. J.IEEE transactions on software engineering. 1993, Vol 19, Num 9, pp 912-919, issn 0098-5589Article

Automatically generating test data from a Boolean specificationWEYUKER, E; GORADIA, T; ASHUTOSH SINGH et al.IEEE transactions on software engineering. 1994, Vol 20, Num 5, pp 353-363, issn 0098-5589Article

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

Testing methods for X-machines : a reviewBOGDANOV, K; HOLCOMBE, M; IPATE, F et al.Formal aspects of computing. 2006, Vol 18, Num 1, pp 3-30, issn 0934-5043, 28 p.Article

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

Pairwise test case generation based on module dependencyKIM, Jangbok; CHOI, Kyunghee; JUNG, Gihyun et al.IEICE transactions on information and systems. 2006, Vol 89, Num 11, pp 2811-2813, issn 0916-8532, 3 p.Article

An approach to automatic testing exception handlingSHUJUAN JIANG; YONGPING ZHANG; DASHUN YAN et al.ACM SIGPLAN notices. 2005, Vol 40, Num 8, pp 34-39, issn 1523-2867, 6 p.Article

Mixed covering arrays of strength three with few factorsCOLBOURN, Charles J; CE SHI; CHENGMIN WANG et al.Journal of statistical planning and inference. 2011, Vol 141, Num 11, pp 3640-3647, issn 0378-3758, 8 p.Article