Automated generation of unit tests for refactoringWALTER, Bartosz; PIETRZAK, Blazej.Lecture notes in computer science. 2004, pp 211-214, issn 0302-9743, isbn 3-540-22137-9, 4 p.Conference Paper

Embedded software-based self-testing for SoC designKRSTIC, A; LAI, W.-C; CHEN, L et al.Design automation conference. 2002, pp 355-360, isbn 1-58113-461-4, 6 p.Conference Paper

Software-based diagnosis for processorsLI CHEN; DEY, Sujit.Design automation conference. 2002, pp 259-262, isbn 1-58113-461-4, 4 p.Conference Paper

LEIRIOS test generator : Automated test generation from B modelsJAFUEL, Eddie; LEGEARD, Bruno.Lecture notes in computer science. 2006, pp 277-280, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper

Test generation algorithms based on preorder relationsTSCHAEN, Valéry.Lecture notes in computer science. 2005, pp 151-171, issn 0302-9743, isbn 3-540-26278-4, 21 p.Conference Paper

Ranking of input cubes based on their lingering synchronisation effects and their use in random sequential test generationPOMERANZ, I; REDDY, S. M.IET computers & digital techniques (Print). 2011, Vol 5, Num 5, pp 415-423, issn 1751-8601, 9 p.Article

Application of two test generation tools to an industrial case studyCAVALLI, Ana; MAAG, Stephane; MALLOULI, Wissam et al.Lecture notes in computer science. 2006, pp 134-148, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

Symbolic execution techniques for test purpose definitionGASTON, Christophe; LE GALL, Pascale; RAPIN, Nicolas et al.Lecture notes in computer science. 2006, pp 1-18, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 18 p.Conference Paper

Using artificial life techniques to generate test cases for combinatorial testingSHIBA, Toshiaki; TSUCHIYA, Tatsuhiro; KIKUNO, Tohru et al.Annual international computer software and applications conference. 2004, isbn 0-7695-2209-2, 2Vol, vol1, 72-77Conference Paper

Testing, optimizaton, and gamesYANNAKAKIS, Mihalis.Symposium on Logic in Computer Science. 2004, pp 78-88, isbn 0-7695-2192-4, 1Vol, 11 p.Conference Paper

Test generation for network security rulesDARMAILLACQ, Vianney; FERNANDEZ, Jean-Claude; GROZ, Roland et al.Lecture notes in computer science. 2006, pp 341-356, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 16 p.Conference Paper

Test instance generation for MAX 2SATMOTOKI, Mistuo.Lecture notes in computer science. 2005, pp 787-791, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

QSTG: A Quick Search Test Generation algorithm based on Boolean Satisfiability methodSAHA, Mousumi; GUNDLAPALLI, Manohar; GHOSH, Koel et al.Embedded systems & applications. International conferenceWorldComp'2010. 2010, pp 43-48, isbn 1-60132-141-4, 6 p.Conference Paper

Formalizing interoperability for test case generation purposeDESMOULIN, Alexandra; VIHO, Cédar.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, pp 261-267, issn 1433-2779, 7 p.Article

A framework for automated test generation in intelligent tutoring systemsTANG SUQIN; CAO CUNGEN.Lecture notes in computer science. 2006, pp 392-404, issn 0302-9743, isbn 3-540-37033-1, 1Vol, 13 p.Conference Paper

A method for information systems testing automationSANTOS NETO, Pedro; RESENDE, Rodolfo; PADUA, Clarindo et al.Lecture notes in computer science. 2005, pp 504-518, issn 0302-9743, isbn 3-540-26095-1, 15 p.Conference Paper

Complete test generation for Extreme programmingHOLCOMBE, Mike; IPATE, Florentin.Lecture notes in computer science. 2004, pp 274-277, issn 0302-9743, isbn 3-540-22137-9, 4 p.Conference Paper

An approach to detecting domain errors using formal specification-based testingCHEN, Yutine; LIU, Shaovine.Asia-Pacific software engineering conference. 2004, pp 276-283, isbn 0-7695-2245-9, 1Vol, 8 p.Conference Paper

Automating Software Testing Using Program AnalysisGODEFROID, Patrice; DE HALLEUX, Peli; NORI, Aditya V et al.IEEE software. 2008, Vol 25, Num 5, pp 30-37, issn 0740-7459, 8 p.Article

Adaptive Random Testing by Bisection and LocalizationMAYER, Johannes.Lecture notes in computer science. 2006, pp 72-86, issn 0302-9743, isbn 3-540-34454-3, 1Vol, 15 p.Conference Paper

Automated Generation of Positive and Negative Tests for ParsersZELENOV, Sergey; ZELENOVA, Sophia.Lecture notes in computer science. 2006, pp 187-202, issn 0302-9743, isbn 3-540-34454-3, 1Vol, 16 p.Conference Paper

Generating Test Data for Specification-Based Tests Via Quasirandom SequencesHONGMEI CHI; JONES, Edward L; EVANS, Deidre W et al.Lecture notes in computer science. 2006, pp 773-780, issn 0302-9743, isbn 3-540-34379-2, 8 p.Conference Paper

Scheduling of transactions based on extended scheduling timed petri nets for SoC system-level test-case generationJINSHAN YU; TUN LI; YANG GUO et al.Lecture notes in computer science. 2006, pp 732-741, issn 0302-9743, isbn 3-540-36679-2, 1Vol, 10 p.Conference Paper

Specifying precise use cases with use case chartsWHITTLE, Jon.Lecture notes in computer science. 2006, pp 290-301, issn 0302-9743, isbn 3-540-31780-5, 1Vol, 12 p.Conference Paper

Counting suffix arrays and stringsSCHÜRMANN, Klaus-Bernd; STOYE, Jens.Lecture notes in computer science. 2005, pp 55-66, issn 0302-9743, isbn 3-540-29740-5, 1Vol, 12 p.Conference Paper