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

An integrated verification and testing environmentTAYLOR, R. N.Software, practice & experience. 1983, Vol 13, Num 8, pp 697-713, issn 0038-0644Article

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

The Business of Software A Measure of ControlARMOUR, Phillip G.Communications of the ACM. 2012, Vol 55, Num 6, pp 26-28, issn 0001-0782, 3 p.Article

Viewpoint The Importance of Reviewing the CodeANEL, Juan Antonio.Communications of the ACM. 2011, Vol 54, Num 5, pp 40-41, issn 0001-0782, 2 p.Article

Making Sense of Revision-Control SystemsO'SULLIVAN, Bryan.Communications of the ACM. 2009, Vol 52, Num 9, pp 56-62, issn 0001-0782, 7 p.Article

Innovative Standards for Innovative SoftwareKELLY, Diane.Computer (Long Beach, CA). 2008, Vol 41, Num 7, pp 88-89, issn 0018-9162, 2 p.Article

An empirical investigation of the effectiveness systems modeling and verification toolsJEYARAJ, Anand; SAUTER, Vicki L.Communications of the ACM. 2007, Vol 50, Num 6, pp 62-67, issn 0001-0782, 6 p.Article

F-SOFT : Software verification platformIVANCIC, F; YANG, Z; GANAI, M. K et al.Lecture notes in computer science. 2005, pp 301-306, issn 0302-9743, isbn 3-540-27231-3, 6 p.Conference Paper

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

Combinatorial Software TestingKUHN, Rick; KACKER, Raghu; YU LEI et al.Computer (Long Beach, CA). 2009, Vol 42, Num 8, pp 94-96, issn 0018-9162, 3 p.Article

The Verified Software Initiative: A ManifestoHOARE, C. A. R; MISRA, Jayadev; LEAVENS, Gary T et al.ACM computing surveys. 2009, Vol 41, Num 4, issn 0360-0300, 22.1-22.8Article

CAV 2004 : computer aided verification (Boston MA, 13-17 July 2004)Alur, Rajeev; peled, Doron A.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22342-8, XII, 536 p, isbn 3-540-22342-8Conference Proceedings

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