Assessing test data adequacy through program inferenceWEYUKER, E. J.ACM transactions on programming languages and systems. 1983, Vol 5, Num 4, pp 641-655, issn 0164-0925Article

Impossible pair constrained test path generation in a programSRIMANI, P. K.Information sciences. 1982, Vol 28, Num 2, pp 87-103, issn 0020-0255Article

Tentative steps towards a development method for interfering programsJONES, C. B.ACM transactions on programming languages and systems. 1983, Vol 5, Num 4, pp 596-619, issn 0164-0925Article

Verifying programs by induction on their data structure: general format and applicationsMILI, A.Information processing letters. 1983, Vol 17, Num 3, pp 155-160, issn 0020-0190Article

Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)Ball, Thomas; Jones, Robert B.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37406-X, 1Vol, XV-564 p, isbn 3-540-37406-XConference Proceedings

Test & défauts du logicielGénie logiciel (1995). 2003, Num 67, issn 1265-1397, 62 p.Serial Issue

LEVER : A tool for learning based verificationVARDHAN, Abhay; VISWANATHAN, Mahesh.Lecture notes in computer science. 2006, pp 471-474, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 4 p.Conference Paper

Automated technology for verification and analysis (4th International symposium, ATVA 2006, Beijing, China, October 23-26, 2006)Graf, Susanne; Zhang, Wenhui.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-47237-1, 1Vol, XIV-540 p, isbn 3-540-47237-1Conference Proceedings

SAGE: Whitebox Fuzzing for Security TestingGODEFROID, Patrice; LEVIN, Michael Y; MOLNAR, David et al.Communications of the ACM. 2012, Vol 55, Num 3, pp 40-44, issn 0001-0782, 5 p.Article

Interfacing program construction and VerificationVERHOEVEN, R; BACKHOUSE, R.Lecture notes in computer science. 1999, pp 1128-1146, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Action Language Verifier, ExtendedYAVUZ-KAHVECI, Tuba; BARTZIS, Constantinos; BULTAN, Tevfik et al.Lecture notes in computer science. 2005, pp 413-417, issn 0302-9743, isbn 3-540-27231-3, 5 p.Conference Paper

SAL 2DE MOURA, Leonardo; OWRE, Sam; RUESS, Harald et al.Lecture notes in computer science. 2004, pp 496-500, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

FORMATS 2003 : formal modeling and analysis of timed systems (Marseille, 6-7 September 2003, revised papers)Larsen, Kim G; Niebert, Peter.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-21671-5, VIII, 280 p, isbn 3-540-21671-5Conference Proceedings

Model checking and testing combinedPELED, Doron.Lecture notes in computer science. 2003, pp 47-63, issn 0302-9743, isbn 3-540-40493-7, 17 p.Conference Paper

Product properties and their direct verificationFRANCEZ, N.Acta informatica. 1983, Vol 20, Num 4, pp 329-344, issn 0001-5903Article

Test AutomationPOLO, Macario; REALES, Pedro; PIATTINI, Mario et al.IEEE software. 2013, Vol 30, Num 1, pp 84-89, issn 0740-7459, 6 p.Article

Seven Principles of Software TestingMEYER, Bertrand.Computer (Long Beach, CA). 2008, Vol 41, Num 8, pp 99-101, issn 0018-9162, 3 p.Article

Types for proofs and programs (international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004)Filliâtre, Jean-Christophe; Paulin-Mohring, Christine; Werner, Benjamin et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31428-8, 1Vol, VIII-273 p, isbn 3-540-31428-8Conference Proceedings

Evidence explorer: A tool for exploring model-checking proofsDONG, Yifei; RAMAKRISHNAN, C. R; SMOLKA, Scott A et al.Lecture notes in computer science. 2003, pp 215-218, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

What went wrong: Explaining counterexamplesGROCE, Alex; VISSER, Willern.Lecture notes in computer science. 2003, pp 121-135, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

Model checking software (Grenoble, 11-13 April 2002)Bosnacki, Dragan; Leue, Stefan.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43477-1, X, 257 p, isbn 3-540-43477-1Conference Proceedings

TPS verification with UUT simulationWANG, Guohua; MENG, Xiaofeng; ZHAO, Ruixian et al.Proceedings of SPIE, the International Society for Optical Engineering. 2006, pp 635858.1-635858.5, issn 0277-786X, isbn 0-8194-6453-8, 2VolConference Paper

The ideal of verified softwareHOARE, Tony.Lecture notes in computer science. 2006, pp 5-16, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 12 p.Conference Paper

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

AMC: An adaptive model checkerGROCE, Alex; PELED, Doron; YANNAKAKIS, Mihalis et al.Lecture notes in computer science. 2002, pp 521-525, issn 0302-9743, isbn 3-540-43997-8, 5 p.Conference Paper