Ontology matching benchmarks: Generation, stability, and discriminabilityEUZENAT, Jérôme; ROSOIU, Maria-Elena; TROJAHN, Cássia et al.Journal of web semantics. 2013, Vol 21, pp 30-48, issn 1570-8268, 19 p.Article

Test case generation according to the binary search strategyBEYDEDA, Sami; GRUHN, Volker.Lecture notes in computer science. 2003, pp 1000-1007, issn 0302-9743, isbn 3-540-20409-1, 8 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

Model checking, testing and verification working togetherGUNTER, Elsa; PELED, Doron.Formal aspects of computing. 2005, Vol 17, Num 2, pp 201-221, issn 0934-5043, 21 p.Conference Paper

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

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

Accélération de la génération destests de protocoles par agrégation de méthodes hétérogènes = Acceleration of test generation For protocols by merging heterogeneous methodsTouag, Athmane; Girault, Claude.2000, 165 p.Thesis

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

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

Validation of security protocol implementations from security objectivesYULONG FU; KONE, Ousmane.Computers & security. 2013, Vol 36, pp 27-39, issn 0167-4048, 13 p.Article

Testing against a non-controllable stream X-machine using state countingIPATE, Florentin.Theoretical computer science. 2006, Vol 353, Num 1-3, pp 291-316, issn 0304-3975, 26 p.Article

Test generation for radiotherapy acceleratorsTURNER, Kenneth J.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 361-375, issn 1433-2779, 15 p.Article

STTE/EF-2000 typhoon new generation of automatic test bench (STTEs) for eurofighter's avionic unitsTORDESILLAS, Javier; MUNOZ, Fernando.IEEE instrumentation & measurement magazine. 2007, Vol 10, Num 4, pp 15-19, issn 1094-6969, 5 p.Conference Paper

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

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

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

Test sequence generation and model checking using dynamic transition relationsCAMPOS, Sérgio; GRUMBERG, Orna; YORAV, Karen et al.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 174-182, issn 1433-2779, 9 p.Article

Simulation and generation of IDDQ tests for bridging faults in combinational circuitsCHAKRAVARTY, S; THADIKARAN, P. J.IEEE transactions on computers. 1996, Vol 45, Num 10, pp 1131-1140, issn 0018-9340Article

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

An open framework for managed regression testingMITTAL, Naina; ACHARYA, Ira.Lecture notes in computer science. 2003, pp 265-278, issn 0302-9743, isbn 3-540-40123-7, 14 p.Conference Paper

UniTesK test suite architectureBOURDONOV, Igor B; KOSSATCHEV, Alexander S; KULIAMIN, Victor V et al.Lecture notes in computer science. 2002, pp 77-88, issn 0302-9743, isbn 3-540-43928-5, 12 p.Conference Paper

Computing the minimum DNF representation of Boolean functions defined by intervalsSCHIEBER, Baruch; GEIST, Daniel; ZAKS, Ayal et al.Discrete applied mathematics. 2005, Vol 149, Num 1-3, pp 154-173, issn 0166-218X, 20 p.Article

Stratégie de couverture de test à un haut niveau d'abstraction : Approches formelles pour le développement de logiciels = Strategy of test cover with a high level of abstractionBONTRON, Pierre; POTET, Marie-Laure.TSI. Technique et science informatiques. 2004, Vol 23, Num 7, pp 905-928, issn 0752-4072, 24 p.Article

Applying mutation analysis to SDL specificationsKOVACS, Gabor; PAP, Zoltan; LE VIET, Dung et al.Lecture notes in computer science. 2003, pp 269-284, issn 0302-9743, isbn 3-540-40539-9, 16 p.Conference Paper